Timeline

02/24/11:

14:19 WikiStart edited by mek

Removed Sub Projects section and added the JCSE link to thoughts (diff)

14:18 WikiStart edited by mek

Removed my JCSE links from the links section and created a new … (diff)

14:06 WikiStart edited by mek

Added a link under the Links section for JCSE (parallel DFS) (diff)

01/30/11:

11:43 Ticket #105 (Add support for new statements: pushassumption, popassumption) closed by Stephen Siegel

wontfix: The functionality that is required for (say) the loop technique is …

11:41 Ticket #106 (Simplify print in model package) closed by Stephen Siegel

fixed: Done.

11:28 Ticket #172 (Add check for the -inputX=N options) closed by Stephen Siegel

fixed: Done in Runner.java.

10:50 Ticket #262 (Make .externalToolBuilders/Ant_Builder.launch generic) closed by Stephen Siegel

fixed: Changed Ant Builder to use system variable for project directory …

10:30 Ticket #103 (problem with build) closed by Stephen Siegel

fixed: I set up Ant builder to launch automatically when changes are made. …