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
*
Factored out the ParserHelper class into a separate project and updated the f...
wuestholz
2010-12-02
*
Boogie build succeeded
codeplexbot
2010-12-02
*
Construct @MV_state function only once so it doesn't get renamed to @MV_state...
MichalMoskal
2010-12-02
*
Get rid of F# dependencies - use System.Numerics and a custom Rational struct...
MichalMoskal
2010-12-02
*
Ignore more generated files.
MichalMoskal
2010-12-02
*
Set output directory to Binaries/
MichalMoskal
2010-12-02
*
Introduce node categories; sort fields based on that not special characters
MichalMoskal
2010-12-01
*
stratified inlining: small fix
akashlal
2010-12-01
*
stratified inlining: reuse call tree across queries
akashlal
2010-12-01
*
Boogie build succeeded
codeplexbot
2010-12-01
*
Eliminated dependencies on SpecSharp and CCI from Boogie.sln and Dafny.sln
qadeer
2010-12-01
*
Boogie build succeeded
codeplexbot
2010-11-30
*
Boogie build succeeded
codeplexbot
2010-11-29
*
z3api: Print log in smtlib2 format. Use CheckAssumptions (currently broken)
akashlal
2010-11-29
*
forgot to check this file in
qadeer
2010-11-28
*
Boogie build failed
codeplexbot
2010-11-28
*
Added CheckAssumptions api interface
akashlal
2010-11-28
*
added a fix for a bug in the Evaluate function.
qadeer
2010-11-27
*
changed the procedure Check so that the conflict clause is blocked only when ...
qadeer
2010-11-27
*
two automatically generated app.config that I didn't add earlier.
qadeer
2010-11-27
*
Boogie build failed
codeplexbot
2010-11-27
*
Ported all projects to .NET Framework 4.0 in both Boogie.sln and Dafny.sln. ...
qadeer
2010-11-27
*
Dafny: Improved default decreases clauses for methods and functions
rustanleino
2010-11-25
*
small fix to previous checkin
akashlal
2010-11-24
*
Some changes to the prover interface to make way for z3-api.
akashlal
2010-11-24
*
more refactoring
akashlal
2010-11-23
*
More refactoring
akashlal
2010-11-23
*
Boogie: Look for Z3 versions up to 2.20.
wuestholz
2010-11-23
*
Refactoring: pulled out all code for stratified inlining to a new file.
akashlal
2010-11-23
*
Boogie build succeeded
codeplexbot
2010-11-23
*
Changed stratified inlining: can now be user-guided
akashlal
2010-11-22
*
Dafny: Updated VSComp2010/Answer to correspond to recently updated test file
rustanleino
2010-11-21
*
Boogie build succeeded, 1 test(s) failed
codeplexbot
2010-11-18
*
BVD for Dafny: improved string that displays array indices
rustanleino
2010-11-17
*
BVD Dafny provider: treat sets and datatype values
rustanleino
2010-11-17
*
VSIP integration into VS: Changed idle delay to 300ms (from 1s). Distinguis...
rustanleino
2010-11-17
*
Chalice: white space delta in test file
rustanleino
2010-11-17
*
Forro: revised syntax (this version used in Boogie tutorial at SBMF 2010)
rustanleino
2010-11-17
*
Minor updates for printing coverage graph of stratified inlining
akashlal
2010-11-14
*
Chalice: Automatically created a simple class diagram of the current AST
mschwerhoff
2010-11-13
*
Boogie: Changed the trace output formatting of the prover version slightly.
wuestholz
2010-11-11
*
Implement different levels of view (normal, expert, etc).
MichalMoskal
2010-11-09
*
Introducing Forr?! Forr? is a tiny language that translates to Boogie. The ...
rustanleino
2010-11-06
*
Chalice: Added axioms about div and mod. Updated DuplicatesVideo.chalice
rustanleino
2010-11-06
*
More right-click improvements
MichalMoskal
2010-11-06
*
Show previous state
MichalMoskal
2010-11-06
*
Improve the generic model viewer
MichalMoskal
2010-11-06
*
Right-click enable
MichalMoskal
2010-11-06
*
Add find find uses and find aliases facilities
MichalMoskal
2010-11-06
*
Improve default provider a bit
MichalMoskal
2010-11-06
[next]