Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 27, 2019

• Fix build error, fixes boogie-org#89

  akashlal

  committed
  c5260b1

Commits on Mar 15, 2019

• Updated boogie version

  akashlal

  committed
  0e6ae9b

Commits on Feb 14, 2019

• Updated to latest Boogie

  akashlal

  committed
  88b7f62

Commits on Feb 13, 2019

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

  akashlal

  committed
  bb7e986

• Fix for when a procedure (without implementation) is called from inside

  akashlal

  committed
  8690cbd

• Merge pull request boogie-org#84 from boogie-org/linux-build-fixes

  akashlal

  authored
  728177b

Commits on Feb 6, 2019

• Attempted to fix Linux build issues of AV

  shaobo-he

  committed
  0d189a0

Commits on Nov 22, 2018

• Updated boogie

  akashlal

  committed
  434136d

Commits on Nov 20, 2018

• updated boogie

  akashlal

  committed
  ffa23fc

Commits on Oct 10, 2018

• add Util.cs to ignore

  

  Diep Bui Phi

  committed
  d7d389f

Commits on Oct 6, 2018

• Added flag /tryCTrace:sdv

  akashlal

  committed
  feae4bd

• SDV-format printing

  akashlal

  committed
  4029043

• Fix boogie-org#77. Variable abstraction with multi-dim maps

  akashlal

  committed
  65277a0

Commits on Sep 1, 2018

• adding the new prop/avp files to the project

  shuvendu-lahiri

  committed
  3c6fcb0

Commits on Aug 23, 2018

• property file with .prop file for probeBeforeUse

  shuvendu-lahiri

  committed
  2ac050a

Commits on Aug 21, 2018

• another avp file for doublefetch with AA

  shuvendu-lahiri

  committed
  aee939d

Commits on Aug 20, 2018

• minor fix to the property file

  shuvendu-lahiri

  committed
  b552f89

• fix to PropInst to refer to undeclared functions and variables in the avp file

  shuvendu-lahiri

  committed
  02848a1

Commits on Aug 10, 2018

• Merge pull request boogie-org#74 from rcastano/delayed_initialization

  akashlal

  authored
  5e4cd5c

Commits on Aug 9, 2018

• AV: Minor fix in test code for /delayInitialization

  rcastano

  committed
  ab1e8a5

• AV: Adding missing test parameters. Addresses issue boogie-org#73.

  rcastano

  committed
  0e09bcd

• Adding test for /delayInitialization flag.

  rcastano

  committed
  350186d

Commits on Aug 8, 2018

• AV: Adding delayed initialization flag

  rcastano

  committed
  6f79339

Commits on Jul 18, 2018

• Merge pull request boogie-org#68 from boogie-org/PropInstMatchFix

  shuvendu-lahiri

  authored
  b3b26bb

• more commits related to the fix

  shuvendu-lahiri

  committed
  0367812

• fix to Corral to instrument user defined types such as ref

  shuvendu-lahiri

  committed
  43ade27

Commits on Jul 1, 2018

• Merge pull request boogie-org#66 from liammachado/names_fix

  akashlal

  authored
  179251c

Commits on Jun 30, 2018

• Updated Boogie version

  liammachado

  committed
  d9e61a9

• Updated names of Boogie structures used by Corral

  liammachado

  committed
  b5f0a1d

Commits on Jun 28, 2018

• Merge pull request boogie-org#65 from zvonimir/fix-boogie-options

  akashlal

  authored
  0d2f803

• Fixes dealing with bopt Boogie options

  zvonimir

  committed
  9a032c2

Commits on Jun 14, 2018

• Merge pull request boogie-org#64 from liammachado/master

  akashlal

  authored
  e67cd0a

• Updated boogie version

  liammachado

  committed
  4733b25

Commits on May 11, 2018

• AV sample for blowup

  shuvendu-lahiri

  committed
  b7e85ca

• AV fix for type synonyms for maps

  shuvendu-lahiri

  committed
  ee3ad55

Pagination

PreviousNext