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
/
AbsyExpr.cs
Commit message (
Expand
)
Author
Age
*
Made invariant of class 'IfThenElse' robust by changing the design
0biha
2015-01-01
*
Worked on more native support for partially-verified assertions.
wuestholz
2014-12-28
*
Fixed issue with resolution of function calls.
wuestholz
2014-11-26
*
Fix FunctionCall.Resolve() so that when the function is resolved the type bec...
Dan Liew
2014-11-25
*
Fix bug in FunctionCall that caused the ExprTypeChecking.FunctionCall()
Dan Liew
2014-11-25
*
fixed various CodeContracts issues.
qadeer
2014-09-18
*
Added missing Expr.Neg() static method.
Dan Liew
2014-08-15
*
Minor refactoring
wuestholz
2014-08-03
*
Merge
Dan Rosén
2014-08-01
|
\
*
|
Add alpha equivalence check for Expr, and use it when lambda lifting
Dan Rosén
2014-08-01
|
*
Fix bug in NAryExpr where is was possible for A.Equals(B) to return
Dan Liew
2014-07-29
|
*
Fix bug in NAryExpr where Equals() override was not correctly implemented.
Dan Liew
2014-07-28
|
/
*
Fix nasty bug introduced by commit 61a94f409975.
Dan Liew
2014-07-15
*
Refactored how checksums are computed.
wuestholz
2014-07-13
*
Did some refactoring, fixed minor issues, and made it apply the more advanced...
wuestholz
2014-07-06
*
Add some pretty-printing, on by default. Turn off with the flag "/pretty:0"
Dan Rosén
2014-06-24
*
Add isBvConst and asBvConst accessors to LiteralExpr to match the
Dan Liew
2014-05-28
*
Recursive walking of Exprs doesn't play nice when the depth of the AST is high.
akashlal
2014-01-07
*
Resolved some issues with data races.
wuestholz
2013-07-23
*
All ...Seq classes now gone
Ally Donaldson
2013-07-22
*
ExprSeq: farewell
Ally Donaldson
2013-07-22
*
Started to remove ...Seq classes
Ally Donaldson
2013-07-22
*
More refactoring
Ally Donaldson
2013-07-22
*
More refactoring: PureCollections.Sequence not used anymore.
Ally Donaldson
2013-07-22
*
More refactoring towards replacing PureCollections.Sequence with List
Ally Donaldson
2013-07-22
*
Refactoring of VariableSeq and TypeSeq
Ally Donaldson
2013-07-22
*
Allow attributes on procedure formals, function formals, and bound variables
Unknown
2013-01-07
*
Removed old comments about "BASEMOVE" and other constructor calls, where the ...
Unknown
2013-01-07
*
Minor refactorings for integrating corral
Unknown
2012-11-18
*
Fixed the build.
wuestholz
2012-09-28
*
Boogie: added type 'real' with overloaded arithmetic operations plus real div...
boehmes
2012-09-27
*
Boogie: new syntax for integer division and modulus: use div and mod instead ...
boehmes
2012-09-27
*
Removed AIFramework from Boogie -- use native trivial or native interval-base...
boehmes
2012-09-27
*
Boogie: Changed Expr.Not to keep swap arguments rather change direction of op...
Rustan Leino
2011-12-12
*
Merge
Rustan Leino
2011-12-07
|
\
|
*
Fix atg file and add comment about Set/*Variable*/
Michal Moskal
2011-12-07
|
*
Make set iteration order deterministic
Michal Moskal
2011-12-07
*
|
Boogie: Added new abstract interpretation harness, which uses native Boogie E...
Rustan Leino
2011-12-05
|
/
*
Boogie: Eliminated the /bv option. Only native bitvectors are supported now. ...
Rustan Leino
2011-10-27
*
Fix contracts so runtime checking can be turned on.
mikebarnett
2011-03-07
*
Boogie: Fixed problem with binding power of .[.] versus type coercions in pre...
rustanleino
2011-02-17
*
Added a new method StratifiedVC for refinement.
akashlal
2011-02-08
*
Boogie: Commented out all occurences of repeated inherited contracts - makes ...
tabarbe
2010-08-27
*
Boogie: Committing changed source files
tabarbe
2010-08-20
*
Boogie: Renaming core sources in preparation for port commit
tabarbe
2010-08-20