Commits · bbfbc15a639d94eb8b021a84634c645ff3d071bf · LustreC / Lustrec - public version · GitLab

Snippets Groups Projects

Oct 05, 2017
- json-parser: remove Const_bool and use Const_tag · bbfbc15a
  GARION Christophe authored 7 years ago
  
  bbfbc15a
Oct 03, 2017
- parser-json: clean main program + add pp for vars · 57ecad58
  GARION Christophe authored 7 years ago
  
  57ecad58
- parser-json: correct parsing of real constants for variables · 37290ede
  GARION Christophe authored 7 years ago
  
  37290ede
Oct 02, 2017
- parser-json: add variables in parsing · 04396cc7
  GARION Christophe authored 7 years ago
  
  04396cc7
Sep 26, 2017
- parser-json: final version of parser with new types · eb70bae5
  GARION Christophe authored 7 years ago
  
  eb70bae5
Sep 25, 2017
- minor changes in _tags.in · 18acb6fc
  GARION Christophe authored 7 years ago
  
  18acb6fc
- TMerge branch 'unstable' into json-parser · 15a6823b
  GARION Christophe authored 7 years ago
  
  15a6823b
Sep 23, 2017
- bug correction: each var_decl must be unique and not shared as a global var · 68601cf5
  THIRIOUX Xavier authored 7 years ago
  
  68601cf5
Sep 22, 2017
- [lustresf]: tuple of false values for initial state · c5d45c13
  Pierre Loic Garoche authored 7 years ago
  
  c5d45c13
- A fresh option to print with declared types instead of inferred ones · 74ca6b61
  Pierre Loic Garoche authored 7 years ago
  
  74ca6b61
- parser-json: first steps to integrate JSON parser · bad7b67a
  GARION Christophe authored 7 years ago
  
  bad7b67a
- add files in gitignore · e7b4ba42
  GARION Christophe authored 7 years ago
  
  e7b4ba42
- lustresf: Better construction of lustre ast. Still more work to be done. · 69c96b6c
  Pierre Loic Garoche authored 7 years ago
  
  69c96b6c
- Even prettier pretty printing. Is it even possible to improve? · 27e5a70d
  Pierre Loic Garoche authored 7 years ago
  
  27e5a70d
Sep 21, 2017
- Moved stateflow tool in src/tool · 93119c3f
  Pierre Loic Garoche authored 7 years ago
  
  Updated the makefile to compile lustresf Not working yet
  93119c3f
Sep 15, 2017
- Missing readme file in the import · cb781911
  Pierre Loic Garoche authored 7 years ago
  
  cb781911
- Initial import of stateflow_cps_semantics (github) · 2de7fa82
  Pierre Loic Garoche authored 7 years ago
  
  2de7fa82
Jul 27, 2017
- C backend: solved the issue of long name in generated binaries. · 6a078e8a
  Pierre Loic Garoche authored 7 years ago
  
  6a078e8a
- Normalization: force normalization of "every" arguments · 0a10042e
  Pierre Loic Garoche authored 7 years ago
  
  0a10042e
- first solution to address very large identifiers in node names, logs, and generated binaries · f76eae4f
  Pierre Loic Garoche authored 7 years ago
  
  f76eae4f
Jul 21, 2017
- [EMF] improved feedback on reset calls · 8f0e9f74
  Pierre Loic Garoche authored 7 years ago
  
  8f0e9f74
Jul 20, 2017
- Merge branch 'dynamic_inlining' into unstable · 714bb286
  Pierre Loic Garoche authored 7 years ago
  
  714bb286
- First working version of algebraic loop resolution. Disabled by default. · 264a4844
  Pierre Loic Garoche authored 7 years ago
  
  264a4844
Jul 18, 2017
- [EMF} missing brace · 12c62417
  Pierre Loic Garoche authored 7 years ago
  
  12c62417
- [EMF] missing quotes · 9f158b2b
  Pierre Loic Garoche authored 7 years ago
  
  9f158b2b
- Ongoing work · 23ce017b
  Pierre Loic Garoche authored 7 years ago
  
  23ce017b
- Merge branch 'unstable' into dynamic_inlining · e1ef00d0
  Pierre Loic Garoche authored 7 years ago
  
  e1ef00d0
- [EMF] improved alignement of braces + solved (naother) bug in shortening of ids · 568b5a26
  Pierre Loic Garoche authored 7 years ago
  
  568b5a26
- [EMF] more hash · 333f42fd
  Pierre Loic Garoche authored 7 years ago
  
  333f42fd
- Merge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec into unstable · 049f3b17
  Pierre Loic Garoche authored 7 years ago
  
  049f3b17
- [EMF] bug solved, some ids were not hashed · 329774de
  Pierre Loic Garoche authored 7 years ago
  
  329774de
Jul 17, 2017
- ange ID length · 714588bf
  Hamza Bourbouh authored 7 years ago
  
  714588bf
- blup · def94a59
  Pierre Loic Garoche authored 7 years ago
  
  def94a59
- [EMF] simplify branches with single case as regular instructions · 9f231bff
  Pierre Loic Garoche authored 7 years ago
  
  9f231bff
- [EMF] Disable join of guards in EMF backend · 43b5fabc
  Pierre Loic Garoche authored 7 years ago
  
  43b5fabc
- Working on algebraic loop diagnostic and resolution · 9094307a
  Pierre Loic Garoche authored 7 years ago
  
  9094307a
- Refactor error printing. · e7cc5186
  Pierre Loic Garoche authored 7 years ago
  
  e7cc5186
Jul 14, 2017
- [EMF] protect machine names · fbad3c4b
  Pierre Loic Garoche authored 7 years ago
  
  fbad3c4b
- [EMF] protect more field · 69c8d06c
  Pierre Loic Garoche authored 7 years ago
  
  69c8d06c
- [EMF] Protecting print of names to ensure a length < 50. Remove the middle... · 785b64f9
  Pierre Loic Garoche authored 7 years ago
  
  [EMF] Protecting print of names to ensure a length < 50. Remove the middle part of the string and inject a hash of it.
  785b64f9