summaryrefslogtreecommitdiff
path: root/Test
Commit message (Expand)AuthorAge
* removed files not being used any moreGravatar qadeer2013-12-19
* MergeGravatar qadeer2013-12-19
|\
* | various updates and tighter integration of QED stuff into mainlineGravatar qadeer2013-12-19
| * Fixed another :never_pattern bug related to nested quantifiersGravatar Rustan Leino2013-12-16
| * MergeGravatar Rustan Leino2013-12-16
| |\ | |/ |/|
| * Fixed bug in never_pattern functionality. In the new design, never_pattern d...Gravatar Rustan Leino2013-12-16
* | added syntax for par call and ParCallCmdGravatar qadeer2013-12-16
* | fixed type checking errors in QED stuffGravatar qadeer2013-12-14
|/
* fixes to type checking codeGravatar qadeer2013-12-11
* some refactoring of QED stuffGravatar qadeer2013-12-10
* fixed a bug regarding invocation of modsetanalysis w.r.t. OG desugaringGravatar qadeer2013-12-07
* first check inGravatar qadeer2013-12-04
* Patch by Nathan Chong: iterative version of remove empty blocks algorithm. T...Gravatar Ally Donaldson2013-12-02
* do monomorphic checkingGravatar qadeer2013-11-22
* and a test caseGravatar akashlal2013-10-25
* And a test caseGravatar akashlal2013-10-21
* fixed bug introduced by the last checkin in letvciterativeGravatar qadeer2013-09-08
* fixed the linear type checking related to globalsGravatar qadeer2013-09-04
* inlining is now done in rhs of assignments for codeexprsGravatar qadeer2013-08-15
* Extended codeexpr inlining to deal with nested codeexprGravatar qadeer2013-08-15
* cleaned up the OG codeGravatar qadeer2013-08-07
* Added test cases for symdiff (z3multipleErrors flag)Gravatar Unknown2013-07-30
* Make the dependency analysis for snapshot verification take 'where' clauses i...Gravatar wuestholz2013-07-30
* added types for all the expressions being added to callsGravatar qadeer2013-07-29
* fix in the answerGravatar Pantazis Deligiannis2013-07-22
* fixGravatar Pantazis Deligiannis2013-07-22
* mergeGravatar Pantazis Deligiannis2013-07-19
* MergeGravatar Pantazis Deligiannis2013-07-15
|\
* | added another regressionGravatar qadeer2013-07-15
* | 1. changed values passed to additional parameters to procedures; async and pa...Gravatar qadeer2013-07-14
* | Added an attribute to set the time limit for implementations.Gravatar wuestholz2013-07-12
| * added python scripts (work in unix and windows) for testing Z3 and CVC4 to ma...Gravatar Pantazis Deligiannis2013-07-07
* | Added an option to verify each input file separately.Gravatar wuestholz2013-07-05
|/
* Added support in the abstract interpreter for an attribute {:identity}, which...Gravatar Rustan Leino2013-07-05
* AbsHoudini: Few more abstract domainsGravatar akashlal2013-06-16
* AbsHoudini: added an implication domainGravatar akashlal2013-06-15
* Worked on improving program snapshot verification (automatic prioritization).Gravatar wuestholz2013-06-12
* Worked on improving program snapshot verification.Gravatar wuestholz2013-06-10
* Worked on improving program snapshot verification.Gravatar wuestholz2013-06-05
* Fixed an issue with discovering program snapshots.Gravatar wuestholz2013-06-03
* Added a feature for verifying several program snapshots (incl. result caching...Gravatar wuestholz2013-06-02
* MergeGravatar Rustan Leino2013-05-30
|\
* | Fixed bug in Interval abstract domain (pertaining to unary negation)Gravatar Rustan Leino2013-05-30
| * Changed the prover interface to report traces for time outs and out of memory.Gravatar wuestholz2013-05-30
|/
* Fixed bug in the cutting of back edges (that manifested itself whenever the f...Gravatar Rustan Leino2013-05-29
* MergeGravatar akashlal2013-05-27
|\
| * AbsHoudini: Added support for quantifiersGravatar akashlal2013-05-27
* | Changed the 'CounterexampleComparer' to take traces into account.Gravatar wuestholz2013-05-26
|/
* fixed bug in reporting the number of typechecking errorsGravatar Unknown2013-05-22
* reworked the linear and og implementation based on available variables theoryGravatar Unknown2013-05-18
generated by cgit v1.2.3 (git 2.39.1) at 2024-08-22 02:22:02 +0000