Commits

Breadcrumbs

History for

on66283a1

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 7, 2019

• update pipeline

  NikolajBjorner

  committedJun 7, 2019
  66283a1

Commits on Feb 7, 2019

• Fix bug in qprofdiff

  wintersteiger

  committedFeb 7, 2019
  1b1ff8d

Commits on Jan 20, 2019

• add main remaining updates from Z3Prover#1815

  NikolajBjorner

  committedJan 20, 2019
  785fe2f

• incrementally adding files from dotnet core pull request from @yatli

  NikolajBjorner

  committedJan 20, 2019
  37d9e6d

Commits on Jan 16, 2019

• Revert "api: dotnet: switch to multi-targeting project and modern cmake-dotnet integration."

  NikolajBjorner

  committedJan 16, 2019
  038971c

Commits on Jan 14, 2019

• dotnet deps hack for test

  yatli

  committedJan 14, 2019
  43ee345

• Dockerfile: update ubuntu 14.04 image with cmake 3.12

  yatli

  committedJan 14, 2019
  58e8b2b

Commits on Jan 12, 2019

• docker: ubuntu 14.04 dotnet source fix

  yatli

  committedJan 12, 2019
  0a6a767

• dotnet: move example project build to cmake

  yatli

  committedJan 12, 2019
  5e79dba

Commits on Dec 29, 2018

• Merge branch 'master' of https://github.com/Z3Prover/z3

  yatli

  committedDec 29, 2018
  f5b874e

Commits on Oct 20, 2018

• Fix some spelling errors (mostly in comments).

  flopp

  committedOct 20, 2018
  326bf40

Commits on Sep 12, 2018

• ...

  yatli

  committedSep 12, 2018
  461c32e

• CI: update dotnet example to coreclr 2.0

  yatli

  committedSep 12, 2018
  aae28bd

Commits on Sep 11, 2018

• CI: Dockerfile: install curl before dotnet

  yatli

  committedSep 11, 2018
  5474e16

• CI: Dockerfile: use curl instead of wget

  yatli

  committedSep 11, 2018
  5fdf3ff

• CI: configure dotnet via docker

  yatli

  committedSep 11, 2018
  5bc7a5d

• re-enable dotnet, ci got broken. Related Z3Prover#1815

  NikolajBjorner

  committedSep 11, 2018
  ef31064

• disable dotnet in ci script. It seems to get turned on even if dotnet bindings are not requested

  NikolajBjorner

  committedSep 11, 2018
  36a14a3

Commits on Mar 25, 2018

• merge with master

  NikolajBjorner

  committedMar 25, 2018
  c513f3c

Commits on Jan 2, 2018

• Typo fixes.

  waywardmonkeys

  committedJan 2, 2018
  73b3da3

Commits on Nov 2, 2017

• added facility to persist model transformations

  NikolajBjorner

  committedNov 2, 2017
  fd49a0c

Commits on Oct 16, 2017

• [TravisCI] Don't run Python regression tests under ASan for now.

  

  Dan Liew

  committedOct 16, 2017
  7c99721

• [TravisCI] Try to unbreak running Python regression tests under ASan.

  

  Dan Liew

  committedOct 16, 2017
  a1b6316

• [TravisCI] Add RUN_API_EXAMPLES option so that we can disable

  

  Dan Liew

  committedOct 16, 2017
  88fb31a

• [TravisCI] Try again to not show suppressions by default

  

  Dan Liew

  committedOct 16, 2017
  e51ce8b

• [TravisCI] Swap run_quiet and run_non_native_binding. In the

  

  Dan Liew

  committedOct 16, 2017
  ead6e56

• [TravisCI] Try to fix case in run_quiet where the script would fail

  

  Dan Liew

  committedOct 16, 2017
  ecadef6

• [TravisCI] Don't print sanitizer suppressions by default because

  

  Dan Liew

  committedOct 16, 2017
  ad2a0a0

• [ASan] Ignore Clang OpenMP leaks for now.

  

  Dan Liew

  committedOct 16, 2017
  fd98593

• [TravisCI] Fix typo

  

  Dan Liew

  committedOct 16, 2017
  2dd1a40

• [TravisCI] Fix Z3_BUILD_TYPE variable that was not propagated

  

  Dan Liew

  committedOct 16, 2017
  fd391e7

• [UBSan] Remove a bunch of suppressions.

  

  Dan Liew

  committedOct 16, 2017
  675a3ae

• [TravisCI] Try to run the Python and .NET examples under ASan.

  

  Dan Liew

  committedOct 16, 2017
  db7b2e9

• [LSan] Remove suppression files. The were fixed on rebase

  

  Dan Liew

  committedOct 16, 2017
  8d60005

• [LSan] Don't run c_maxsat_example with LeakSanitizer because

  

  Dan Liew

  committedOct 16, 2017
  ff5df20

Pagination

PreviousNext