Commits · 333e3a25e7862b51b01a590fd526c0a5dc7b18fa · LustreC / Lustrec - public version · GitLab

Snippets Groups Projects

Dec 18, 2017
- [general] Refactor get_node_eqs to produce (eqs, auts) with automatons · 333e3a25
  Pierre Loic Garoche authored 7 years ago
  
  333e3a25
Dec 14, 2017
- Forcing mpfr status when -real mpfr asked. Default precision is 100 bits. · 8b87d0a5
  Pierre Loic Garoche authored 7 years ago
  
  8b87d0a5
- add uninstall target in Makefile · 0179e76f
  GARION Christophe authored 7 years ago
  
  0179e76f
Dec 13, 2017
- fix conflicts · ea45924c
  GARION Christophe authored 7 years ago
  
  ea45924c
- correct install target in Makefile · 6b2f1b5d
  GARION Christophe authored 7 years ago
  
  6b2f1b5d
- correct install target in Makefile · 1292d0aa
  GARION Christophe authored 7 years ago
  
  1292d0aa
Dec 12, 2017
- [lustresf] lustresf targets are optional in Makefiles (see configure.ac) · 3b4b7a2e
  GARION Christophe authored 7 years ago
  
  3b4b7a2e
- Merge branch 'unstable-merge' into unstable · 61e2b4b7
  GARION Christophe authored 7 years ago
  
  61e2b4b7
- [lustresf] use Unix package · f50110e7
  GARION Christophe authored 7 years ago
  
  f50110e7
- [lustresf] add Program constructor in model examples + sf_sem · b06b7b77
  GARION Christophe authored 7 years ago
  
  b06b7b77
- [JSON] remove pretty-printing functions declarations in cPS_transformer · b1af4f73
  GARION Christophe authored 7 years ago
  
  b1af4f73
- [lustresf] refactoring automata generation using Automata.ml functions · e0d6f1d1
  Pierre Loic Garoche authored 7 years ago
  
  e0d6f1d1
- simple conflict when merging unstable and json-parser · 50ae9ab8
  GARION Christophe authored 7 years ago
  
  50ae9ab8
- Merge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec into unstable · 9416ee78
  Pierre Loic Garoche authored 7 years ago
  
  9416ee78
- [general] print types before nodes in lustre output · 753d4562
  Pierre Loic Garoche authored 7 years ago
  
  753d4562
- typo in src/Makefile.in · 6ca345fd
  GARION Christophe authored 7 years ago
  
  6ca345fd
- Merge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec into unstable · 1613ad20
  Pierre Loic Garoche authored 7 years ago
  
  1613ad20
- [lustresf] Some progress: automaton compiles but not when preprocessed · 2a4992a1
  Pierre Loic Garoche authored 7 years ago
  
  2a4992a1
- [EMF] Less verbose · 2196948d
  Pierre Loic Garoche authored 7 years ago
  
  2196948d
Dec 06, 2017
- add fmod function in include/simulink_math_fcn.lusi · 2ca4d0c9
  Hamza Bourbouh authored 7 years ago
  
  2ca4d0c9
Nov 28, 2017
- Added some libm functions to lustrec_math.lusi · db7468fd
  Pierre Loic Garoche authored 7 years ago
  
  db7468fd
Nov 15, 2017
- [MCDC] Solved some issues and transformed the code from iterators to fold · 3e1d20e0
  Pierre Loic Garoche authored 7 years ago
  
  3e1d20e0
Nov 14, 2017
- [lustret] bug solved in file path · ef8ef3ed
  Pierre Loic Garoche authored 7 years ago
  
  ef8ef3ed
- [lustret] mutation report is create in initial folder · 0d6c2694
  Pierre Loic Garoche authored 7 years ago
  
  0d6c2694
- [lustret] Improved mutation with json traceability · 55a8633c
  Pierre Loic Garoche authored 7 years ago
  
  55a8633c
- New function in Location to access to line number · fd19d190
  Pierre Loic Garoche authored 7 years ago
  
  fd19d190
- Moved stage1 in separate file: it is shared among binaries · 04257b1e
  Pierre Loic Garoche authored 7 years ago
  
  04257b1e
- [EMF] adding original name field in the JSON · 7c79dd93
  Pierre Loic Garoche authored 7 years ago
  
  7c79dd93
Nov 09, 2017
- [EMF] Added the reset signal (the every argument) as input to the JSON struct · 7eafa0e1
  Pierre Loic Garoche authored 7 years ago
  
  7eafa0e1
- Solving a warning with ocaml 4.04 and uppercase_ascii. Provides backward compatibility for 4.02 · c80e92d1
  Pierre Loic Garoche authored 7 years ago
  
  c80e92d1
- Issue with clocked expressions. Now handled throught a local branch, ie. a... · 953879f0
  Pierre Loic Garoche authored 7 years ago
  
  Issue with clocked expressions. Now handled throught a local branch, ie. a single action block in Simulink
  953879f0
- Missing last fprintf @. in the lustre output · 103f6f60
  Pierre Loic Garoche authored 7 years ago
  
  103f6f60
Oct 13, 2017
- json-parser: correct parser for regex for real variables with e|E · 050147ec
  GARION Christophe authored 7 years ago
  
  050147ec
- json-parser: add test for real variable with e|E · befd32b5
  GARION Christophe authored 7 years ago
  
  befd32b5
- json-parser: correct bug on real variables value · d8abc19b
  GARION Christophe authored 7 years ago
  
  d8abc19b
- json-parser: add string_of_XXX functions for assertions · cbfee4a3
  GARION Christophe authored 7 years ago
  
  cbfee4a3
Oct 12, 2017
- json-parser: test exception for variables · c3d8313d
  GARION Christophe authored 7 years ago
  
  c3d8313d
Oct 11, 2017
- json-parser: switch arguments for assert_equal (expected/actual) · 89ac5599
  GARION Christophe authored 7 years ago
  
  89ac5599
- json-parser: use JSON_parse_error exception · 0c0b0aff
  GARION Christophe authored 7 years ago
  
  0c0b0aff
Oct 10, 2017
- json-parser: more tests with single variables · 5c0d6e4e
  GARION Christophe authored 7 years ago
  
  5c0d6e4e