Timeline
03/05/10:
- 12:49 Ticket #102 (Current definitions of kinding and subtyping impossible to debug) created by
- The current definitions of kinding and subtyping are efficient but at the …
- 12:29 Ticket #101 (Support SMT-LIB syntax for FOL formulas) created by
- This would allow us to call Z3 on our formulas -- very efficient! This …
- 12:23 Ticket #21 (Output the typing derivation) closed by
- duplicate
03/04/10:
- 14:19 Changeset [31339] by
- accomodated the template spass for empty forall constructs (removed) …
- 13:57 Changeset [31338] by
- changed the name of type bool to Bool and the constructors are now called …
- 13:51 Changeset [31336] by
- tabs
- 13:50 Changeset [31335] by
- Fixed genckind to allow nullary type constructors.
- 13:35 Changeset [31334] by
- chanced the default config to include bools, fixed accordingly for …
03/03/10:
- 17:39 Changeset [31322] by
- Some of the tests involved in finding the last bug.
- 17:34 Changeset [31321] by
- Fix for the bug in sub (the right fix!)
- 17:29 Changeset [31320] by
- One more horrible bug in sub -- this time it was helping Kim too much :)
- 15:52 Changeset [31313] by
- Added command line flag to not delete temp files holding successfully …
- 15:23 Changeset [31311] by
- proc_case was blindly trusting annotation
02/22/10:
- 15:46 Changeset [30960] by
- Fixed spassparser.mly to accept nullary function symbols (Ticket #100)
- 14:43 Ticket #100 (Support zero-arity constructors (constants)) closed by
- fixed: Missed one fix in spassprint.ml, it's in now.
- 14:42 Changeset [30941] by
- Fixed spassprint.ml (Ticket #100)
- 14:41 Ticket #100 (Support zero-arity constructors (constants)) reopened by
- 14:41 Changeset [30940] by
- one more sample using lists
- 13:22 Ticket #100 (Support zero-arity constructors (constants)) closed by
- fixed: Allowing the user to annotate polymorphic nullary constructors. Looks …
- 13:19 Changeset [30934] by
- Allowing the user to annotate polymorphic nullary constructors (Ticket …
- 12:36 Changeset [30931] by
- Fixed gentemplate.ml (Ticket #100)
- 11:49 Changeset [30926] by
- Support zero-arity constructors (constants) -- Ticket #100
- 11:47 Ticket #100 (Support zero-arity constructors (constants)) created by
- 11:26 WikiStart edited by
- (diff)
Note: See TracTimeline
for information about the timeline view.
