summaryrefslogtreecommitdiff
path: root/Source/Core/Util.cs
Commit message (Expand)AuthorAge
* Protect the Args field of NAryExpr when it is immutable.Gravatar Dan Liew2015-02-12
* Fixed minor issue.Gravatar wuestholz2015-01-26
* Minor changeGravatar wuestholz2015-01-26
* Made invariant of class 'IfThenElse' robust by changing the designGravatar 0biha2015-01-01
* Made invariant of class 'Absy' robust by changing the design (added getter/se...Gravatar 0biha2014-12-09
* Fix issue in computation of checksums for indented statements.Gravatar wuestholz2014-10-15
* Helper proceduresGravatar akashlal2014-07-28
* Fix nasty bug introduced by commit 61a94f409975.Gravatar Dan Liew2014-07-15
* Did some refactoring, fixed minor issues, and made it apply the more advanced...Gravatar wuestholz2014-07-06
* Add some pretty-printing, on by default. Turn off with the flag "/pretty:0"Gravatar Dan Rosén2014-06-24
* ExprSeq: farewellGravatar Ally Donaldson2013-07-22
* More refactoring towards replacing PureCollections.Sequence with ListGravatar 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
* Boogie: new syntax for integer division and modulus: use div and mod instead ...Gravatar boehmes2012-09-27
* GPUVerify: implement is-a-constant analysisGravatar Peter Collingbourne2012-06-15
* Use DateTime.UtcNow instead of DateTime.NowGravatar stobies2012-01-11
* Fixed the Boogie build.Gravatar wuestholz2011-12-16
* Dafny: Made sure that error locations refer to the Dafny program, even if the...Gravatar wuestholz2011-12-15
* Add IEnumerable.Concat1 method.Gravatar MichalMoskal2011-02-23
* Add IEnumerable.IterGravatar MichalMoskal2011-02-17
* Add some extension methods to IEnumberable<T>Gravatar MichalMoskal2011-02-15
* Get rid of some warnings.Gravatar MichalMoskal2011-02-11
* Boogie: Committing changed source filesGravatar tabarbe2010-08-20
* Boogie: Renaming core sources in preparation for port commitGravatar tabarbe2010-08-20