summaryrefslogtreecommitdiff
path: root/Source/Core
Commit message (Expand)AuthorAge
* Made invariant of class 'ProcedureSummaryEntry' robust by changing the designGravatar 0biha2014-12-23
* Made invariant of class 'HavocCmd' robust by changing the design (replaced pu...Gravatar 0biha2014-12-19
* Made 2 invariants of type 'StateCmd' robust by changing the designGravatar 0biha2014-12-19
* Made 2 invariants of type 'AssignCmd' robust byGravatar 0biha2014-12-19
* Made invariant of class 'CommandLineOptionEngine' robust by changing the desi...Gravatar 0biha2014-12-19
* Made invariant of class 'Ensures' robust by changing the design (replaced pub...Gravatar 0biha2014-12-19
* Added an annotation, :split_here, for predicate statements.Gravatar Bryan Parno2014-12-16
* Fixed a precondition.Gravatar wuestholz2014-12-16
* Reverted a change to CreateTempVariable for FixedPointVC only.Gravatar Ken McMillan2014-12-08
* Optimized the VC generation for assumption variables.Gravatar wuestholz2014-12-07
* Added todos.Gravatar wuestholz2014-11-26
* Fixed issue with resolution of function calls.Gravatar wuestholz2014-11-26
* Fix FunctionCall.Resolve() so that when the function is resolved the type bec...Gravatar Dan Liew2014-11-25
* Fix bug in FunctionCall that caused the ExprTypeChecking.FunctionCall()Gravatar Dan Liew2014-11-25
* Worked on the verification result caching (extracted functions).Gravatar wuestholz2014-11-25
* Fixed issues in the verification result caching (old expressions).Gravatar wuestholz2014-11-24
* Worked on the verification result caching.Gravatar wuestholz2014-11-23
* Fixed issue in the verification result caching.Gravatar wuestholz2014-11-10
* Worked on the verification result caching.Gravatar wuestholz2014-11-10
* Made it never include the statement checksum when printing assert statements.Gravatar wuestholz2014-11-16
* renamed :phase to :layerGravatar qadeer2014-11-14
* Minor refactoringGravatar wuestholz2014-11-05
* Let attributes live on during inliningGravatar akashlal2014-11-05
* Worked on the verification result caching.Gravatar wuestholz2014-11-05
* Made it produce more trace output for the verification result caching.Gravatar wuestholz2014-11-02
* Fixed an issue (reported by Akash Lal).Gravatar wuestholz2014-10-30
* Fixed minor issue (reported by Alex Summers).Gravatar wuestholz2014-10-28
* Worked on the verification result caching.Gravatar wuestholz2014-10-19
* Worked on the verification result caching.Gravatar wuestholz2014-10-19
* Did some refactoring.Gravatar wuestholz2014-10-18
* Made it produce more trace output for the verification result caching.Gravatar wuestholz2014-10-18
* Worked on the verification result caching.Gravatar wuestholz2014-10-17
* Worked on the verification result caching.Gravatar wuestholz2014-10-17
* Worked on the verification result caching.Gravatar wuestholz2014-10-17
* Worked on the verification result caching.Gravatar wuestholz2014-10-17
* Did some refactoring.Gravatar wuestholz2014-10-16
* Minor changeGravatar wuestholz2014-10-16
* Worked on the verification result caching.Gravatar wuestholz2014-10-15
* Fix issue in computation of checksums for calls.Gravatar wuestholz2014-10-15
* Fix issue in computation of checksums for indented statements.Gravatar wuestholz2014-10-15
* Fix issue in computation of checksums for assume statements.Gravatar wuestholz2014-10-14
* Minor changeGravatar wuestholz2014-10-14
* Add '/traceCaching' flag.Gravatar wuestholz2014-10-13
* Implement ToString() override for TransferCmds. It is overriden forGravatar Dan Liew2014-10-13
* Fix bug in the Duplicator.Gravatar Dan Liew2014-10-08
* Fix typos in the name of a property and method used for handlingGravatar Dan Liew2014-10-08
* Fix bug in Duplicator. Previously when cloning an entire ProgramGravatar Dan Liew2014-10-06
* Improved on my fix to the Duplicator bug fixed in ca82591ab1f8.Gravatar Dan Liew2014-10-06
* Fix bug in Duplicator where GotoCmd's LabelTargets and LabelNamesGravatar Dan Liew2014-10-05
* MergeGravatar akashlal2014-09-27
|\
generated by cgit v1.2.3 (git 2.39.1) at 2024-08-23 04:58:41 +0000