index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
/
Core
Commit message (
Expand
)
Author
Age
*
z3api: Bug fix with timeout. Use CheckAssumptions.
akashlal
2010-12-07
*
Added version.cs as link to those projects that were missing it
stobies
2010-12-06
*
Factored out the ParserHelper class into a separate project and updated the f...
wuestholz
2010-12-02
*
Get rid of F# dependencies - use System.Numerics and a custom Rational struct...
MichalMoskal
2010-12-02
*
stratified inlining: reuse call tree across queries
akashlal
2010-12-01
*
Eliminated dependencies on SpecSharp and CCI from Boogie.sln and Dafny.sln
qadeer
2010-12-01
*
Ported all projects to .NET Framework 4.0 in both Boogie.sln and Dafny.sln. ...
qadeer
2010-11-27
*
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 the -mv option use the new Model class.
MichalMoskal
2010-10-12
*
Boogie:
rustanleino
2010-10-12
*
Get rid of some CCI dependencies in Driver
MichalMoskal
2010-10-07
*
Update to VS2010.
MichalMoskal
2010-10-07
*
Boogie:
rustanleino
2010-09-23
*
Some simplifications to coverage reporting for StratifiedInlining.
akashlal
2010-09-19
*
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
*
Fix for extractLoops
akashlal
2010-09-04
*
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
*
fixed bug in extract loops by ensuring that loop extraction is done in nestin...
qadeer
2010-09-01
*
Added a way of recovering counterexample paths after loop extraction. Stable,...
akashlal
2010-09-01
*
Added a new class LoopProcedure to represent the procedures representing extr...
qadeer
2010-09-01
*
Dafny: added a command-line option to change the prelude file
sboehme
2010-08-30
*
created a new build target called z3apidebug.
qadeer
2010-08-29
*
Boogie: Commented out all occurences of repeated inherited contracts - makes ...
tabarbe
2010-08-27
*
Boogie: Removed some errors with code contracts (commenting out doubly-inheri...
tabarbe
2010-08-27
*
Boogie: Changed the cce classes into one separate project, which every other ...
tabarbe
2010-08-27
*
Boogie: Basetypes port 3/3: Committing changed references
tabarbe
2010-08-27
*
Boogie: Graph port 3/3: Committing changed references; also, adding back cce ...
tabarbe
2010-08-27
*
Boogie: AIFramework port part 3/3: Committing reference changes, edit to Core...
tabarbe
2010-08-26
*
Added a short description of new flags added to Boogie.
akashlal
2010-08-23
*
Fixed external references to other projects in the solution.
mikebarnett
2010-08-23
*
Boogie: Adding required source file, deleting no-longer-necessarry one
tabarbe
2010-08-20
*
Boogie: Committing changed source files
tabarbe
2010-08-20
*
Boogie: Renaming core sources in preparation for port commit
tabarbe
2010-08-20
*
Boogie: Renaming core sources in preparation for port commit
tabarbe
2010-08-20
*
Added user option for bounding inlining depth
akashlal
2010-08-20
*
Don't set monomorphize with typeEncoding:m, not neccessary.
MichalMoskal
2010-08-18
*
Added option for displaying stratified inlining's search
akashlal
2010-08-18
*
Change Synonym type printing to what it was, use a workaround in TypeToString...
MichalMoskal
2010-08-18
*
Make /typeEncoding:m work with arrays
MichalMoskal
2010-08-18
*
Boogie: Removed mistaken duplication of a type parameter
tabarbe
2010-08-16
*
Added more options for stratified inlining
akashlal
2010-08-16
*
Added methods to read a file from any Stream object
akashlal
2010-08-12
*
Added the option /extractLoops to extract loops as procedure calls. If eithe...
qadeer
2010-08-11
*
Boogie: Added boolean code expressions (sans well-formedness checks on the in...
rustanleino
2010-08-10
[next]