Activity
From 07/09/2017 to 08/07/2017
07/27/2017
- 10:46 PM Revision 6a078e8a (lustrec): C backend: solved the issue of long name in generated binaries.
- 10:43 PM Revision 0a10042e (lustrec): Normalization: force normalization of "every" arguments
- 07:44 PM Revision f76eae4f (lustrec): first solution to address very large identifiers in node names, logs, and generated binaries
07/21/2017
07/20/2017
- 10:21 PM Revision 714bb286 (lustrec): Merge branch 'dynamic_inlining' into unstable
- 10:20 PM Revision 264a4844 (lustrec): First working version of algebraic loop resolution. Disabled by default.
07/18/2017
- 10:07 PM Revision 12c62417 (lustrec): [EMF} missing brace
- 10:01 PM Revision 9f158b2b (lustrec): [EMF] missing quotes
- 09:59 PM Revision 23ce017b (lustrec): Ongoing work
- 05:19 PM Revision e1ef00d0 (lustrec): Merge branch 'unstable' into dynamic_inlining
- 09:24 AM Revision 568b5a26 (lustrec): [EMF] improved alignement of braces + solved (naother) bug in shortening of ids
- 06:15 AM Revision 333f42fd (lustrec): [EMF] more hash
- 05:15 AM Revision 049f3b17 (lustrec): Merge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec into unstable
- 05:14 AM Revision 329774de (lustrec): [EMF] bug solved, some ids were not hashed
- 01:59 AM Revision 714588bf (lustrec): ange ID length
- 12:42 AM Revision def94a59 (lustrec): blup
- 12:37 AM Revision 9f231bff (lustrec): [EMF] simplify branches with single case as regular instructions
- 12:09 AM Revision 43b5fabc (lustrec): [EMF] Disable join of guards in EMF backend
- 12:04 AM Revision 9094307a (lustrec): Working on algebraic loop diagnostic and resolution
- 12:03 AM Revision e7cc5186 (lustrec): Refactor error printing.
07/14/2017
- 11:02 PM Revision fbad3c4b (lustrec): [EMF] protect machine names
- 10:51 PM Revision 69c8d06c (lustrec): [EMF] protect more field
- 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.
- 06:32 AM Revision 40ad675e (lustrec): A math library for some functions used in Simulink
- 06:30 AM Revision 30f46c0c (lustrec): Renamed math lib into lustrec_math to avoid conflicting calls to <math.h>
07/13/2017
- 06:40 PM Revision 212d6eff (lustrec): [HORN] handled asserts in stateless node step rule definition
- 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/... - 08:41 AM Revision 7352a936 (lustrec): Addressing node calls in asserts
- 01:00 AM Revision ef8a361a (lustrec): Provides type compatible with Matlab types in EMF backend
07/12/2017
- 09:06 PM Revision 01b501ca (lustrec): [EMF backend] Merging branches
- 09:06 PM Revision 13507742 (lustrec): Refactored some code: optimization of machine
07/11/2017
- 08:09 AM Revision 1b721bfd (lustrec): bug fixed: Inputs for branches solved
- 01:16 AM Revision 2823bc51 (lustrec): Proper integer index for enumerated branches
- 01:07 AM Revision c82ea2ca (lustrec): Enumerated datatypes as integer
07/10/2017
- 11:43 PM Revision 2475c9e8 (lustrec): Refactored EMF backend. Handle now the call to existing math and conv libraries
- 06:52 PM Revision dd71e482 (lustrec): EMF backend: each branch provides the inputs and outputs
- 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.
- 05:14 PM Revision a6b58a46 (lustrec): Merge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec into unstable
- 05:03 PM Revision ab1c9ed2 (lustrec): small modifs in EMF format
Also available in: Atom