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
/
Parser.cs
Commit message (
Expand
)
Author
Age
*
fixed an issue with parsing floating points
Checkmate50
2016-07-19
*
Added and briefly tested the updated syntax. NaN/oo not supported yet
Checkmate50
2016-07-19
*
rebuilt scanner and parser via coco
Checkmate50
2016-07-16
*
Merging complete. Everything looks good *crosses fingers*
Checkmate50
2016-06-06
*
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
*
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
*
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
*
Add the ability to declare Expr to be immutable at construction time.
Dan Liew
2015-01-29
*
Did more refactoring.
wuestholz
2014-09-23
*
Added /useBaseNameForFile command line argument. The Scanner
Dan Liew
2014-04-06
*
bug fixes in Duplicate.cs and parsing of invariant attributes
qadeer
2013-12-22
*
regenerated after updating Parser.frame
qadeer
2013-12-16
*
added syntax for par call and ParCallCmd
qadeer
2013-12-16
*
Removed the remaining pure collections.
wuestholz
2013-07-23
*
Fixed the Coco/R grammar and regenerated the parser.
wuestholz
2013-07-22
*
All ...Seq classes now gone
Ally Donaldson
2013-07-22
*
ExprSeq: farewell
Ally Donaldson
2013-07-22
*
StringSeq: farewell
Ally Donaldson
2013-07-22
*
CmdSeq: 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
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 TypeVariableSeq
Ally Donaldson
2013-07-22
*
Refactoring of VariableSeq and TypeSeq
Ally Donaldson
2013-07-22
*
Requires/EnsuresSeq replaced by List<Requires/Ensures>
Ally Donaldson
2013-07-22
*
added parallel calls
Unknown
2013-03-01
*
removed call forall and * args to calls
Unknown
2013-02-23
*
Refactored code that generates an axiom for a function, and changed the prett...
Rustan Leino
2013-01-17
[next]