index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
Commit message (
Expand
)
Author
Age
*
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
*
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
*
Changed stratified inlining: can now be user-guided
akashlal
2010-11-22
*
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
*
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
*
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
*
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
*
Simplify languague-specific interface
MichalMoskal
2010-11-06
*
Update matches when switching states
MichalMoskal
2010-11-04
*
Refactor the Namer into two classes
MichalMoskal
2010-11-04
*
Add search facility
MichalMoskal
2010-11-04
*
Highlight initial state
MichalMoskal
2010-11-03
*
Rework canonical name computation
MichalMoskal
2010-11-03
*
Dafny model viewer: handle (single- and multi-dimensional) arrays
rustanleino
2010-11-03
*
ModelViewer:
rustanleino
2010-11-02
*
Dafny: a partial first crack at a Dafny model-viewer provider, including capt...
rustanleino
2010-11-01
*
Dafny: Record source positions of start/end curly braces for declaration con...
rustanleino
2010-10-27
*
Handle aliases better
MichalMoskal
2010-10-26
*
Introduce distinction between canonical element name and its aliases
MichalMoskal
2010-10-26
*
Compute canonical element names
MichalMoskal
2010-10-26
*
Copy local names between states
MichalMoskal
2010-10-26
*
More work on the generic namer
MichalMoskal
2010-10-26
*
Start work on the generic namer
MichalMoskal
2010-10-26
*
Updated parser.cs files to pick up the new .frame improvements from boogiepar...
rustanleino
2010-10-26
*
Boogie:
rustanleino
2010-10-26
*
a bug fix in the loop extraction code
qadeer
2010-10-19
*
Make it display maps
MichalMoskal
2010-10-15
*
Implement find-all-names
MichalMoskal
2010-10-14
*
Display state sequential numbers
MichalMoskal
2010-10-14
*
Move SkeletonItem to a separate file
MichalMoskal
2010-10-14
*
Display values in the state list
MichalMoskal
2010-10-14
*
Make the tree actually work
MichalMoskal
2010-10-14
*
Always show the entire tree, possibly grayed-out
MichalMoskal
2010-10-14
[next]