summaryrefslogtreecommitdiff
path: root/Source/Core/AbsyType.cs
Commit message (Expand)AuthorAge
* Added and briefly tested the updated syntax. NaN/oo not supported yetGravatar Checkmate502016-07-19
* Changed the syntax reading of the float typeGravatar Checkmate502016-07-16
* Merging complete. Everything looks good *crosses fingers*Gravatar Checkmate502016-06-06
* 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 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
* Fix what looked like a serious design issue when Type checkingGravatar Dan Liew2015-02-12
* Fix nasty bug introduced by commit 61a94f409975.Gravatar Dan Liew2014-07-15
* Fixed malformed Contracts sectionGravatar Rustan Leino2014-04-15
* Fixed class cast issue with type synonymsGravatar Ally Donaldson2014-04-01
* Resolve a concurrency issue (reported by Alex Summers).Gravatar wuestholz2013-12-12
* Resolved some issues with data races.Gravatar wuestholz2013-07-23
* Did some refactoring.Gravatar wuestholz2013-07-23
* Did some refactoring.Gravatar wuestholz2013-07-23
* Use 'All' and 'Any' instead of 'Contract.ForAll' and 'Contract.Exists' in cod...Gravatar wuestholz2013-07-22
* All ...Seq classes now goneGravatar Ally Donaldson2013-07-22
* ExprSeq: 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 towards replacing PureCollections.Sequence with ListGravatar Ally Donaldson2013-07-22
* Refactoring of TypeVariableSeqGravatar Ally Donaldson2013-07-22
* Changed Has method of PureSequence to Contains to make refactoring easier.Gravatar Ally Donaldson2013-07-22
* Refactoring of VariableSeq and TypeSeqGravatar Ally Donaldson2013-07-22
* Removed old comments about "BASEMOVE" and other constructor calls, where the ...Gravatar Unknown2013-01-07
* Boogie: added type 'real' with overloaded arithmetic operations plus real div...Gravatar boehmes2012-09-27
* Removed AIFramework from Boogie -- use native trivial or native interval-base...Gravatar boehmes2012-09-27
* more type checking for datatypesGravatar qadeer2012-03-18
* Renamed NonNullElements to NonNullDictionaryAndValues because the keys to dic...Gravatar mikebarnett2011-03-10
* Fix contracts so runtime checking can be turned on.Gravatar mikebarnett2011-03-07
* Boogie: Commented out all occurences of repeated inherited contracts - makes ...Gravatar tabarbe2010-08-27
* 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-10 09:22:04 +0000