summaryrefslogtreecommitdiff
path: root/Source
Commit message (Expand)AuthorAge
* Lets have a setter for TopLevelDeclarations as wellGravatar akashlal2014-09-25
* Merge.Gravatar Dan Liew2014-09-24
|\
* | Remove dead method argumentGravatar Dan Liew2014-09-24
* | Remove dead codeGravatar Dan Liew2014-09-24
* | Let the SMT lib convert models to Z3-like modelsGravatar Dan Liew2014-09-24
| * (Subhajit) Added an interface for InterpolatingTheoremProverGravatar akashlal2014-09-24
| * minor fixGravatar akashlal2014-09-24
| * Simple VC generation for SIGravatar akashlal2014-09-24
|/
* Fixed assertion violation.Gravatar wuestholz2014-09-23
* 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
* minor fix to abshoudini's handling of quantifiersGravatar akashlal2014-09-20
* a small fix to prefix calculationGravatar qadeer2014-09-19
* a bug fix in Houdini (also AbsHoudini)Gravatar qadeer2014-09-19
* Patch by Jeroen Ketema.Gravatar Dan Liew2014-09-19
* Fixed minor issue.Gravatar wuestholz2014-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
* fixed a crashGravatar qadeer2014-09-16
* 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
* mergeGravatar qadeer2014-08-08
|\
* | fixed codexpr bug reported by Michael Emmi; removed special handling of codex...Gravatar qadeer2014-08-08
| * Bug fix in SIGravatar akashlal2014-08-03
| * 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
* | Changed how canceled tasks are dealt with.Gravatar wuestholz2014-07-31
* | removed /doNotUseParallelismGravatar qadeer2014-07-30
* | Made it bound the number of executing tasks by the number of cores specified ...Gravatar wuestholz2014-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
| * | Some simplificationsGravatar akashlal2014-07-28
| * | Helper proceduresGravatar akashlal2014-07-28
|/ /
* | ExplainHoudini change to add reasons for inconsistency as well.Gravatar shuvendu2014-07-27
* | Fix bug where Visitors could not visit Requires or Ensures becauseGravatar Dan Liew2014-07-27
* | deleted the free assume about gates after parallel callsGravatar qadeer2014-07-26
|/
* enabled merging of yield callsGravatar qadeer2014-07-20
* added support for facoring out calls to yield checkers; this will help avoid ...Gravatar qadeer2014-07-20
* MergeGravatar qadeer2014-07-15
|\
* | updated the linear type system based on Chris' design with linear, linear_in,...Gravatar qadeer2014-07-15
| * Fix nasty bug introduced by commit 61a94f409975.Gravatar Dan Liew2014-07-15
|/
* fixed a regression failureGravatar qadeer2014-07-15
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-30 21:54:11 +0000