From 01/19/2016 to 02/17/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
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 into horn_encoding
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


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 normalization
Pierre-Loïc Garoche
04:40 PM Lustrec-Tests Revision ca6eb7e0 (lustrec-tests): Generated file in Horn
Pierre-Loïc Garoche


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

Also available in: Atom