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
*
fixed bug (reported by Akash) in treatment of linear parameters to calls
Unknown
2013-05-06
*
In the typecheck method of HavocCmd, added calls to typecheck the havoced vars
Unknown
2013-05-04
*
Merge
Unknown
2013-05-04
|
\
*
|
fixed bug reported by Akash
Unknown
2013-05-04
|
*
Print "\n" after a YieldCmd
akashlal
2013-05-03
|
/
*
Merge
allydonaldson
2013-04-30
|
\
*
|
Staged Houdini
allydonaldson
2013-04-30
|
*
Added a little bit of virtual-ness to the Inliner class. This is so that I can
akashlal
2013-04-28
|
*
added free ensures to each procedure to compensate for havocing of allocator
Unknown
2013-04-19
|
*
Made OG-Desugared parsable as a Boogie program.
akashlal
2013-04-19
|
*
Fix mod-set traversal to do visit code inside code expressions.
Rustan Leino
2013-04-18
|
*
refactored og and fixed latest bug reported by chris
Unknown
2013-03-20
|
*
the allocator corresponding to every linear variable
Unknown
2013-03-13
|
*
Added explicit mod set analysis calls to OG transform and linear transform
Unknown
2013-03-13
|
*
added mod set checking to the linear type checker
Unknown
2013-03-13
|
*
fixed bugs in linear and og
Unknown
2013-03-11
|
*
Added another constructor to CallCmd
akashlal
2013-03-11
|
*
fixed emitter for CallCmd to include async
Unknown
2013-03-09
|
*
added support for linear sets without useArrayTheory (but there is some incom...
Unknown
2013-03-07
|
*
in the process of adding support for linear sets without /useArrayTheory
Unknown
2013-03-06
|
/
*
fixed datatype bug reported by Chris
Unknown
2013-03-05
*
fixed a bug in og
Unknown
2013-03-04
*
fixed bugs in both parallel calls and linear stuff (reported by Chris)
Unknown
2013-03-03
*
bug in OG for parallel call
Unknown
2013-03-02
*
added parallel calls
Unknown
2013-03-01
*
removed call forall and * args to calls
Unknown
2013-02-23
*
fixed bugs in typechecking of linear sets
Unknown
2013-02-13
*
fixed another bug reported by ChrisHaw
Unknown
2013-02-12
*
Further bug fixes in OG
Unknown
2013-02-05
*
fixed bug in OG
Unknown
2013-02-01
*
handling old() in stable assertions
Unknown
2013-01-30
*
made a whole bunch of changes to linear and og stuff
Unknown
2013-01-29
*
bug fix reported by Chris
Unknown
2013-01-28
*
added owicki-gries and linear-set to boogiedriver
Unknown
2013-01-25
*
first check in of Owicki-Gries and linear sets
Unknown
2013-01-24
*
Let Boogie clients determine their own version string
Rustan Leino
2013-01-23
*
Refactored code that generates an axiom for a function, and changed the prett...
Rustan Leino
2013-01-17
*
Allow attributes on procedure formals, function formals, and bound variables
Unknown
2013-01-07
*
Some code clean-up
Unknown
2013-01-07
*
Removed old comments about "BASEMOVE" and other constructor calls, where the ...
Unknown
2013-01-07
*
bug fix for interaction between inlining and loops
Unknown
2013-01-04
*
Use the new ProverInterface's Evaluate method in stratified inlinig
Unknown
2013-01-03
*
Missed checking this in.
akashlal
2012-12-12
*
Houdini: allow cross-dependencies between procedures that occurs when assume
Unknown
2012-12-11
*
Gather set of procedures with irreducible loops.
Unknown
2012-11-18
*
Minor refactorings for integrating corral
Unknown
2012-11-18
*
Added Abstract Houdini: an implementation of Houdini based on abstract domains.
Unknown
2012-11-05
*
added sound loop unrolling
Yannick Welsch
2012-07-03
*
bunch of refactorings
Unknown
2012-10-03
*
Boogie: added /vcsLoad flag as a convenient way to set /vcsCores proportional...
Unknown
2012-09-28
[next]