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
/
VC.cs
Commit message (
Expand
)
Author
Age
...
|
*
Fixed several build errors in the 'Checked' configuration.
wuestholz
2013-08-05
|
/
*
Removed the remaining pure collections.
wuestholz
2013-07-23
*
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
|
/
*
Changed Has method of PureSequence to Contains to make refactoring easier.
Ally Donaldson
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
*
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-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
*
Fixed bug in the cutting of back edges (that manifested itself whenever the f...
Rustan Leino
2013-05-29
*
Working on fixedpoint backend
Ken McMillan
2013-05-20
*
Adding fixedpoint engine backend
Ken McMillan
2013-05-07
*
Use the new ProverInterface's Evaluate method in stratified inlinig
Unknown
2013-01-03
*
bunch of refactorings
Unknown
2012-10-03
*
Removed AIFramework from Boogie -- use native trivial or native interval-base...
boehmes
2012-09-27
*
Fixed issue with uniformity analysis and block merging. Uniformity analysis
Unknown
2012-09-24
*
Added functionality for race error reporting.
Egor Kyshtymov
2012-08-20
*
VCGen: add MergeBlocksIntoPredecessors function
Peter Collingbourne
2012-07-09
*
a bug fix
qadeer
2012-06-19
*
another edit for predication
qadeer
2012-06-19
*
integrating predication
qadeer
2012-06-19
*
Removed program argument from VerifyImplementation. It is redundant since th...
qadeer
2012-05-29
*
more refactoring
qadeer
2012-05-28
*
starting the implementation of the new stratified inlining API
qadeer
2012-05-21
*
some other cleanups
qadeer
2012-05-10
*
eliminated class ErrorModel
qadeer
2012-04-28
*
removed lazy inlining
qadeer
2012-04-28
*
various changes for using unsat cores in Houdini
qadeer
2012-04-17
*
further fixes
qadeer
2012-02-28
*
various cleanup regarding /doNotUseLabels
qadeer
2012-02-28
*
fixing stratified inlining to deal with new path info
qadeer
2012-02-27
*
various fixes related to new error traces
qadeer
2012-02-27
[prev]
[next]