Project

General

Profile

Activity

From 01/02/2017 to 01/31/2017

01/31/2017

11:38 PM Revision c85f5fa5 (lustrec): Starting to initiate a node spec aware backend
Pierre-Loïc Garoche
08:36 PM Revision b183dade (lustrec): Cleaning debug messages
Pierre-Loïc Garoche
08:34 PM Revision 8498b8ac (lustrec): Specific treatment of true/false constant to avoid declaring them as...
Pierre-Loïc Garoche
08:22 PM Revision a6df3992 (lustrec): Working on EMF backend to express cocospec infos as Simulink blocks
Pierre-Loïc Garoche
01:40 AM Revision 5fb5b031 (lustrec): cosmetic changes
Pierre-Loïc Garoche

01/13/2017

02:55 PM Lustrec-Tests Revision 9aa80a95 (lustrec-tests): Example of integration of S-function code into Lustre.
Pierre-Loïc Garoche
01:53 PM Lustrec-Tests Revision 908064d5 (lustrec-tests): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustre...
Pierre-Loïc Garoche
01:53 PM Lustrec-Tests Revision f5c07b4e (lustrec-tests): example of lustre node with external C code
Pierre-Loïc Garoche
01:50 PM Lustrec-Tests Revision 985b4302 (lustrec-tests): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustre...
Pierre-Loïc Garoche
01:17 PM Revision d7e04983 (lustrec): [Horn] Updated traceability of Horn backend to deal with fby (arrow ...
Pierre-Loïc Garoche

01/11/2017

04:44 PM Revision 7ecfca04 (lustrec): Merged the master branch into mutation. Mutation of floats has been ...
Pierre-Loïc Garoche
02:30 PM Revision 84074455 (lustrec): Merge branch 'master' into mutation
Pierre-Loïc Garoche
02:21 PM Revision 10adf56a (lustrec): Merge branch 'master' into mutation
Pierre-Loïc Garoche
02:20 PM Revision b1dcd0f3 (lustrec): Merge branch 'master' into mutation
Conflicts:
_oasis
_tags
configure
myocamlbuild.ml
setup.ml
src/c_backend.ml
src/main_lustre_compiler.ml
src/o...
Pierre-Loïc Garoche
10:02 AM Revision 042dc586 (lustrec): Revert some ocaml code to ocaml 4.01 compatibility
Pierre-Loïc Garoche

01/10/2017

12:40 AM Revision 3ebf9aa2 (lustrec): Remove generated files (.h for include for as well as .in files of c...
Pierre-Loïc Garoche
12:28 AM Revision dcafc99b (lustrec): Merge branch 'github_master' into integ_github_jan10
Intregrate all modifs by Teme et al Pierre-Loïc Garoche
01:53 PM Revision 86ae18b7 (lustrec): Import of all Teme's modification from the github repo.
Pierre-Loïc Garoche
01:35 PM Revision 60f23302 (lustrec): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec
Pierre-Loïc Garoche
01:35 PM Revision 6fa45cb6 (lustrec): Changed the generated C file to produce input and output csv files (...
Pierre-Loïc Garoche
01:33 PM Revision d4fa080e (lustrec): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec
Pierre-Loïc Garoche
01:33 PM Revision fce0c270 (lustrec): automata_spec
Pierre-Loïc Garoche

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
 

Also available in: Atom