Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 1, 2023

• final commit

  rvandoren

  committed
  f2dade8

  Copy full SHA for f2dade8

• final commit

  rvandoren

  committed
  194c6df

  Copy full SHA for 194c6df

• final commit

  rvandoren

  committed
  f48ebc7

  Copy full SHA for f48ebc7

• Delete benchmark_2023-08-04_16-30.csv

  rvandoren

  authored
  fbdf8f6

  Copy full SHA for fbdf8f6

• Delete silicon copy directory

  rvandoren

  authored
  8db3a87

  Copy full SHA for 8db3a87

• final commit

  rvandoren

  committed
  0a14f8c

  Copy full SHA for 0a14f8c

Commits on Aug 16, 2023

• final

  rvandoren

  committed
  c353e01

  Copy full SHA for c353e01

• final

  rvandoren

  committed
  ad11e0b

  Copy full SHA for ad11e0b

Commits on Jul 10, 2023

• introduced MW

  rvandoren

  committed
  93cf8cd

  Copy full SHA for 93cf8cd

Commits on Jun 26, 2023

• update

  rvandoren

  committed
  e25f1ef

  Copy full SHA for e25f1ef

Commits on Jun 18, 2023

• worked on final repres

  rvandoren

  committed
  0b9b7ee

  Copy full SHA for 0b9b7ee

Commits on Jun 12, 2023

• Store implemented

  rvandoren

  committed
  28046d0

  Copy full SHA for 28046d0

• bug fixed

  rvandoren

  committed
  92c47a2

  Copy full SHA for 92c47a2

Commits on Jun 8, 2023

• not done 1

  rvandoren

  committed
  708ce98

  Copy full SHA for 708ce98

Commits on Jun 6, 2023

• Merge pull request viperproject#729 from viperproject/meilers_z3_api_macros

  Show description for 2952f94
  marcoeilers

  authored
  2952f94

  Copy full SHA for 2952f94

• Update silver submodule

  

  Silver Bot

  committed
  d1af917

  Copy full SHA for d1af917

• Re-enabling macros with API

  marcoeilers

  committed
  9979303

  Copy full SHA for 9979303

Commits on May 31, 2023

• Merge pull request viperproject#725 from viperproject/meilers_weight_annotations

  Show description for 1b35f20
  marcoeilers

  authored
  1b35f20

  Copy full SHA for 1b35f20

• Update silver submodule

  

  Silver Bot

  committed
  535fec2

  Copy full SHA for 535fec2

• Merge pull request viperproject#724 from viperproject/meilers_mce_annotation

  Show description for 19b013b
  marcoeilers

  authored
  19b013b

  Copy full SHA for 19b013b

• Filtering negative weights

  marcoeilers

  committed
  49ae470

  Copy full SHA for 49ae470

• Supporting mce on demand via annotation

  marcoeilers

  committed
  1856253

  Copy full SHA for 1856253

• Merge branch 'master' into meilers_mce_annotation

  marcoeilers

  committed
  1e3c903

  Copy full SHA for 1e3c903

• Updated silver reference

  marcoeilers

  committed
  67ecb96

  Copy full SHA for 67ecb96

• Update silver submodule

  

  Silver Bot

  committed
  7a4c3e4

  Copy full SHA for 7a4c3e4

• Update silver submodule

  

  Silver Bot

  committed
  20a0026

  Copy full SHA for 20a0026

• @weight() annotation for quantifiers

  marcoeilers

  committed
  4b27af5

  Copy full SHA for 4b27af5

Commits on May 27, 2023

• Updated silver reference

  marcoeilers

  committed
  658f293

  Copy full SHA for 658f293

• Updated Silver reference

  marcoeilers

  committed
  38879f8

  Copy full SHA for 38879f8

• Reading exhaleMode annotation to set MCE locally. Also using new WarningsDuringVerification message in some places since it fits better

  marcoeilers

  committed
  8d6209f

  Copy full SHA for 8d6209f

Commits on May 19, 2023

• fix tiny incompletness (viperproject#722)

  jcp19

  authored
  fd51ab6

  Copy full SHA for fd51ab6

Commits on May 17, 2023

• Update silver submodule

  

  Silver Bot

  committed
  29b4b5b

  Copy full SHA for 29b4b5b

• Update silver submodule

  

  Silver Bot

  committed
  b7dea27

  Copy full SHA for b7dea27

• Merge pull request viperproject#720 from viperproject/meilers_z3_api_counterexamples

  Show description for cbb5911
  marcoeilers

  authored
  cbb5911

  Copy full SHA for cbb5911

• Update silver submodule

  

  Silver Bot

  committed
  413034f

  Copy full SHA for 413034f

Pagination

Previous

Next