Project

General

Profile

Activity

From 07/12/2017 to 08/10/2017

07/27/2017

10:46 PM Revision 6a078e8a (lustrec): C backend: solved the issue of long name in generated binaries.
Pierre-Loïc Garoche
10:43 PM Revision 0a10042e (lustrec): Normalization: force normalization of "every" arguments
Pierre-Loïc Garoche
07:44 PM Revision f76eae4f (lustrec): first solution to address very large identifiers in node names, logs...
Pierre-Loïc Garoche

07/21/2017

08:48 PM Revision 8f0e9f74 (lustrec): [EMF] improved feedback on reset calls
Pierre-Loïc Garoche

07/20/2017

10:21 PM Revision 714bb286 (lustrec): Merge branch 'dynamic_inlining' into unstable
Pierre-Loïc Garoche
10:20 PM Revision 264a4844 (lustrec): First working version of algebraic loop resolution. Disabled by defa...
Pierre-Loïc Garoche

07/18/2017

10:07 PM Revision 12c62417 (lustrec): [EMF} missing brace
Pierre-Loïc Garoche
10:01 PM Revision 9f158b2b (lustrec): [EMF] missing quotes
Pierre-Loïc Garoche
09:59 PM Revision 23ce017b (lustrec): Ongoing work
Pierre-Loïc Garoche
05:19 PM Revision e1ef00d0 (lustrec): Merge branch 'unstable' into dynamic_inlining
Pierre-Loïc Garoche
09:24 AM Revision 568b5a26 (lustrec): [EMF] improved alignement of braces + solved (naother) bug in shorte...
Pierre-Loïc Garoche
06:15 AM Revision 333f42fd (lustrec): [EMF] more hash
Pierre-Loïc Garoche
05:15 AM Revision 049f3b17 (lustrec): Merge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec in...
Pierre-Loïc Garoche
05:14 AM Revision 329774de (lustrec): [EMF] bug solved, some ids were not hashed
Pierre-Loïc Garoche

07/17/2017

01:59 AM Revision 714588bf (lustrec): ange ID length
Bourbouh
12:42 AM Revision def94a59 (lustrec): blup
Pierre-Loïc Garoche
12:37 AM Revision 9f231bff (lustrec): [EMF] simplify branches with single case as regular instructions
Pierre-Loïc Garoche
12:09 AM Revision 43b5fabc (lustrec): [EMF] Disable join of guards in EMF backend
Pierre-Loïc Garoche
12:04 AM Revision 9094307a (lustrec): Working on algebraic loop diagnostic and resolution
Pierre-Loïc Garoche
12:03 AM Revision e7cc5186 (lustrec): Refactor error printing.
Pierre-Loïc Garoche

07/14/2017

11:02 PM Revision fbad3c4b (lustrec): [EMF] protect machine names
Pierre-Loïc Garoche
10:51 PM Revision 69c8d06c (lustrec): [EMF] protect more field
Pierre-Loïc Garoche
07:32 AM Revision 785b64f9 (lustrec): [EMF] Protecting print of names to ensure a length < 50. Remove the ...
Pierre-Loïc Garoche
06:32 AM Revision 40ad675e (lustrec): A math library for some functions used in Simulink
Pierre-Loïc Garoche
06:30 AM Revision 30f46c0c (lustrec): Renamed math lib into lustrec_math to avoid conflicting calls to <ma...
Pierre-Loïc Garoche

07/13/2017

06:40 PM Revision 212d6eff (lustrec): [HORN] handled asserts in stateless node step rule definition
Pierre-Loïc Garoche
05:47 PM Revision 07ceae4c (lustrec): [HORN] Protect names of stateless nodes with a _fun suffix. This was...
[HORN] Better treatment of stateless nodes collecting semantics
Fixes issue #13 on github: https://github.com/...
Pierre-Loïc Garoche
08:41 AM Revision 7352a936 (lustrec): Addressing node calls in asserts
Pierre-Loïc Garoche

07/12/2017

01:00 AM Revision ef8a361a (lustrec): Provides type compatible with Matlab types in EMF backend
Pierre-Loïc Garoche
09:06 PM Revision 01b501ca (lustrec): [EMF backend] Merging branches
Pierre-Loïc Garoche
09:06 PM Revision 13507742 (lustrec): Refactored some code: optimization of machine
Pierre-Loïc Garoche
 

Also available in: Atom