Commits

Branch selector

 parallelization

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 31, 2018

• Revert "AV: more fixes to useafterfree.avp"

  Show description for 9ba7544
  subhajitroy

  committed
  9ba7544

  Copy full SHA for 9ba7544

Commits on Jan 29, 2018

• null check

  subhajitroy

  committed
  11e23e0

  Copy full SHA for 11e23e0

Commits on Dec 29, 2017

• Merge branch 'parallelization' of https://github.com/boogie-org/corral into parallelization

  subhajitroy

  committed
  b7a8e47

  Copy full SHA for b7a8e47

• Revert "fixed z3 inconclusive error"

  Show description for ef8bcd7
  subhajitroy

  committed
  ef8bcd7

  Copy full SHA for ef8bcd7

• merge

  subhajitroy

  committed
  aef6889

  Copy full SHA for aef6889

• fixed z3 inconclusive error

  subhajitroy

  committed
  d81224c

  Copy full SHA for d81224c

Commits on Dec 14, 2017

• AV: more fixes to useafterfree.avp

  shuvendu-lahiri

  committed
  a6dd80d

  Copy full SHA for a6dd80d

Commits on Dec 13, 2017

• AV: fix to useafterfree property file to better display free related state in defectviewer

  shuvendu-lahiri

  committed
  fde6fac

  Copy full SHA for fde6fac

• AV: fix in PropInst to correct spelling of corralExtraInit

  shuvendu-lahiri

  committed
  0cea1d6

  Copy full SHA for 0cea1d6

Commits on Dec 12, 2017

• AV: fix to fastavn to print Merge info when no entrypoints

  shuvendu-lahiri

  committed
  1fd524b

  Copy full SHA for 1fd524b

Commits on Dec 10, 2017

• AV: more changes to uaf avp file

  shuvendu-lahiri

  committed
  03d6c43

  Copy full SHA for 03d6c43

Commits on Dec 4, 2017

• Adding Free apis with sdv_ prefix to work with SDV

  shuvendu-lahiri

  committed
  deadf22

  Copy full SHA for deadf22

Commits on Nov 28, 2017

• Merge branch 'master' of https://github.com/boogie-org/corral

  shuvendu-lahiri

  committed
  c06da22

  Copy full SHA for c06da22

• AV: new batch file and collection stubs

  shuvendu-lahiri

  committed
  41cf749

  Copy full SHA for 41cf749

• Revert "AV: a new batch file"

  Show description for 1a5996b
  shuvendu-lahiri

  committed
  1a5996b

  Copy full SHA for 1a5996b

• AV: a new batch file

  shuvendu-lahiri

  committed
  a3f78a4

  Copy full SHA for a3f78a4

Commits on Nov 27, 2017

• Added the concurrency explorer tool

  akashlal

  committed
  17997cf

  Copy full SHA for 17997cf

Commits on Oct 31, 2017

• Bug fix for issue #57

  shaobo-he

  committed
  7ade29e

  Copy full SHA for 7ade29e

Commits on Oct 30, 2017

• AV: Updating the uaf AVP file to restrict free to specific procedures and remove wildcard. Regressions pass.

  shuvendu-lahiri

  committed
  b974ead

  Copy full SHA for b974ead

Commits on Oct 27, 2017

• logging fixed

  subhajitroy

  committed
  a3db4fe

  Copy full SHA for a3db4fe

• assertMustReach fixed

  subhajitroy

  committed
  4f0008b

  Copy full SHA for 4f0008b

Commits on Oct 26, 2017

• beautification of split function

  rajdeep87

  committed
  c43cf1e

  Copy full SHA for c43cf1e

• sample examples

  rajdeep87

  committed
  7bbff1b

  Copy full SHA for 7bbff1b

• changes

  subhajitroy

  committed
  7391bb5

  Copy full SHA for 7391bb5

• changes

  subhajitroy

  committed
  56a5930

  Copy full SHA for 56a5930

• Merge branch 'parallelization' of https://github.com/boogie-org/corral

  subhajitroy

  committed
  3b06fd3

  Copy full SHA for 3b06fd3

• changes

  subhajitroy

  committed
  feaf43c

  Copy full SHA for feaf43c

• Merge https://github.com/boogie-org/corral

  subhajitroy

  committed
  ebb7cfb

  Copy full SHA for ebb7cfb

• changes

  subhajitroy

  committed
  6844016

  Copy full SHA for 6844016

Commits on Oct 25, 2017

• reverse heuristic strategy

  rajdeep87

  committed
  c93d6b5

  Copy full SHA for c93d6b5

• Verify case

  subhajitroy

  committed
  3489eb8

  Copy full SHA for 3489eb8

• Fixed callsitestoexpand

  subhajitroy

  committed
  de3f5df

  Copy full SHA for de3f5df

• Fixed callsitestoexpand

  subhajitroy

  committed
  938404c

  Copy full SHA for 938404c

Commits on Oct 24, 2017

• resolving PrevMustAsserted

  rajdeep87

  committed
  08499f2

  Copy full SHA for 08499f2

• Fixed AssertVCForPartition()

  subhajitroy

  committed
  a72b67e

  Copy full SHA for a72b67e

Pagination

Previous

Next