Open Hub
Black Duck Open Hub

 Settings |  Report Duplicate

0
I Use This!
Inactive

Commits : Listings

Analyzed about 3 hours ago. based on code collected about 6 hours ago.
Apr 24, 2023 — Apr 24, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Fixed bug in AbstractPassivator.
rgrig
as radugrigore
More... over 14 years ago
fixed compile errors
rgrig
as radugrigore
More... over 14 years ago
Snapshot to continue from home.
rgrig
as radugrigore
More... over 14 years ago
BUG: passivator generated non-tree AST.
rgrig
as radugrigore
More... over 14 years ago
Cosmetic.
rgrig
as radugrigore
More... over 14 years ago
Fixed bug in AbstractPassivator.
rgrig
as radugrigore
More... over 14 years ago
Fixed dot output (removed \n).
rgrig
as radugrigore
More... over 14 years ago
Removed packages astutil and dumpers.
rgrig
as radugrigore
More... over 14 years ago
Typecheck cast.
rgrig
as radugrigore
More... over 14 years ago
Typecheck == according to the new rules.
rgrig
as radugrigore
More... over 14 years ago
Test for typechecker.
rgrig
as radugrigore
More... over 14 years ago
Pretty-printing type tuples.
rgrig
as radugrigore
More... over 14 years ago
Typechecking of Boogie 2 quantifiers.
rgrig
as radugrigore
More... over 14 years ago
Changed svn:ignore to reflect the new build.xml.
rgrig
as radugrigore
More... over 14 years ago
TypeDesugarer seems to work.
rgrig
as radugrigore
More... over 14 years ago
Exceptions for errors.
rgrig
as radugrigore
More... over 14 years ago
Generated files go to different directories.
rgrig
as radugrigore
More... over 14 years ago
Plan for reorganizing the typechecker info.
rgrig
as radugrigore
More... over 14 years ago
After small tests of TypeDesugarer.
rgrig
as radugrigore
More... over 14 years ago
Type synonyms cycle check.
rgrig
as radugrigore
More... over 14 years ago
Sensible TypeDesugarer and tests.
rgrig
as radugrigore
More... over 14 years ago
Fixed type errors in TypeDesugarer.
rgrig
as radugrigore
More... over 14 years ago
Small teaks.
rgrig
as radugrigore
More... over 14 years ago
Fixed package of Activator.
rgrig
as radugrigore
More... over 14 years ago
Removed executable flag on two text files.
rgrig
as radugrigore
More... over 14 years ago
An Eclipse plugin that does syntax highlighting for Boogie 2.
rgrig
as radugrigore
More... over 14 years ago
Started TypeDesugarer (which gets rid of type synonyms)
rgrig
as radugrigore
More... over 14 years ago
Typechecking for bitvectors.
rgrig
as radugrigore
More... over 14 years ago
FlowGraphMaker handles 'break'.
rgrig
as radugrigore
More... over 14 years ago
Fixed a bug in FlowGraphMaker.
rgrig
as radugrigore
More... over 14 years ago