summaryrefslogtreecommitdiff
path: root/Test
Commit message (Expand)AuthorAge
* bug fix in handling of parallel callGravatar qadeer2014-01-20
* updatesGravatar qadeer2014-01-16
* MergeGravatar qadeer2014-01-16
|\
* | updating treiber stackGravatar qadeer2014-01-16
| * yields with invariants factored out into Yield12Gravatar stasiran2014-01-16
|/
* InsertPair added.Gravatar stasiran2014-01-15
* Added Treiber stack (not yet readable by QED version of Boogie.)Gravatar stasiran2014-01-15
* Added Multiset benchmarkGravatar stasiran2014-01-15
* added more information to assert messagesGravatar qadeer2014-01-14
* small update to the exampleGravatar qadeer2014-01-09
* a fix regarding the checking of assertions in atomic specs at call sitesGravatar qadeer2014-01-08
* MergeGravatar qadeer2014-01-07
|\
* | first cut of refinement checkingGravatar qadeer2014-01-07
| * added a test to check for stackoverflowexceptionGravatar akashlal2014-01-07
| * Recursive walking of Exprs doesn't play nice when the depth of the AST is high.Gravatar akashlal2014-01-07
|/
* another fixGravatar qadeer2014-01-02
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-29 13:16:29 +0000