-
Notifications
You must be signed in to change notification settings - Fork 3
jStar Development
rgrig edited this page Sep 24, 2010
·
3 revisions
Release on Halloween with:
- framework (aka backend), java frontend, eclipse plugin (Daiva)
- documentation for each of these pieces
- integration with SMT (Mike)
- an intermediate language (Mike)
- 'constructor' keyword for spec files (Mike)
- A friendlier CLI (Radu)
- Don't blindly follow rules.
- When in doubt, see what the OCaml compiler guys do. (I am particularly fond of their short lines and indenting style.)
- Try to review as many commits (by others) as possible. If a general issue ends up being discussed, consider recording the result here.
- Must have commented mli files.