index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
/
VCGeneration
Commit message (
Expand
)
Author
Age
*
new option for reversing the topological order - this could potentially help ...
Pantazis Deligiannis
2013-08-19
*
new option to disable checking for loop maintained invariants - this leads to...
Pantazis Deligiannis
2013-08-15
*
Removed the remaining pure collections.
wuestholz
2013-07-23
*
Resolved some issues with data races.
wuestholz
2013-07-23
*
Use 'All' and 'Any' instead of 'Contract.ForAll' and 'Contract.Exists' in cod...
wuestholz
2013-07-22
*
All ...Seq classes now gone
Ally Donaldson
2013-07-22
*
ExprSeq: 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
*
Started to remove ...Seq classes
Ally Donaldson
2013-07-22
*
Merge
Ally Donaldson
2013-07-22
|
\
*
|
More refactoring
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
|
\
*
|
Changed Has method of PureSequence to Contains to make refactoring easier.
Ally Donaldson
2013-07-22
|
*
merge
Pantazis Deligiannis
2013-07-22
|
|
\
|
|
/
|
/
|
*
|
Fixed bugs arising from differences between hashtables and dictionaries
Ally Donaldson
2013-07-22
*
|
Large refactoring of Hashtable to Dictionary.
Ally Donaldson
2013-07-22
*
|
Merge
allydonaldson
2013-07-22
|
\
\
|
*
|
Fixed what looks like a type-related bug in the manipulation of newGotoCmdOri...
allydonaldson
2013-07-22
*
|
|
Refactored variable2sequenceNumber to use Dictionary
Ally Donaldson
2013-07-22
|
/
/
*
|
Refactored labsl2absy so that it is a Dictionary<int, Absy> instead of a plai...
Ally Donaldson
2013-07-22
|
*
merge
Pantazis Deligiannis
2013-07-19
|
|
\
|
|
/
|
/
|
*
|
Populate a model only once.
Rustan Leino
2013-07-18
|
*
Merge
Pantazis Deligiannis
2013-07-15
|
/
|
*
|
Added an attribute to set the time limit for implementations.
wuestholz
2013-07-12
*
|
Worked on the parallelization.
wuestholz
2013-07-12
*
|
Worked on the parallelization.
wuestholz
2013-07-11
*
|
Worked on the parallelization.
wuestholz
2013-07-11
*
|
Worked on the parallelization.
wuestholz
2013-07-11
*
|
Worked on the parallelization.
wuestholz
2013-07-10
*
|
Worked on the parallelization.
wuestholz
2013-07-08
|
*
merge
Pantazis Deligiannis
2013-07-06
|
|
\
|
|
/
|
/
|
*
|
Worked on the parallelization.
wuestholz
2013-07-05
*
|
Worked on the parallelization.
wuestholz
2013-07-02
*
|
Worked on the parallelization.
wuestholz
2013-07-01
*
|
Did some refactoring in the execution engine and worked on the parallelization.
wuestholz
2013-07-01
*
|
Did some refactoring in the execution engine and worked on the parallelization.
wuestholz
2013-06-25
*
|
Did some refactoring in the execution engine and worked on the parallelization.
wuestholz
2013-06-21
*
|
Did some refactoring in the execution engine.
wuestholz
2013-06-14
*
|
Merge fixes for duality
Ken McMillan
2013-06-14
|
\
\
|
*
|
Fixes for duality under corral
Ken McMillan
2013-06-14
|
|
*
merged more CVC4 and Z3 SMTLIB2 parsing methods ... results into a more compa...
pantazis
2013-06-13
|
|
*
CVC4 Parser
pantazis
2013-06-12
|
|
/
|
/
|
*
|
Worked on improving program snapshot verification.
wuestholz
2013-06-07
*
|
Changed the prover interface to report traces for time outs and out of memory.
wuestholz
2013-05-30
|
/
*
Merge
Ken McMillan
2013-05-29
|
\
|
*
Adding background model to fixedpoint counterexamples and small code contract...
Ken McMillan
2013-05-29
[next]