index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
...
*
Fix help for /mv
MichalMoskal
2011-02-18
*
Don't run test21 with the untyped Z3, as this is no longer going to be available
MichalMoskal
2011-02-18
*
Run dafny and boogie tests by default
MichalMoskal
2011-02-18
*
Allow use ErrorModel as a container for Model - make -mv work with SMTLib on Z3
MichalMoskal
2011-02-18
*
Accomodate for recent changes in Z3 V2 model format
MichalMoskal
2011-02-18
*
Ask Z3 to generate models, in V2 format, when needed
MichalMoskal
2011-02-18
*
Don't stop when some test fails
MichalMoskal
2011-02-18
*
Handle /useArrayTheory
MichalMoskal
2011-02-18
*
Add tickleBool
MichalMoskal
2011-02-18
*
Allow for running Boogie and Dafny testcases separately
MichalMoskal
2011-02-18
*
Remove a testcase for bvInt (feature to be killed soon)
MichalMoskal
2011-02-18
*
Allow for passing flags to test runs
MichalMoskal
2011-02-18
*
Intercept Z3 warnings and pass them on
MichalMoskal
2011-02-18
*
Boogie build succeeded, 4 test(s) failed
codeplexbot
2011-02-18
*
Remove workaround for Z3 scanner problems (fixed now); fix one comment
MichalMoskal
2011-02-18
*
Recognize () as identifier terminators
MichalMoskal
2011-02-18
*
Handle bitvectors
MichalMoskal
2011-02-18
*
Expose ToByteArray()
MichalMoskal
2011-02-18
*
Dafny:
rustanleino
2011-02-17
*
Boogie: Fixed problem with binding power of .[.] versus type coercions in pre...
rustanleino
2011-02-17
*
Use explicit mechanism for skipping to the next assertion
MichalMoskal
2011-02-17
*
Disable MBQI and AUTO_CONFIG
MichalMoskal
2011-02-17
*
Kill the solver process when ctrl-c is pressed
MichalMoskal
2011-02-17
*
Provide /p: as the short form of /proverOpt:.
MichalMoskal
2011-02-17
*
Read prover responses; handle labels
MichalMoskal
2011-02-17
*
Make it possible to run Z3 on pipe; use generic PROVER_LOG options
MichalMoskal
2011-02-17
*
Add IEnumerable.Iter
MichalMoskal
2011-02-17
*
Kill {:prover "..."} attribute support; no one ever used this stuff
MichalMoskal
2011-02-17
*
Don't use Simplify's LogProverInterface
MichalMoskal
2011-02-17
*
Indentation.
MichalMoskal
2011-02-17
*
Start implementation of pipe communication in SMTLIB backend
MichalMoskal
2011-02-17
*
Stratified inlining: Added concrete values to error traces. Added an extra fl...
akashlal
2011-02-17
*
Dafny: added test harness to Test/dafny1/ExtensibleArray.dfy
rustanleino
2011-02-16
*
Dafny: added ExtensibleArray program as a test
rustanleino
2011-02-16
*
Fix some deprecation warnings from scalac 2.8.0.
kyessenov
2011-02-16
*
Fix printing of type-proxies
MichalMoskal
2011-02-16
*
Bugfixes in select-of-store axioms
MichalMoskal
2011-02-16
*
Skip "(assert true)" in output; skip "Linearing..." messages when they are fast
MichalMoskal
2011-02-16
*
Fix let scoping
MichalMoskal
2011-02-15
*
Workaround bug in Z3 SMT parser
MichalMoskal
2011-02-15
*
Background predicate for SMT2
MichalMoskal
2011-02-15
*
Use SMT2 top-level syntax
MichalMoskal
2011-02-15
*
Use the new UniformArguments property; formatting
MichalMoskal
2011-02-15
*
Add VCExprNAry.UniformArguments property to return arguments of nested And/Or...
MichalMoskal
2011-02-15
*
Add some extension methods to IEnumberable<T>
MichalMoskal
2011-02-15
*
Print terms in SMT2 syntax (drop term/formula distinction)
MichalMoskal
2011-02-15
*
Move name-quoting (already for SMT2 not SMT1) into a seprate class
MichalMoskal
2011-02-15
*
Dafny: added alternate version of PriorityQueue
rustanleino
2011-02-15
*
Boogie build succeeded, 4 test(s) failed
codeplexbot
2011-02-15
*
Boogie build succeeded, 26 test(s) failed
codeplexbot
2011-02-15
[prev]
[next]