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
*
finished testing, fixed several minor compiler bugs
Checkmate50
2016-06-06
*
Initial round of testing works with new syntax. Fixed an error where floatin...
Checkmate50
2016-05-31
*
modified floating point syntax and modified floating point constants to use b...
Checkmate50
2016-03-17
*
Modified BigFloat and parser to accept correct SMT-LIB syntax
Checkmate50
2016-02-20
*
Special fp types (such as infinity and NaN are now translated by boogie
Checkmate50
2015-11-29
*
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
*
Float type now works correctly for simple variable declaration and comparison.
Dietrich
2015-07-20
*
Modified internal abstract float representation to allow user-defined mantiss...
Dietrich
2015-07-13
*
added interpretation of floating point constants to the parser
Dietrich
2015-05-18
*
added decimal reading functionality to the float type
Dietrich
2015-05-05
*
added general floating point mantissa and exponent management
Dietrich
2015-05-04
*
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
*
Finished up Parser modifications
Dietrich
2015-04-27
*
removed the last console writes (used for testing)
Dietrich
2015-04-26
*
Successfully parsed the float type
Dietrich
2015-04-26
*
added float type to the set array in Parser
Dietrich
2015-04-26
*
removed comments from Scanner.cs, changed the value of the float token kind t...
Dietrich
2015-04-26
*
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 minor commenting to Parser.cs
Dietrich
2015-04-20
*
added a collection of console writes for debugging. These should be removed ...
Dietrich
2015-04-20
*
Added float type to the Parser and Scanner
Dietrich
2015-04-20
*
added float tipe to AbsyExpr and IntervalDomain. The methods added may requi...
Dietrich
2015-04-20
*
added float type definition to AbsyType and parser (parser definition may be ...
Dietrich
2015-04-17
*
adding references to the floating point type wherever references to the real ...
Dietrich
2015-04-17
*
VC gen for security properties
akashlal
2015-04-05
*
Eliminated calls to deprecated method.
wuestholz
2015-02-18
*
Added a setter for CommandLineOptions.ProverOptions and fixed several contracts.
wuestholz
2015-02-18
*
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 body of ForAllExpr, ExistsExpr and LambdaExpr when they
Dan Liew
2015-01-29
*
Fix ForAllExpr, ExistsExpr and LambdaExpr constructors so it is possible
Dan Liew
2015-01-29
*
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
*
Fixed minor issue.
wuestholz
2015-01-26
*
Worked on the verification result caching (statement checksums).
wuestholz
2015-01-26
*
Minor change
wuestholz
2015-01-26
[next]