summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Some bugs in yieldtypesafe fixedGravatar kuruis2013-12-29
* yieldtypesafe and yieldreachability automatons are separated.Gravatar kuruis2013-12-29
* fixed vc generation so that even when builtin array functions are used,Gravatar qadeer2013-12-28
* Fixed a bug regarding the treatment of old() in stable procedures. The imple...Gravatar qadeer2013-12-26
* fixed a bug in mover checking; wasn't generating enough commutativity checksGravatar qadeer2013-12-25
* MergeGravatar qadeer2013-12-24
|\
* | more bug fixesGravatar qadeer2013-12-24
| * Regex fixed after discussion with ShazGravatar kuruis2013-12-24
* | MergeGravatar qadeer2013-12-23
|\|
* | updatesGravatar qadeer2013-12-23
| * Automata debugging done on YieldTypeChecker.Gravatar kuruis2013-12-23
|/
* more bug fixesGravatar qadeer2013-12-22
* bug fixes in Duplicate.cs and parsing of invariant attributesGravatar qadeer2013-12-22
* strengthened type checking w.r.t. qed vs non-qed global variablesGravatar qadeer2013-12-21
* more refactoring of the concurrency stuffGravatar qadeer2013-12-20
* comparison of phase_num checks updatedGravatar kuruis2013-12-20
* Minor Changes in YieldTypeCheckerGravatar kuruis2013-12-19
* 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
| * Epsilon reduction per phase automaton addedGravatar kuruis2013-12-18
| * Updates on YieldTypeChecker doneGravatar kuruis2013-12-17
| * 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
* | regenerated after updating Parser.frameGravatar qadeer2013-12-16
* | added syntax for par call and ParCallCmdGravatar qadeer2013-12-16
* | MergeGravatar qadeer2013-12-14
|\ \
* | | fixed type checking errors in QED stuffGravatar qadeer2013-12-14
| |/ |/|
| * Resolve a concurrency issue (reported by Alex Summers).Gravatar wuestholz2013-12-12
|/
* fixes to type checking codeGravatar qadeer2013-12-11
* Updates on YieldTypeCheckGravatar kuruis2013-12-11
* Remove some (redundant) preconditions to avoid 'ccrewrite' errors.Gravatar wuestholz2013-12-11
* some refactoring of QED stuffGravatar qadeer2013-12-10
* various updatesGravatar qadeer2013-12-09
* MergeGravatar Ally Donaldson2013-12-09
|\
* | Small change related to CVC4 support. Patch by Pantazis DeligiannisGravatar Ally Donaldson2013-12-09
| * Expose certain program transformations in the execution engine to invoke them...Gravatar wuestholz2013-12-09
| * debug hastags are inserted to yieldtypecheckerGravatar kuruis2013-12-08
| * changed the output path for the QED build configuration to the Binaries folderGravatar qadeer2013-12-08
| * The back pred files have been eliminated. The small backpred string is now d...Gravatar qadeer2013-12-08
| * removed bitvector analysis from BoogieGravatar qadeer2013-12-08
|/
* Proper transition tags added for providing language containtment between two ...Gravatar kuruis2013-12-07
* fixed a bug regarding invocation of modsetanalysis w.r.t. OG desugaringGravatar qadeer2013-12-07
* Automata.dll functions are used to create Automata from GraphGravatar kuruis2013-12-06
* Some bugs on yieldtypechecker graph solvedGravatar kuruis2013-12-05
* Building raw graphs of YieldTypeChecker for building Automata is addedGravatar kuruis2013-12-04
* first check inGravatar qadeer2013-12-04
* updated the reference in Concurrency.csproj to Microsoft.Automata.dll (after ...Gravatar qadeer2013-12-02
* forgot to add this fileGravatar qadeer2013-12-02
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-03 11:59:30 +0000