index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
Commit message (
Expand
)
Author
Age
*
Fixed a contract.
wuestholz
2013-08-09
*
process procedure only if an implementation is present.
qadeer
2013-08-07
*
cleaned up the OG code
qadeer
2013-08-07
*
Changed BVD to display shortened names if they are unique.
wuestholz
2013-08-05
*
Merge
Ally Donaldson
2013-08-05
|
\
*
|
Minor changes to uniformity analysis and inter-procedural reachability analysis.
Ally Donaldson
2013-08-05
|
*
Fixed several build errors in the 'Checked' configuration.
wuestholz
2013-08-05
|
*
Reverted change to use MODEL_ON_FINAL_CHECK, which seems to cause Z3 unexpect...
Rustan Leino
2013-08-02
|
*
Turned on options in Z3 to try producing models for timeouts.
wuestholz
2013-08-02
|
*
Make it possible to set the font in BVD externally.
wuestholz
2013-07-31
|
/
*
Make it possible to look up variables in the Dafny error models.
wuestholz
2013-07-30
*
Make the dependency analysis for snapshot verification take 'where' clauses i...
wuestholz
2013-07-30
*
Merge
qadeer
2013-07-29
|
\
*
|
added proper resolution and typechecking for all generated expressions
qadeer
2013-07-29
|
*
Fixed issue in the model viewer.
wuestholz
2013-07-29
|
/
*
added types for all the expressions being added to calls
qadeer
2013-07-29
*
Allow for certain visual elements of the model viewer to be hidden.
wuestholz
2013-07-28
*
Make 'Model' a proper project.
wuestholz
2013-07-26
*
Removed harmful "Assert(false)".
wuestholz
2013-07-26
*
Avoid another potential data race.
wuestholz
2013-07-23
*
Removed the remaining pure collections.
wuestholz
2013-07-23
*
Resolved some issues with data races.
wuestholz
2013-07-23
*
Did some refactoring.
wuestholz
2013-07-23
*
Did some refactoring.
wuestholz
2013-07-23
*
Minor fix
wuestholz
2013-07-23
*
Did some refactoring.
wuestholz
2013-07-23
*
Use 'All' and 'Any' instead of 'Contract.ForAll' and 'Contract.Exists' in cod...
wuestholz
2013-07-22
*
Fixed the Coco/R grammar and regenerated the parser.
wuestholz
2013-07-22
*
All ...Seq classes now gone
Ally Donaldson
2013-07-22
*
ExprSeq: farewell
Ally Donaldson
2013-07-22
*
RESeq: farewell
Ally Donaldson
2013-07-22
*
BlockSeq: farewell
Ally Donaldson
2013-07-22
*
StringSeq: farewell
Ally Donaldson
2013-07-22
*
CmdSeq: farewell
Ally Donaldson
2013-07-22
*
Fixes to refactoring
Ally Donaldson
2013-07-22
*
Started to remove ...Seq classes
Ally Donaldson
2013-07-22
*
More refactoring
Ally Donaldson
2013-07-22
*
More refactoring
Ally Donaldson
2013-07-22
*
Merge
Ally Donaldson
2013-07-22
|
\
*
|
More refactoring
Ally Donaldson
2013-07-22
*
|
More refactoring
Ally Donaldson
2013-07-22
*
|
More refactoring: PureCollections.Sequence not used anymore.
Ally Donaldson
2013-07-22
*
|
More refactoring towards replacing PureCollections.Sequence with List
Ally Donaldson
2013-07-22
|
*
Fixed an issue with parallelization.
wuestholz
2013-07-22
|
/
*
Merge
Ally Donaldson
2013-07-22
|
\
|
*
small fix to pickup correctly the CVC4 executable
Pantazis Deligiannis
2013-07-22
*
|
Whitespace fix
Ally Donaldson
2013-07-22
*
|
Whitespace fix
Ally Donaldson
2013-07-22
*
|
Whitespace fix
Ally Donaldson
2013-07-22
*
|
Merge
Ally Donaldson
2013-07-22
|
\
|
[next]