summaryrefslogtreecommitdiff
path: root/Source/Core/Parser.cs
Commit message (Expand)AuthorAge
* fixed an issue with parsing floating pointsGravatar Checkmate502016-07-19
* Added and briefly tested the updated syntax. NaN/oo not supported yetGravatar Checkmate502016-07-19
* rebuilt scanner and parser via cocoGravatar Checkmate502016-07-16
* Merging complete. Everything looks good *crosses fingers*Gravatar Checkmate502016-06-06
* finished testing, fixed several minor compiler bugsGravatar Checkmate502016-06-06
* Initial round of testing works with new syntax. Fixed an error where floatin...Gravatar Checkmate502016-05-31
* modified floating point syntax and modified floating point constants to use b...Gravatar Checkmate502016-03-17
* Modified BigFloat and parser to accept correct SMT-LIB syntaxGravatar Checkmate502016-02-20
* Special fp types (such as infinity and NaN are now translated by boogieGravatar Checkmate502015-11-29
* Added initial support for float additionGravatar Checkmate502015-09-17
* Float type now works correctly for simple variable declaration and comparison.Gravatar Dietrich2015-07-20
* Modified internal abstract float representation to allow user-defined mantiss...Gravatar Dietrich2015-07-13
* added interpretation of floating point constants to the parserGravatar Dietrich2015-05-18
* added decimal reading functionality to the float typeGravatar Dietrich2015-05-05
* Finished up Parser modificationsGravatar Dietrich2015-04-27
* removed the last console writes (used for testing)Gravatar Dietrich2015-04-26
* Successfully parsed the float typeGravatar Dietrich2015-04-26
* added float type to the set array in ParserGravatar Dietrich2015-04-26
* removed comments from Scanner.cs, changed the value of the float token kind t...Gravatar Dietrich2015-04-26
* added float type to Arithmetic Expression and added a new float testGravatar Dietrich2015-04-26
* renamed fp32 to BigFloatGravatar Dietrich2015-04-20
* added minor commenting to Parser.csGravatar Dietrich2015-04-20
* added a collection of console writes for debugging. These should be removed ...Gravatar Dietrich2015-04-20
* Added float type to the Parser and ScannerGravatar Dietrich2015-04-20
* added float tipe to AbsyExpr and IntervalDomain. The methods added may requi...Gravatar Dietrich2015-04-20
* added float type definition to AbsyType and parser (parser definition may be ...Gravatar Dietrich2015-04-17
* adding references to the floating point type wherever references to the real ...Gravatar Dietrich2015-04-17
* Add the ability to declare Expr to be immutable at construction time.Gravatar Dan Liew2015-01-29
* Did more refactoring.Gravatar wuestholz2014-09-23
* Added /useBaseNameForFile command line argument. The ScannerGravatar Dan Liew2014-04-06
* bug fixes in Duplicate.cs and parsing of invariant attributesGravatar qadeer2013-12-22
* regenerated after updating Parser.frameGravatar qadeer2013-12-16
* added syntax for par call and ParCallCmdGravatar qadeer2013-12-16
* Removed the remaining pure collections.Gravatar wuestholz2013-07-23
* Fixed the Coco/R grammar and regenerated the parser.Gravatar wuestholz2013-07-22
* All ...Seq classes now goneGravatar Ally Donaldson2013-07-22
* ExprSeq: farewellGravatar Ally Donaldson2013-07-22
* StringSeq: farewellGravatar Ally Donaldson2013-07-22
* CmdSeq: farewellGravatar Ally Donaldson2013-07-22
* Started to remove ...Seq classesGravatar Ally Donaldson2013-07-22
* More refactoringGravatar Ally Donaldson2013-07-22
* More refactoringGravatar Ally Donaldson2013-07-22
* More refactoring: PureCollections.Sequence not used anymore.Gravatar Ally Donaldson2013-07-22
* More refactoring towards replacing PureCollections.Sequence with ListGravatar Ally Donaldson2013-07-22
* Refactoring of TypeVariableSeqGravatar Ally Donaldson2013-07-22
* Refactoring of VariableSeq and TypeSeqGravatar Ally Donaldson2013-07-22
* Requires/EnsuresSeq replaced by List<Requires/Ensures>Gravatar Ally Donaldson2013-07-22
* added parallel callsGravatar Unknown2013-03-01
* removed call forall and * args to callsGravatar Unknown2013-02-23
* Refactored code that generates an axiom for a function, and changed the prett...Gravatar Rustan Leino2013-01-17
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-08 08:34:54 +0000