Commits · aa279047db7025b98ec252487fc2b08b816e4baf · verimag / synchrone / lustre-v6 · GitLab

Snippets Groups Projects

Mar 03, 2020
- Update: raise an (explicit) error if no node is provided in -2c or -exec mode · aa279047
  erwan authored 5 years ago
  
  6.101.15
  
  aa279047
Feb 14, 2020
- Fix: The C code for arrays of arrays constants was generating a gcc warning · acde7631
  erwan authored 5 years ago
  
  6.101.14
  
  acde7631
- Chore: more test pass since the fix done in 6c036c82 · 6dd0fc32
  erwan authored 5 years ago
  
  6dd0fc32
Dec 10, 2019
- Fix: the src info in the rdbg plugin was wrong at exit events · 6fe97fdb
  erwan authored 5 years ago
  
  6fe97fdb
Dec 02, 2019
- CI: add the official opam repo to get dune 2.0 · 011560e0
  erwan authored 5 years ago
  
  2 tags
  
  011560e0
- Build: fix warning related to unattached comment, as dune 2.0 generates an error for those · 0d115bc2
  erwan authored 5 years ago
  
  0d115bc2
Dec 01, 2019
- Doc: Add a README.org and remove old oasis generated files · 19e29bfe
  erwan authored 5 years ago
  
  19e29bfe
Oct 11, 2019
- Some enhancements on the arduino demo doc · a4b2a53a
  erwan authored 5 years ago
  
  a4b2a53a
Sep 19, 2019
- Fix: a bug (behavior of =red= in interpreted mode) introduced in sha:6437ec67 · 6c036c82
  erwan authored 5 years ago
  
  6.101.12
  
  6c036c82
Sep 04, 2019
- Fix: remove a useless module open (List) that breaks the build/ocaml4.07.0 · 76142b94
  erwan authored 5 years ago
  
  6.101.11
  
  76142b94
- Fix: the -ec options was setting the (experimental) -eeb mode. Use the more robust -ee instean. · 0eb6491c
  erwan authored 5 years ago
  
  (It would have avoided issue #8)
  6.101.10
  
  0eb6491c
- Fix: #8 · 6e28a5d6
  erwan authored 5 years ago
  
  close #8
  6e28a5d6
- Build: generate a smaller tgz for opam · 7d9d6c38
  erwan authored 5 years ago
  
  7d9d6c38
Sep 02, 2019
- Merge branch 'master' of gricad-gitlab.univ-grenoble-alpes.fr:verimag/synchrone/lustre-v6 · 5a6a3364
  erwan authored 5 years ago
  
  6.101.9
  
  5a6a3364
- Update: set-up the opam file and the ci · e19dae08
  erwan authored 5 years ago
  
  e19dae08
- Update: set-up the opam file and the ci · 8a791bf0
  erwan authored 5 years ago
  
  8a791bf0
- Update: set-up the opam file and the ci · b4b5388d
  erwan authored 5 years ago
  
  6.101.8
  
  b4b5388d
Aug 30, 2019
- CI: can't install with rdbg <= 1.184 · 59dec9bb
  erwan authored 5 years ago
  
  59dec9bb
Aug 29, 2019
- Update: use dune instead of oasis · 4e5bcd7a
  erwan authored 5 years ago
  
  Remove a lot of warnings (considered as errors by dune).
  4e5bcd7a
- Update: Adapt the test to the changes done during the rdbg dune migration · 4ce7c4ac
  erwan authored 5 years ago
  
  cd rdbg #sha 4a54c7a1181e1200670f3eaf14af1be32823cd04
  4ce7c4ac
Aug 22, 2019
- opam package for version 6.101.7 has been released · 89e0da9b
  erwan authored 5 years ago
  
  89e0da9b
Aug 02, 2019
- Fix: a bug in the rdbg plugin: event number was incremented twice at call event. · 932c883b
  erwan authored 5 years ago
  
  6.101.7
  
  932c883b
Jul 29, 2019
- Doc: homogeneisation of CLI help messages and minor fixes · 1da499ba
  erwan authored 5 years ago
  
  1da499ba
Jul 11, 2019
- Fix: a bug in the rdbg plugin when iterating on arrays on size 1 · 6079e0da
  erwan authored 5 years ago
  
  6.101.6
  
  6079e0da
Jul 10, 2019
- Fix: a bug in the rdbg plugin when iterating on arrays on size 1 · 6437ec67
  erwan authored 5 years ago
  
  6.101.5
  
  6437ec67
May 23, 2019
- opam package for version 6.101.4 has been released · 8552ed35
  erwan authored 5 years ago
  
  8552ed35
May 22, 2019
- Fix: enum constants now works in -exec mode (fixes #7 ) · eee02be9
  erwan authored 5 years ago
  
  6.101.4
  
  eee02be9
- Fix: generate correct C code for lustre programs that have var names containing quotes · 52f682a7
  erwan authored 5 years ago
  
  52f682a7
May 17, 2019
- opam package for version 6.101.3 has been released · 96f545de
  erwan authored 5 years ago
  
  96f545de
- Fix: the commit sha:712306a5 (3/5/19) break the code for ocaml < 4.06 · cd960482
  erwan authored 5 years ago
  
  Indeed the API of Format.formatter_out_functions changed in 4.06.0 To turn around this problem, I've used pp_get_formatter_out_functions and extend it result
  6.101.3
  
  cd960482
- Fix: this oasis generated file need some update after Pascal change in the list of modules · 1a1156b5
  erwan authored 5 years ago
  
  1a1156b5
May 16, 2019
- Build: fix the version number for opam releases · cf545317
  erwan authored 5 years ago
  
  cf545317
- Fix: array contant issue · d1ce2327
  erwan authored 5 years ago
  
  Merge branch 'pascal01'
  d1ce2327
- Releasing opam package for version 6.101.2 · 33b7065b
  erwan authored 5 years ago
  
  33b7065b
- Fix: inline / when generating c code · 5e841883
  erwan authored 5 years ago
  
  6.101.2
  
  5e841883
May 03, 2019
- doc: add a section in the Arduino demo doc for FDS · 09e1cfbb
  erwan authored 5 years ago
  
  09e1cfbb
- un commentaire bidon... · 480a64a5
  Pascal Raymond authored 5 years ago
  
  480a64a5
- fichier dbg.ml + un peu de debug + bug type_of_const sur le tableaux immediats · 712306a5
  Pascal Raymond authored 5 years ago
  
  712306a5
Apr 30, 2019
- Releasing opam package for version 6.101.1 · be975314
  erwan authored 5 years ago
  
  be975314
- Build: fix the opam file · 52904ba5
  erwan authored 5 years ago
  
  6.101.1
  
  52904ba5