summaryrefslogtreecommitdiff
path: root/Source/Core/Scanner.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
* Initial round of testing works with new syntax. Fixed an error where floatin...Gravatar Checkmate502016-05-31
* added general floating point mantissa and exponent managementGravatar Dietrich2015-05-04
* 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
* 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
* Scanner generation with CocoGravatar 0biha2014-12-24
* Made invariant of class 'Scanner' robust by changing the design (replaced pub...Gravatar 0biha2014-12-23
* Did more refactoring.Gravatar wuestholz2014-09-23
* Added /useBaseNameForFile command line argument. The ScannerGravatar Dan Liew2014-04-06
* added syntax for par call and ParCallCmdGravatar qadeer2013-12-16
* added parallel callsGravatar Unknown2013-03-01
* removed call forall and * args to callsGravatar Unknown2013-02-23
* Boogie: added type 'real' with overloaded arithmetic operations plus real div...Gravatar boehmes2012-09-27
* Boogie: new syntax for integer division and modulus: use div and mod instead ...Gravatar boehmes2012-09-27
* Boogie: Simplified (and liberalized) parsing of string literals as attribute ...Gravatar Unknown2012-03-12
* updated Boogie strings so that they can refer to \" (and more)Gravatar qadeer2012-03-12
* Updated the Parser.cs and Scanner.cs files in Boogie and Dafny and removed so...Gravatar wuestholz2011-07-15
* Factored out the ParserHelper class into a separate project and updated the f...Gravatar wuestholz2010-12-02
* Boogie:Gravatar rustanleino2010-10-26
* Boogie: Committing changed source filesGravatar tabarbe2010-08-20
* Boogie: Renaming core sources in preparation for port commitGravatar tabarbe2010-08-20
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-09 02:35:21 +0000