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
*
modified floating point syntax and modified floating point constants to use b...
Checkmate50
2016-03-17
*
Modified translation so that z3 runs with type checking for simple binary ope...
Checkmate50
2015-10-14
*
Modified BigFloat to avoid evaluating the floating point value before sending...
Checkmate50
2015-09-23
*
Added initial support for float addition
Checkmate50
2015-09-17
*
Modified internal abstract float representation to allow user-defined mantiss...
Dietrich
2015-07-13
*
Began adding the float type to VC expression
Dietrich
2015-04-27
*
Added float operations to AbsyExpr. Note that float operations work as real ...
Dietrich
2015-04-27
*
added float type to Arithmetic Expression and added a new float test
Dietrich
2015-04-26
*
renamed fp32 to BigFloat
Dietrich
2015-04-20
*
added a collection of console writes for debugging. These should be removed ...
Dietrich
2015-04-20
*
added float tipe to AbsyExpr and IntervalDomain. The methods added may requi...
Dietrich
2015-04-20
*
adding references to the floating point type wherever references to the real ...
Dietrich
2015-04-17
*
Protect Bitvector field of BvExtractExpr when it is immutable.
Dan Liew
2015-02-12
*
Protect E0 and E1 in BvConcatExpr if Expr is immutable.
Dan Liew
2015-02-12
*
Fix what looked like a serious design issue when Type checking
Dan Liew
2015-02-12
*
When an Expr immutable, never change Type reference if it has been set,
Dan Liew
2015-02-12
*
Protect the Args field of NAryExpr when it is immutable.
Dan Liew
2015-02-12
*
Fix performance issue in ComputeHashCode() methods of Expr classes.
Dan Liew
2015-02-02
*
Fix typechecking immutable Expr when we have
Dan Liew
2015-01-31
*
Made it produce slightly different passive commands for assignments to assump...
wuestholz
2015-01-30
*
Protect the NAryExpr.Fun field when the NAryExpr is immutable.
Dan Liew
2015-01-29
*
Protect the Expr field of OldExpr if it is immutable. Add unit test
Dan Liew
2015-01-29
*
Protect the Type field of an Expr if is Immutable. Note if the Expr
Dan Liew
2015-01-29
*
Protect the Name and Decl fields of IdentifierExpr when it is
Dan Liew
2015-01-29
*
Prevent a BvConst being changed once constructed. The motivation
Dan Liew
2015-01-29
*
Add the ability to declare Expr to be immutable at construction time.
Dan Liew
2015-01-29
*
Worked on the verification result caching (statement checksums).
wuestholz
2015-01-26
*
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
[next]