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

Snippets Groups Projects

Nov 14, 2019
- - tag_true and tag_false moved to lustre_types · e8f55c25
  Pierre Loic Garoche authored 5 years ago
  
  - real constants are hidden in Real.ml{i} module
  e8f55c25
- [seal] more progress on seal extract · efc2cd2f
  Pierre Loic Garoche authored 5 years ago
  
  efc2cd2f
- sort of slicing for machine code · 720c7244
  Pierre Loic Garoche authored 5 years ago
  
  720c7244
- kind2 option for printing expressions · 7075d9fc
  Pierre Loic Garoche authored 5 years ago
  
  7075d9fc
- Reactivated Unfold constant · 8df40160
  Pierre Loic Garoche authored 5 years ago
  
  8df40160
- partial evaluation for basic lib · 2d2d89d7
  Pierre Loic Garoche authored 5 years ago
  
  2d2d89d7
- Module to manipulate real constants. For the moment we Num · de8e9811
  Pierre Loic Garoche authored 5 years ago
  
  de8e9811
- cleaning debug logs · 3066247f
  Pierre Loic Garoche authored 5 years ago
  
  3066247f
- reactivating the unfolding of constants · e47138b8
  Pierre Loic Garoche authored 5 years ago
  
  e47138b8
- flatten dependencies in schedule to make sure all required equations are used · 2db953dd
  Pierre Loic Garoche authored 5 years ago
  
  2db953dd
- cleaning debug logs · 8a11dc80
  Pierre Loic Garoche authored 5 years ago
  
  8a11dc80
Nov 06, 2019
- better negation of constants · e6b644f4
  Pierre Loic Garoche authored 5 years ago
  
  e6b644f4
Jul 18, 2019
- More kind2 outputs: clocked fun call + clocked and restart fun call · 0323b9e6
  Pierre Loic Garoche authored 5 years ago
  
  0323b9e6
- seal: now deals with enum · 73a4995a
  Pierre Loic Garoche authored 5 years ago
  
  73a4995a
- when condition in kind2 printer · ff61a638
  Pierre Loic Garoche authored 5 years ago
  
  ff61a638
- EMF backend issue · 3b007718
  Pierre Loic Garoche authored 5 years ago
  
  3b007718
Jul 17, 2019
- seal: stateless systems · 72a93147
  Pierre Loic Garoche authored 5 years ago
  
  72a93147
- every in kind2 syntax · 1d3f2f66
  Pierre Loic Garoche authored 5 years ago
  
  1d3f2f66
- [seal] delt with Merge and when · ae08b9fc
  Pierre Loic Garoche authored 5 years ago
  
  [printer] more kind2 syntax
  ae08b9fc
- No more when suffix in clocked variables with kind2 option · 629392e1
  Pierre Loic Garoche authored 5 years ago
  
  629392e1
Jul 16, 2019
- Produce true/false statements as constants · 0697ff5b
  Pierre Loic Garoche authored 5 years ago
  
  0697ff5b
- removed reload of external modules when checking algebraic loop. · 2200179c
  Pierre Loic Garoche authored 5 years ago
  
  2200179c
- scheduling now report unused vars and remove their definition instead of stopping processing. · 25320f03
  Pierre Loic Garoche authored 5 years ago
  
  25320f03
- kind2 output for printer. global option available · c6c8786b
  Pierre Loic Garoche authored 5 years ago
  
  c6c8786b
- Seal: solved issue with guards merging · 03c767b1
  Pierre Loic Garoche authored 5 years ago
  
  03c767b1
Jul 15, 2019
- Sorting expressions: less bugs · 3e07a17b
  Pierre Loic Garoche authored 5 years ago
  
  3e07a17b
Jul 12, 2019
- valid _verif node for seal-export lustre · b8dfc744
  Pierre Loic Garoche authored 5 years ago
  
  b8dfc744
- No space in comments · fbcd3ad1
  Pierre Loic Garoche authored 5 years ago
  
  fbcd3ad1
- Seal export lustre · 518951ed
  Pierre Loic Garoche authored 5 years ago
  
  518951ed
- Work in progress: higher level constructs for lustre elements · faf2b835
  Pierre Loic Garoche authored 5 years ago
  
  faf2b835
- Contract printer cocospec · 5b4c0069
  Pierre Loic Garoche authored 5 years ago
  
  5b4c0069
Jul 11, 2019
- No space before contract kwd · 1561a5bb
  Pierre Loic Garoche authored 5 years ago
  
  1561a5bb
- Printing trailing zeros in real constants · 096f48d5
  Pierre Loic Garoche authored 5 years ago
  
  096f48d5
- Export cocospec contract · 0292f958
  Pierre Loic Garoche authored 5 years ago
  
  0292f958
- configure.ac · 3209838a
  Pierre Loic Garoche authored 5 years ago
  
  3209838a
- Remove dep · 3bd83542
  Pierre Loic Garoche authored 5 years ago
  
  3bd83542
- Seal deps + Z3 pin opam · 0980686c
  Pierre Loic Garoche authored 5 years ago
  
  0980686c
- Output folder for seal-extract · 7a4fd94d
  Pierre Loic Garoche authored 5 years ago
  
  7a4fd94d
- Seal-export to a new file · 3fd36dc9
  Pierre Loic Garoche authored 5 years ago
  
  3fd36dc9
- seal-export: produce the output as well. Could be simpler · d75eb6f1
  Pierre Loic Garoche authored 5 years ago
  
  d75eb6f1