summaryrefslogtreecommitdiff
path: root/Source/Core
Commit message (Expand)AuthorAge
* 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
|\
* | Better fix for the duplicator, thanks to wuestholzGravatar akashlal2014-09-27
| * Fixed issue reported by Akash Lal.Gravatar wuestholz2014-09-26
|/
* Fix for the duplicator; can't use CloneGravatar akashlal2014-09-26
* The setter is better this wayGravatar akashlal2014-09-25
* Lets have a setter for TopLevelDeclarations as wellGravatar akashlal2014-09-25
* Simple VC generation for SIGravatar akashlal2014-09-24
* Did more refactoring and addressed several todos.Gravatar wuestholz2014-09-23
* Did more refactoring.Gravatar wuestholz2014-09-23
* Did some refactoring.Gravatar wuestholz2014-09-23
* Fixed an issue in the verification result caching (recycled errors).Gravatar wuestholz2014-09-22
* a small fix to prefix calculationGravatar qadeer2014-09-19
* a bug fix in Houdini (also AbsHoudini)Gravatar qadeer2014-09-19
* InlineAssume attribute for ensures clauses; if present, the ensures condition...Gravatar qadeer2014-09-18
* fixed various CodeContracts issues.Gravatar qadeer2014-09-18
* added a commentGravatar qadeer2014-09-17
* fixed a bug in inliningGravatar qadeer2014-09-17
* Added the ability to attach arbitary objects to Absy nodes using anGravatar Dan Liew2014-09-03
* Added missing Expr.Neg() static method.Gravatar Dan Liew2014-08-15
* Minor refactoringGravatar wuestholz2014-08-03
* MergeGravatar Dan Rosén2014-08-01
|\
* | Add alpha equivalence check for Expr, and use it when lambda liftingGravatar Dan Rosén2014-08-01
| * removed /doNotUseParallelismGravatar qadeer2014-07-30
| * Fix bug in BinderExpr where is was possible for A.Equals(B) to returnGravatar Dan Liew2014-07-29
| * Fix bug in NAryExpr where is was possible for A.Equals(B) to returnGravatar Dan Liew2014-07-29
| * Fix bug in BinderExpr where Equals() was not corrected implemented.Gravatar Dan Liew2014-07-28
| * MergeGravatar akashlal2014-07-28
| |\
| * | Fix bug in NAryExpr where Equals() override was not correctly implemented.Gravatar Dan Liew2014-07-28
| | * Helper proceduresGravatar akashlal2014-07-28
| |/
| * Fix bug where Visitors could not visit Requires or Ensures becauseGravatar Dan Liew2014-07-27
|/
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-12 01:45:44 +0000