index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
/
ExecutionEngine
/
ExecutionEngine.cs
Commit message (
Expand
)
Author
Age
*
Add support for identifying unnecessary assumes.
Valentin Wüstholz
2015-11-16
*
Improve output for diagnosing timeouts.
Valentin Wüstholz
2015-10-01
*
Improve output for diagnosing timeouts.
Valentin Wüstholz
2015-09-30
*
update
Shaz Qadeer
2015-09-28
*
cleaned up some names
Shaz Qadeer
2015-09-28
*
Merge branch 'master' of https://github.com/boogie-org/boogie
Rustan Leino
2015-08-28
|
\
*
|
Added /verifySnapshots:3, which prints recycled errors messages with the sour...
Rustan Leino
2015-08-28
|
*
Normalise line endings using a .gitattributes file. Unfortunately
Dan Liew
2015-06-28
|
/
*
Improve support for diagnosing timeouts.
Valentin Wüstholz
2015-06-05
*
VC gen for security properties
akashlal
2015-04-05
*
fixed crash reported by Dan.
qadeer
2015-03-02
*
Made the trace output for the caching more detailed.
wuestholz
2015-01-29
*
Worked on the verification result caching (trace output).
wuestholz
2015-01-26
*
Merge
qadeer
2015-01-16
|
\
*
|
removed "layer" attribute from the desugared program
qadeer
2015-01-16
|
*
Removed unnecessary stage-related attributes from candidate annotations.
Ally Donaldson
2015-01-10
|
/
*
Updated to Staged Houdini
Ally Donaldson
2015-01-08
*
Minor changes
wuestholz
2015-01-02
*
Minor change
wuestholz
2014-12-26
*
Worked on the verification result caching.
wuestholz
2014-11-03
*
Fixed minor issue.
wuestholz
2014-11-02
*
Made it produce more trace output for the verification result caching.
wuestholz
2014-11-02
*
Added a todo.
wuestholz
2014-10-18
*
Did some refactoring.
wuestholz
2014-10-18
*
Made it produce more trace output for the verification result caching.
wuestholz
2014-10-18
*
Minor changes
wuestholz
2014-10-15
*
Made it produce more trace output for the verification result caching.
wuestholz
2014-10-14
*
Minor change
wuestholz
2014-10-14
*
Minor changes
wuestholz
2014-10-13
*
Minor change
wuestholz
2014-10-13
*
Add '/traceCaching' flag.
wuestholz
2014-10-13
*
Did more refactoring and addressed several todos.
wuestholz
2014-09-23
*
Did more refactoring.
wuestholz
2014-09-23
*
Did some refactoring.
wuestholz
2014-09-23
*
Minor refactoring
wuestholz
2014-08-03
*
Changed how canceled tasks are dealt with.
wuestholz
2014-07-31
*
removed /doNotUseParallelism
qadeer
2014-07-30
*
Made it bound the number of executing tasks by the number of cores specified ...
wuestholz
2014-07-30
*
Refactored how checksums are computed.
wuestholz
2014-07-13
*
Worked on the more advanced verification result caching.
wuestholz
2014-07-10
*
Worked on the more advanced verification result caching.
wuestholz
2014-07-09
*
Worked on adding support for "canned errors".
wuestholz
2014-07-07
*
Did some refactoring, fixed minor issues, and made it apply the more advanced...
wuestholz
2014-07-06
*
Made it collect more statistics about the more advanced verification result c...
wuestholz
2014-07-04
*
Fixed issue involving axioms in the dependency analysis used for verification...
wuestholz
2014-07-03
*
Made it collect more statistics about the more advanced verification result c...
wuestholz
2014-07-01
*
Made it collect some statistics about the more advanced verification result c...
wuestholz
2014-06-30
*
a fix in Inline method; it should look for inline attribute only on procedure...
qadeer
2014-06-28
*
Added a program cache (used by the more advanced verification result caching).
wuestholz
2014-06-28
*
Changed the verification result cache to use the built-in 'MemoryCache' class.
wuestholz
2014-06-28
[next]