Project

General

Profile

Activity

From 01/08/2016 to 02/06/2016

02/02/2016

06:56 PM Revision 9a3c3d8f (lustrec): on joue avec l'affiche des floats
Pierre-Loïc Garoche
06:55 PM Lustrec-Tests Revision 0c2a0d1b (lustrec-tests): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustre...
Pierre-Loïc Garoche
06:54 PM Lustrec-Tests Revision 8ff8fd6c (lustrec-tests): tawoa
Xavier Thirioux
06:39 PM Revision 5f19a168 (lustrec): Merge branch 'horn_encoding' of https://cavale.enseeiht.fr/git/lustr...
Xavier Thirioux
06:36 PM Revision 0644d1d5 (lustrec): Merge branch 'master' into horn_encoding
Xavier Thirioux
06:35 PM Revision 60aab16d (lustrec): Bug solved in automaton part
Xavier Thirioux

01/21/2016

12:08 AM Revision e6b57182 (lustrec): Enable the use of inlining with reset
Pierre-Loïc Garoche
09:18 PM Revision 57f27fe1 (lustrec): Bug solved: issues when generation traceability annotation in normal...
Pierre-Loïc Garoche
04:40 PM Lustrec-Tests Revision ca6eb7e0 (lustrec-tests): Generated file in Horn
Pierre-Loïc Garoche

01/19/2016

01:36 PM Revision 0aa82be6 (lustrec): travis 6
Teme Kahsai
12:42 PM Revision 12e35056 (lustrec): - Lots of modification wrt clocks: cleanup of old Prelude clocks
- Better print of variables clocks, enable the recompilation of models obtained with -lustre backend Pierre-Loïc Garoche
11:06 AM Revision ba8ea359 (lustrec): Merge branch 'master' into horn_encoding
Pierre-Loïc Garoche
11:04 AM Revision 6b686ae9 (lustrec): - Print the range before/after the transformation of the expression
- Use %e to print floating point error Pierre-Loïc Garoche

01/18/2016

08:52 PM Revision c95fa0fe (lustrec): travis 4
Teme Kahsai
08:44 PM Revision 3de1d821 (lustrec): travis 3
Teme Kahsai
08:34 PM Revision 9c68a71d (lustrec): travis 2
Teme Kahsai
08:25 PM Revision 01ba35c3 (lustrec): travis
Teme Kahsai
08:19 PM Revision 868650b1 (lustrec): travis
Teme Kahsai
08:11 PM Revision 2b360f46 (lustrec): Merge branch 'master' of https://github.com/coco-team/lustrec
Teme Kahsai
08:11 PM Revision 90b53926 (lustrec): travis
Teme Kahsai
08:08 PM Revision 70a6ee5a (lustrec): travis
Teme Kahsai

01/15/2016

04:38 PM Lustrec-Tests Revision ce7b20c9 (lustrec-tests): new version
Xavier Thirioux
04:20 PM Lustrec-Tests Revision 202090d4 (lustrec-tests): more details
Pierre-Loïc Garoche
04:18 PM Lustrec-Tests Revision 006b37e0 (lustrec-tests): more details
Pierre-Loïc Garoche
12:47 PM Revision a65e4273 (lustrec): commit work in progress
Xavier Thirioux
12:35 PM Lustrec-Tests Revision cab90631 (lustrec-tests): microwave basic
Pierre-Loïc Garoche
10:49 AM Lustrec-Tests Revision f20dc4db (lustrec-tests): mini automata
Pierre-Loïc Garoche

01/08/2016

05:37 PM Revision ca88e660 (lustrec): Resolved conflict when merging salsa with horn_encoding. The current...
Pierre-Loïc Garoche
03:02 PM Revision aa3240b6 (lustrec): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec
Xavier Thirioux
03:00 PM Revision 5775ac97 (lustrec): bug correction in automata.ml (order of assigned variables was not a...
Xavier Thirioux
01:41 PM Revision f0bff3e5 (lustrec): Merge branch 'salsa' into merge_salsa_horn_2
Postponed conflicts to be solved
Conflicts:
src/_tags
src/backends/Horn/horn_backend.ml
src/machine_code.ml
src/m...
Pierre-Loïc Garoche
 

Also available in: Atom