Roadmap

Milestone: Expi2Java 1.6

2 years late (09/30/2009 12:00:00 AM)

40%

Number of tickets:
closed:
2
active:
3
Total:
5

Implement Symbolic Library, complete TLS implementation, some code generation improvements

  • Automatically generate implementation of the Symbolic Library (ticket:54)
  • TLS: Verify more interesting properties (ticket:55)
  • Check imports on code generation (ticket:26)
  • TLS: Implement a fully compliant implementation (ticket:44, ticket:45)

Milestone: Remote Future

No date set

14%

Number of tickets:
closed:
1
active:
6
Total:
7

One day all dreams become true...

Note: See TracRoadmap for help on using the roadmap.