Commits

History for

Commits on Dec 14, 2019

Merge pull request boogie-org#170 from RustanLeino/remove-util-vs2010
shazqadeer
committedDec 14, 2019
Remove deprecated/unneeded files in Util
RustanLeino
committedDec 14, 2019
Remove Util/VS2010, which is out-dated
RustanLeino
committedDec 14, 2019

Commits on Feb 7, 2017

Support for syntax highlighting of bitvector constants in vim.

pramodsu
authored and
delcypher
committedFeb 7, 2017

Commits on Sep 17, 2016

added yield_assert attribute to allow less cumbersome factoring of yield assertions to procedures
bkragl
committedSep 17, 2016

Commits on Sep 7, 2016

updated Emacs mode to highlight CIVL annotations
bkragl
committedSep 7, 2016

Commits on Jun 28, 2015

Normalise line endings using a .gitattributes file. Unfortunately
Dan Liew
committedJun 28, 2015

Commits on Oct 10, 2013

small cleanup
pdeligia
committedOct 10, 2013

Commits on Aug 20, 2013

improvements to the refuted annotations exchange process
pdeligia
committedAug 20, 2013

Commits on Aug 19, 2013

new option for reversing the topological order - this could potentially help to speedup houdini refutation of candidates
pdeligia
committedAug 19, 2013

Commits on Aug 15, 2013

new option to disable checking for loop maintained invariants - this leads to an underapproximation that helps to speedup houdini refutation of candidates
pdeligia
committedAug 15, 2013

Commits on Jul 30, 2013

changes in the parallel houdini script
pdeligia
committedJul 30, 2013
added script for running the portfolio solver (parallel houdini)
pdeligia
committedJul 30, 2013

Commits on Mar 6, 2013

Removed Dafny, Jennisys, Chalice, and BCT, which now live in different Codeplex repositories.
Rustan Leino
committedMar 6, 2013

Commits on Oct 4, 2012

Merge
Rustan Leino
committedOct 4, 2012

Commits on Oct 3, 2012

bunch of refactorings

Unknown
authored and
Unknown
committedOct 3, 2012

Commits on Sep 28, 2012

Boogie: updated syntax highlighting ("real")

Unknown
authored and
Unknown
committedSep 28, 2012
Dafny: removed div/mod axioms, since Boogie now interprets div/mod

Unknown
authored and
Unknown
committedSep 28, 2012

Commits on Sep 27, 2012

Merge

Unknown
authored and
Unknown
committedSep 27, 2012
DafnyExtension: make it usable also in Visual Studio 2012

Unknown
authored and
Unknown
committedSep 27, 2012
Boogie: new syntax for integer division and modulus: use div and mod instead of / and %
boehmes
committedSep 27, 2012

Commits on Sep 25, 2012

Dafny: added iterators; for now, only parsing and resolving (and printing and refining), no compilation or verification
Rustan Leino
committedSep 25, 2012

Commits on Sep 21, 2012

DafnyExtension: adding some missing keywords (for imports)

Unknown
authored and
Unknown
committedSep 21, 2012

Commits on Sep 16, 2012

Added the new keyword (calc) to Util
nadia-polikarpova
committedSep 16, 2012

Commits on Sep 10, 2012

DafnyExtension: addressed a class initialization order problem
Rustan Leino
committedSep 10, 2012

Commits on Sep 8, 2012

DafnyExtension: new color (violet) for buffer snapshot sent to the verifier

Unknown
authored and
Unknown
committedSep 8, 2012

Commits on Sep 5, 2012

Dafny: fixed typo in latex mode

Unknown
authored and
Unknown
committedSep 5, 2012

Commits on Aug 31, 2012

DafnyExtension: don't duplicate names of inherited identifiers

Unknown
authored and
Unknown
committedAug 31, 2012

Commits on Aug 30, 2012

DafnyExtension: changed how "_" is displayed (now display as a keyword, not as an identifier definition)

Unknown
authored and
Unknown
committedAug 30, 2012
Dafny: allow "_" as don't-care variable name

Unknown
authored and
Unknown
committedAug 30, 2012
DafnyExtension: fixed bug (omitted case: VarDeclStmt has no Update component)

Unknown
authored and
Unknown
committedAug 30, 2012

Commits on Aug 28, 2012

DafnyExtension: don't reverify a buffer with no changes
Rustan Leino
committedAug 28, 2012

Commits on Aug 21, 2012

DafnyExtensions: better error handling
Rustan Leino
committedAug 21, 2012
Dafny and Boogie: get rid of 'static' fields in parser
Rustan Leino
committedAug 21, 2012

Commits on Aug 18, 2012

DafnyExtension: fixed bad merge
Rustan Leino
committedAug 18, 2012