Commits

Branch selector

 v1.0.14

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 15, 2020

• Merge pull request #128 from smackers/update-boogie

  Show description for 958fbb6
  akashlal

  authored
  958fbb6

  Copy full SHA for 958fbb6

Commits on Sep 12, 2020

• Updated Boogie to the latest version

  Show description for 8663135
  zvonimir

  committed
  8663135

  Copy full SHA for 8663135

Commits on Sep 11, 2020

• Removed model list from being passed to VerifyImplementation

  zvonimir

  committed
  38c4bb3

  Copy full SHA for 38c4bb3

• Removed references to absHoudini command line field

  zvonimir

  committed
  137bcc4

  Copy full SHA for 137bcc4

• Merge branch 'master' into update-boogie

  zvonimir

  committed
  69f8d0d

  Copy full SHA for 69f8d0d

• Updated Boogie to the latest version

  zvonimir

  committed
  6054977

  Copy full SHA for 6054977

Commits on Sep 8, 2020

• Removed AbsHoudini

  akashlal

  committed
  9b11c40

  Copy full SHA for 9b11c40

• Remove concurrentHoudini project

  akashlal

  committed
  0ce3701

  Copy full SHA for 0ce3701

Commits on Aug 15, 2020

• Updating to the latest version of Boogie

  Show description for b569d0a
  zvonimir

  committed
  b569d0a

  Copy full SHA for b569d0a

Commits on Jun 4, 2020

• Merge pull request #120 from smackers/update-boogie

  Show description for 45443ba
  akashlal

  authored
  45443ba

  Copy full SHA for 45443ba

• Updated Z3 version in Corral CI to 4.8.8

  zvonimir

  committed
  1b747e6

  Copy full SHA for 1b747e6

• Updated Boogie to the latest version

  Show description for 10d3ed5
  zvonimir

  committed
  10d3ed5

  Copy full SHA for 10d3ed5

Commits on May 21, 2020

• Merge pull request #119 from smackers/update-boogie

  Show description for 8f11521
  akashlal

  authored
  8f11521

  Copy full SHA for 8f11521

• Corral skips Boogie monomorphic check

  Show description for 5d7b206
  zvonimir

  committed
  5d7b206

  Copy full SHA for 5d7b206

• Updated Boogie to the latest commit

  Show description for e76c289
  zvonimir

  committed
  e76c289

  Copy full SHA for e76c289

Commits on May 19, 2020

• Merge pull request #118 from boogie-org/akashl/bv32-tid

  Show description for dc4ae72
  zvonimir

  authored
  dc4ae72

  Copy full SHA for dc4ae72

• Fix #109

  akashlal

  committed
  e457a7e

  Copy full SHA for e457a7e

Commits on May 18, 2020

• Merge pull request #116 from smackers/update-readme

  Show description for 7cb232d
  akashlal

  authored
  7cb232d

  Copy full SHA for 7cb232d

• Remove reference to Doomed

  akashlal

  committed
  72f5a4b

  Copy full SHA for 72f5a4b

Commits on May 7, 2020

• Merge pull request #113 from bkragl/drop-AIFramework

  Show description for 3babc06
  zvonimir

  authored
  3babc06

  Copy full SHA for 3babc06

Commits on Apr 28, 2020

• Updated README

  zvonimir

  committed
  e583668

  Copy full SHA for e583668

Commits on Apr 26, 2020

• Remove references to the AIFramework project

  bkragl

  committed
  168e656

  Copy full SHA for 168e656

• Fixed build for AV

  akashlal

  committed
  005e9ca

  Copy full SHA for 005e9ca

• Fixed build errors in ConcurrentHoudini

  akashlal

  committed
  9599fcc

  Copy full SHA for 9599fcc

• Merge pull request #62 from garbervetsky/master

  Show description for cfaf390
  akashlal

  authored
  cfaf390

  Copy full SHA for cfaf390

• Merge pull request #111 from smackers/update-boogie

  Show description for 0cd8e2b
  akashlal

  authored
  0cd8e2b

  Copy full SHA for 0cd8e2b

Commits on Apr 24, 2020

• Boogie has no doNotUseLabels flag any more

  Show description for 2b40c5c
  zvonimir

  committed
  2b40c5c

  Copy full SHA for 2b40c5c

Commits on Apr 23, 2020

• Updated Boogie to the latest version

  zvonimir

  committed
  94ad3bc

  Copy full SHA for 94ad3bc

• Added flag /oldCorralFlags which adds old Z3 options to each query

  Show description for 1606450
  zvonimir

  committed
  1606450

  Copy full SHA for 1606450

Commits on Apr 15, 2020

• Updated Boogie to the latest commit

  zvonimir

  committed
  8a6cfd8

  Copy full SHA for 8a6cfd8

• Removed Boogie/Z3 options that are not helping with performance

  Show description for a3fa0d2
  zvonimir

  committed
  a3fa0d2

  Copy full SHA for a3fa0d2

Commits on Apr 14, 2020

• Boogie completely removed the weakArrayTheory option

  zvonimir

  committed
  e718178

  Copy full SHA for e718178

• Workaround for broken build because of GitVersionTask

  Show description for c7a0997
  zvonimir

  committed
  c7a0997

  Copy full SHA for c7a0997

• Added Z3 options to match Corral before Boogie updates

  Show description for 2d3562d
  zvonimir

  committed
  2d3562d

  Copy full SHA for 2d3562d

Commits on Apr 13, 2020

• Minor fix to match recent updates to Boogie

  Show description for 1b71830
  zvonimir

  committed
  1b71830

  Copy full SHA for 1b71830

Pagination

Previous

Next