Activity
From 12/12/2016 to 01/10/2017
01/10/2017
- 01:53 PM Revision 86ae18b7 (lustrec): Import of all Teme's modification from the github repo.
- 01:35 PM Revision 60f23302 (lustrec): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec
- 01:35 PM Revision 6fa45cb6 (lustrec): Changed the generated C file to produce input and output csv files (named inXX and outXX)
- 01:33 PM Revision d4fa080e (lustrec): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec
- 01:33 PM Revision fce0c270 (lustrec): automata_spec
01/06/2017
- 08:04 PM Revision d128bbd4 (lustrec): fixed sfunction detetction
- 08:53 AM Revision e301f1fb (lustrec): missing files
- 08:11 AM Revision 9f77bff7 (lustrec): adding math.smt2
01/04/2017
- 12:32 AM Revision 0a6648a3 (lustrec): Double call to main function. Wasa clearly a typo
- 12:30 AM Revision 44ce4da8 (lustrec): Solved some issues with commited code (like it doesn't compile). The code was written by Teme's student and
- - did not rely on existing typing.ml function
- used strange fprintf code
Code was refactored but old stuff kept in ... - 12:28 AM Revision 0bb94b98 (lustrec): I can't recall where we use ocamlgraph
- 12:25 AM Revision ec4fe7f7 (lustrec): removed myocamlbuild.ml. Seems unused
12/30/2016
- 10:47 PM Revision e057dd08 (lustrec): adjusting travis
- 09:29 PM Revision 08a87104 (lustrec): Merge pull request #7 from SerkerN/master
- Arrays
- 09:29 PM Revision 7ad4ff7c (lustrec): Merge branch 'master' into master
- 09:20 PM Revision 1b57e111 (lustrec): adding sfunction support
12/29/2016
12/28/2016
- 01:31 AM Revision 7db425aa (lustrec): adding missing stuff
- 01:00 AM Revision fc476249 (lustrec): adding -I options to lustrec
12/21/2016
- 05:06 PM Revision 59ac5058 (lustrec): Post 1.3 dev
- 05:04 PM Revision dd74ca16 (lustrec): Document release process
- release 1.3 Xia/Zhong-Kang
- 04:34 PM Revision bf930280 (lustrec): Prepare 1.3 release
12/20/2016
Also available in: Atom