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
...
*
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
*
Fix with timeout
akashlal
2011-02-12
*
Better support for timeout
akashlal
2011-02-12
*
Boogie build succeeded, 4 test(s) failed
codeplexbot
2011-02-12
*
Fix a bug in cloning of nested lambda expressions in AI engine
MichalMoskal
2011-02-11
*
Add USE_PREDICATES option to TPTP and SMT provers
MichalMoskal
2011-02-11
*
Get rid of -smtOutput option. Add /proverOpt:OUTPUT=... to SMT and TPTP prove...
MichalMoskal
2011-02-11
*
Get rid of some warnings.
MichalMoskal
2011-02-11
*
Moved the creation of Boogie procedures from the MetadataTraverser to the Sin...
mikebarnett
2011-02-11
*
Minor change to stratified inlining
akashlal
2011-02-11
*
If a method definition has any custom attributes, translate them into BPL att...
mikebarnett
2011-02-09
*
Changed the API for Declaration.AddAttribute so it takes a params argument so...
mikebarnett
2011-02-09
*
Boogie: Yet another refinement of how Z3 is found. Previously, it would only...
rustanleino
2011-02-09
*
Added support for translating delegates
qadeer
2011-02-08
*
Added a new method StratifiedVC for refinement.
akashlal
2011-02-08
*
implemented /UseUnsatCoreForInlining option for use in stratified inlining
qadeer
2011-02-06
*
deleted debugging statement
akashlal
2011-02-05
*
Fix to counterexample generation for over-approx query
akashlal
2011-02-05
*
Boogie build succeeded, 4 test(s) failed
codeplexbot
2011-02-05
*
Dafny: Answer file to go with previously updated test file
rustanleino
2011-02-04
*
Boogie build succeeded, 5 test(s) failed
codeplexbot
2011-02-04
*
Dafny: every decreases clause implicitly ends with a never-ending sequence of...
rustanleino
2011-02-03
*
Dafny: allow self-calls in function postconditions--these simply refer to the...
rustanleino
2011-02-03
*
Dafny: implemented a more precise scheme for allowing use of a function's rep...
rustanleino
2011-02-03
*
Dafny: replaced the user-defined $ite function with Boogie's built-in if-then...
rustanleino
2011-02-03
*
Dafny: removed CEV instrumentation
rustanleino
2011-02-03
[prev]
[next]