Fixed bug in AbstractPassivator. |
|
More...
|
over 14 years ago
|
fixed compile errors |
|
More...
|
over 14 years ago
|
Snapshot to continue from home. |
|
More...
|
over 14 years ago
|
BUG: passivator generated non-tree AST. |
|
More...
|
over 14 years ago
|
Cosmetic. |
|
More...
|
over 14 years ago
|
Fixed bug in AbstractPassivator. |
|
More...
|
over 14 years ago
|
Fixed dot output (removed \n). |
|
More...
|
over 14 years ago
|
Removed packages astutil and dumpers. |
|
More...
|
over 14 years ago
|
Typecheck cast. |
|
More...
|
over 14 years ago
|
Typecheck == according to the new rules. |
|
More...
|
over 14 years ago
|
Test for typechecker. |
|
More...
|
over 14 years ago
|
Pretty-printing type tuples. |
|
More...
|
over 14 years ago
|
Typechecking of Boogie 2 quantifiers. |
|
More...
|
over 14 years ago
|
Changed svn:ignore to reflect the new build.xml. |
|
More...
|
over 14 years ago
|
TypeDesugarer seems to work. |
|
More...
|
over 14 years ago
|
Exceptions for errors. |
|
More...
|
over 14 years ago
|
Generated files go to different directories. |
|
More...
|
over 14 years ago
|
Plan for reorganizing the typechecker info. |
|
More...
|
over 14 years ago
|
After small tests of TypeDesugarer. |
|
More...
|
over 14 years ago
|
Type synonyms cycle check. |
|
More...
|
over 14 years ago
|
Sensible TypeDesugarer and tests. |
|
More...
|
over 14 years ago
|
Fixed type errors in TypeDesugarer. |
|
More...
|
over 14 years ago
|
Small teaks. |
|
More...
|
over 14 years ago
|
Fixed package of Activator. |
|
More...
|
over 14 years ago
|
Removed executable flag on two text files. |
|
More...
|
over 14 years ago
|
An Eclipse plugin that does syntax highlighting for Boogie 2. |
|
More...
|
over 14 years ago
|
Started TypeDesugarer (which gets rid of type synonyms) |
|
More...
|
over 14 years ago
|
Typechecking for bitvectors. |
|
More...
|
over 14 years ago
|
FlowGraphMaker handles 'break'. |
|
More...
|
over 14 years ago
|
Fixed a bug in FlowGraphMaker. |
|
More...
|
over 14 years ago
|