Project

General

Profile

Activity

From 07/05/2017 to 08/03/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, and generated binaries
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 default.
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 shortening of ids
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 into unstable
Pierre-Loïc Garoche
05:14 AM Revision 329774de (lustrec): [EMF] bug solved, some ids were not hashed
Pierre-Loïc Garoche
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 middle part of the string and inject a hash of it.
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 <math.h>
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 conflicting with existing names in Z3, ie. "abs".
[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
01:00 AM Revision ef8a361a (lustrec): Provides type compatible with Matlab types in EMF backend
Pierre-Loïc Garoche

07/12/2017

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

07/11/2017

08:09 AM Revision 1b721bfd (lustrec): bug fixed: Inputs for branches solved
Pierre-Loïc Garoche
01:16 AM Revision 2823bc51 (lustrec): Proper integer index for enumerated branches
Pierre-Loïc Garoche
01:07 AM Revision c82ea2ca (lustrec): Enumerated datatypes as integer
Pierre-Loïc Garoche

07/10/2017

11:43 PM Revision 2475c9e8 (lustrec): Refactored EMF backend. Handle now the call to existing math and conv libraries
Pierre-Loïc Garoche
06:52 PM Revision dd71e482 (lustrec): EMF backend: each branch provides the inputs and outputs
Pierre-Loïc Garoche
06:04 PM Revision 017eec6a (lustrec): Renamed ISet of Machine_code to VSet: was sets of variable and was conflicting with ISet from Utils which carries strings.
Pierre-Loïc Garoche
05:14 PM Revision a6b58a46 (lustrec): Merge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec into unstable
Bourbouh
05:03 PM Revision ab1c9ed2 (lustrec): small modifs in EMF format
Bourbouh

07/08/2017

05:29 PM Revision 27d18db9 (lustrec): Branchs output in EMF is only the intersection of each branch defined flows
Pierre-Loïc Garoche

07/07/2017

10:53 PM Revision 9f0f88dd (lustrec): Full rewrite of EMF backend.
Pierre-Loïc Garoche
10:52 PM Revision 3436d1a6 (lustrec): New global option to normalize simple call to std lib functions (+,-,*, comparison ops, etc).
This is used in EMF backend. Pierre-Loïc Garoche
07:11 AM Revision 524060b3 (lustrec): Ongoin work on EMF backend. Commit to store a working version. More work to do on clocks and resets
Pierre-Loïc Garoche
 

Also available in: Atom