Project

General

Profile

Activity

From 12/08/2016 to 01/06/2017

01/06/2017

08:04 PM Revision d128bbd4 (lustrec): fixed sfunction detetction
Teme Kahsai
08:53 AM Revision e301f1fb (lustrec): missing files
Teme Kahsai
08:11 AM Revision 9f77bff7 (lustrec): adding math.smt2
Teme Kahsai

01/03/2017

12:32 AM Revision 0a6648a3 (lustrec): Double call to main function. Wasa clearly a typo
Pierre-Loïc Garoche
12:30 AM Revision 44ce4da8 (lustrec): Solved some issues with commited code (like it doesn't compile). The...
- did not rely on existing typing.ml function
- used strange fprintf code
Code was refactored but old stuff kept in ...
Pierre-Loïc Garoche
12:28 AM Revision 0bb94b98 (lustrec): I can't recall where we use ocamlgraph
Pierre-Loïc Garoche
12:25 AM Revision ec4fe7f7 (lustrec): removed myocamlbuild.ml. Seems unused
Pierre-Loïc Garoche

12/30/2016

10:47 PM Revision e057dd08 (lustrec): adjusting travis
Teme Kahsai
09:29 PM Revision 08a87104 (lustrec): Merge pull request #7 from SerkerN/master
Arrays Teme Kahsai
09:29 PM Revision 7ad4ff7c (lustrec): Merge branch 'master' into master
Teme Kahsai
09:20 PM Revision 1b57e111 (lustrec): adding sfunction support
Teme Kahsai

12/29/2016

07:18 AM Revision 2dd3d358 (lustrec): making library statically link to horn backend
Teme Kahsai

12/28/2016

01:31 AM Revision 7db425aa (lustrec): adding missing stuff
Teme Kahsai
01:00 AM Revision fc476249 (lustrec): adding -I options to lustrec
Teme Kahsai

12/21/2016

05:06 PM Revision 59ac5058 (lustrec): Post 1.3 dev
Frederic Boniol
05:04 PM Revision dd74ca16 (lustrec): Document release process
Frederic Boniol
04:55 PM lustrec-1.3-Xia-Zhong-Kang-src.tgz
release 1.3 Xia/Zhong-Kang Frederic Boniol
04:34 PM Revision bf930280 (lustrec): Prepare 1.3 release
Frederic Boniol

12/20/2016

05:51 PM Revision 641493cf (lustrec): Suppress some commented code
Eric NOULARD
04:18 PM Revision ecba3795 (lustrec): add lusi option
Frederic Boniol

12/08/2016

05:55 PM Revision 822f31e1 (lustrec): updating to onera version 30f766a:2016-12-04
Teme Kahsai
05:46 PM Revision 323c5b19 (lustrec): updating to onera version 30f766a:2016-12-04
Teme Kahsai
05:37 PM Revision 3b2bd83d (lustrec): updating to onera version 30f766a:2016-12-04
Teme Kahsai
 

Also available in: Atom