summaryrefslogtreecommitdiff
path: root/Test
Commit message (Expand)AuthorAge
...
* some more fixes to examplesGravatar qadeer2014-01-02
* more fixesGravatar qadeer2014-01-02
* some more fixesGravatar qadeer2014-01-02
* fixed examples to deal with yield type checking errorsGravatar qadeer2014-01-01
* made some fixesGravatar qadeer2013-12-29
* more bug fixesGravatar qadeer2013-12-24
* updatesGravatar qadeer2013-12-23
* more bug fixesGravatar qadeer2013-12-22
* bug fixes in Duplicate.cs and parsing of invariant attributesGravatar qadeer2013-12-22
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-03 16:20:53 +0000