Commit History

Author SHA1 Message Date
  Chimrod b7964befd0 Added the git revision in the code 1 year ago
  Chimrod 40f7b4c739 Switched to sedlex instead of ocamllex 1 year ago
  Chimrod b65767c276 Name clash correction 1 year ago
  Chimrod 000d8bcc95 Renamed the main application 1 year ago
  Chimrod c2fdbf2eb9 Added a type checker 1 year ago
  Chimrod bd9d82035b first commit 1 year ago