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
*
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
*
Implement struct printing
MichalMoskal
2010-10-14
*
Skip unchagned variables in model dumps. Fix testcase
MichalMoskal
2010-10-14
*
Work on keeping the unfolding skeleton when switching between states
MichalMoskal
2010-10-14
*
Add DisplayNode class with default IDisplayNode implementation. Add IDisplayN...
MichalMoskal
2010-10-14
*
Bug fixes and speed up for doomed program point analysis
schaef
2010-10-13
*
Add interfaces for langauge providers. Start with VCC provider.
MichalMoskal
2010-10-12
*
Put Model.cs in separate assembly. Fix signing/versioning with it.
MichalMoskal
2010-10-12
*
Add missing Clone() when storing incarnation maps; update testcase to make th...
MichalMoskal
2010-10-12
*
Add function and constant view
MichalMoskal
2010-10-12
*
Put in proper namespace, move files around.
MichalMoskal
2010-10-12
*
Make the -mv option use the new Model class.
MichalMoskal
2010-10-12
*
Starting work on Boogie Model Viewer.
MichalMoskal
2010-10-12
*
Boogie:
rustanleino
2010-10-12
*
Boogie: fixed a Code Contract in the source
rustanleino
2010-10-09
*
Fixes in state printing/initialization
MichalMoskal
2010-10-09
*
Fix some bugs.
MichalMoskal
2010-10-09
*
Add model/state printing and parsing
MichalMoskal
2010-10-09
*
Add state sequence API and creation, still untested
MichalMoskal
2010-10-08
*
Add the new model interface. Untested, doesn't yet include state sequence
MichalMoskal
2010-10-08
*
Get rid of some CCI dependencies in Driver
MichalMoskal
2010-10-07
*
Update to VS2010.
MichalMoskal
2010-10-07
*
Minor fix to recursion depth in stratified inlining algorithm.
akashlal
2010-10-02
*
Boogie:
rustanleino
2010-09-24
*
Boogie:
rustanleino
2010-09-23
*
Dafny: Compilation of multi-dimensional arrays
rustanleino
2010-09-21
*
Some simplifications to coverage reporting for StratifiedInlining.
akashlal
2010-09-19
*
Fixed an off-by-one error. Added "ReachedBound" as a valid boogie outcome.
akashlal
2010-09-18
*
Dafny:
rustanleino
2010-09-17
*
Added more stat printing
akashlal
2010-09-16
*
Dafny:
rustanleino
2010-09-14
*
added an optimization to extract loops so that only loop targets are treated ...
qadeer
2010-09-10
*
Added a new VC.ConditionGeneration.Outcome: StratifiedInlining can signal tha...
akashlal
2010-09-05
*
Delete unreachable Blocks of an Impl before calling ExtractLoops().
akashlal
2010-09-05
*
Fixed a performance issue with StratifiedInlining
akashlal
2010-09-05
*
Fix for extractLoops
akashlal
2010-09-04
*
Henrique's addition to the the ErrorHandler API to retrieve models
qadeer
2010-09-03
*
more fixes to ExtractLoops
qadeer
2010-09-03
*
Added a fix to extract loops code so that it returns a more comprehensive map...
qadeer
2010-09-03
*
Changed the interface of Parse so that it can consume a program from a Stream
akashlal
2010-09-03
*
bunch of fixes related to Boogie error model generation from the Z3 error mod...
qadeer
2010-09-03
*
Bug fix for StratifiedInlining. Use extra Booleans to model procedure calls, ...
akashlal
2010-09-02
*
fixed bug in extract loops by ensuring that loop extraction is done in nestin...
qadeer
2010-09-01
*
Minor fix to my previous commit
akashlal
2010-09-01
*
Added a way of recovering counterexample paths after loop extraction. Stable,...
akashlal
2010-09-01
[next]