Commits · 6dd0fc32de501f492f310aad5a8d961e22bb57ef · verimag / synchrone / lustre-v6

Feb 14, 2020
- 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
- CI: allow the failure for the test_opam_test job · db58afdc
  erwan authored 5 years ago
  
  Indeed, it may fail if an ADT changes in lutils or rdbg-plugin, since this repo can only be updated if the whole pipeline succeeds (to be able te get the release number). The idea is to rerun this job manually when it is the case.
  6.101.0
  
  db58afdc
- Build: use the test opam-repo for CI · a6ce1fc8
  erwan authored 5 years ago
  
  a6ce1fc8