Timeline

View changes from
going back days
by author

Milestones completed Tickets opened and closed Repository changesets Wiki changes

05/22/11:

15:02 Summer 2011 edited by Stephen Siegel

(diff)

15:01 Summer 2011 created by Stephen Siegel

14:50 WikiStart edited by Stephen Siegel

(diff)

14:49 WikiStart edited by Stephen Siegel

(diff)

14:47 AST edited by Stephen Siegel

(diff)

05/16/11:

18:35 Ticket #293 (Handle casts in simplifier) closed by Stephen Siegel

fixed: new substituter used.

05/04/11:

12:23 Ticket #293 (Handle casts in simplifier) created by zirkel

Currently, the simplifier will not simplify values that have been …

04/25/11:

14:21 AST edited by Stephen Siegel

(diff)

14:07 AST edited by Stephen Siegel

(diff)

13:35 AST edited by Stephen Siegel

(diff)

04/23/11:

11:33 AST edited by Stephen Siegel

(diff)

11:19 AST edited by Stephen Siegel

(diff)

11:04 AST edited by Stephen Siegel

(diff)

10:54 AST edited by Stephen Siegel

(diff)

10:52 AST edited by Stephen Siegel

(diff)

10:52 AST edited by Stephen Siegel

(diff)

04/22/11:

22:12 AST edited by Stephen Siegel

(diff)

21:20 AST edited by Stephen Siegel

(diff)