Commits · 854633eaf20cb7669d1d501f797f166bac0f088f · verimag / synchrone / lustre-v6

Oct 24, 2022
- test: remove a test that loops (it was doing a SO before) · 854633ea
  erwan authored 2 years ago
  
  854633ea
Oct 21, 2022
- doc: --2c-wcet and --2c-multi-core are experimental · 84dfbff7
  erwan authored 2 years ago
  
  84dfbff7
Oct 20, 2022
- doc: fix a syntax error in an example · a9420c9e
  erwan authored 2 years ago
  
  a9420c9e
- fix: replace the deprecated kprintf by ksprintf (for ocaml 5.0) · a6219ac2
  erwan authored 2 years ago
  
  a6219ac2
Jul 28, 2022
- refactor: remove a code dupl · 2db64746
  erwan authored 2 years ago
  
  2db64746
- Add the lustre-mt tool that process .yml files generated by lv6 -2cmc · bdb8187d
  erwan authored 2 years ago
  
  bdb8187d
Jul 27, 2022
- generalise the -2c generated .sh file to ease the compilation with -2cmc · cc145ae1
  erwan authored 2 years ago
  
  cc145ae1
- test: add a script to compare -2cmc and -2c · c7add39a
  erwan authored 2 years ago
  
  c7add39a
Jul 22, 2022
- fix: mv get_inputs/print_outputs from _loop.{ch} to _loop_io.{ch} · d4d94d81
  erwan authored 2 years ago
  
  where the meant to be
  d4d94d81
Jul 21, 2022
- Write a SocNameC that do the job on an example · 5c4834ac
  erwan authored 2 years ago
  
  5c4834ac
Jul 19, 2022
- Merge branch 'add-multi-generation' of... · 7aff46c3
  erwan authored 2 years ago
  
  Merge branch 'add-multi-generation' of gricad-gitlab.univ-grenoble-alpes.fr:verimag/synchrone/lustre-v6 into add-multi-generation
  7aff46c3
- refactor: in the main C loop, use 2 new functions to get/print I/O · bec478ee
  erwan authored 2 years ago
  
  bec478ee
Jul 12, 2022
- Merge branch 'add-multi-generation' of... · 909dd9b4
  Antony Zahran authored 2 years ago
  
  Merge branch 'add-multi-generation' of https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lustre-v6 into add-multi-generation
  909dd9b4
- Création du fichier yaml · d7f80bf7
  Antony Zahran authored 2 years ago
  
  d7f80bf7
Jul 08, 2022
- fix the -2csf option in presence of user define types · 8c64e48c
  erwan authored 2 years ago
  
  8c64e48c
Jul 07, 2022
- -2c: split the main_node_loop.c in main_node_loop.c + main_node_loop_io.{ch} · 237ac5fc
  erwan authored 2 years ago
  
  237ac5fc
Jul 01, 2022
- feat: only perform static constant evaluation for integers · ee3bf3e7
  erwan authored 2 years ago
  
  ee3bf3e7
Jun 29, 2022
- ci: fix it · a08ca842
  erwan authored 2 years ago
  
  a08ca842
- ci: add the yaml dependancy · f1c72034
  erwan authored 2 years ago
  
  f1c72034
Jun 28, 2022
- a soc2str exemple · 608b1fa1
  erwan authored 2 years ago
  
  608b1fa1
- add the yaml dep in the dune file · 0cd990d3
  erwan authored 2 years ago
  
  0cd990d3
- skeletons for mc generation · d0281449
  erwan authored 2 years ago
  
  d0281449
Jun 20, 2022
- fix: a bug in the C code in presence of extern functions · 0929f236
  erwan authored 2 years ago
  
  v6.106.1
  
  0929f236
Jun 15, 2022
- Add a random predef node (untested yet) · bce7b883
  erwan authored 2 years ago
  
  bce7b883
May 16, 2022
- docs: edit a few comment in Soc.t · a57e49d8
  erwan authored 2 years ago
  
  v6.106.0
  
  a57e49d8
May 12, 2022
- test: fix broken tests (playing on whether -knc is the default or not) · bed715d5
  erwan authored 2 years ago
  
  bed715d5
May 11, 2022
- fix: make the combine use of -esa and -knc work with iterators · b0be78df
  erwan authored 2 years ago
  
  b0be78df
May 06, 2022
- fix: put back a (dummy) get_string in the main loop (used for abstract type) · 9ea4ffc7
  erwan authored 2 years ago
  
  9ea4ffc7
May 05, 2022
- fix: make the combine use of -esa and -knc work with iterators · 60d257ef
  erwan authored 2 years ago
  
  nb: still does not work for nested iterators
  60d257ef
- feat: add a --remove-nested-call option, and do not split expression by default · 074961b4
  erwan authored 2 years ago
  
  074961b4
- fix: do not check loop with lic2soc, as it prevent lustre backends (eg, -v4) to work with -knc · b6403e90
  erwan authored 2 years ago
  
  b6403e90
Apr 08, 2022
- doc: a link to the tools pages in the lv6 lang ref. · 747740a6
  erwan authored 2 years ago
  
  v6.105.1
  
  747740a6
- test: do not use the lurette-embedded lv6 interpreter to avoid spurious float rounding errors · f6e94a49
  erwan authored 2 years ago
  
  f6e94a49
Mar 23, 2022
- fix: with -en, when a node with no input was called, an error was issued. · 125436a1
  erwan authored 2 years ago
  
  I think it is safe to suppose that the node is on the base clock in this case.
  125436a1
- test: compare the results of lv6 -2c + gcc vs clang on the test suite · 793f9af6
  erwan authored 2 years ago
  
  793f9af6
Mar 22, 2022
- test: add tests to compare the behavior of lv6 -2c and lv6 -2c -en · 968ff94d
  erwan authored 2 years ago
  
  968ff94d
- test: check that valgrind produces no error on the set on tes/should_work/*.lus · 126db492
  erwan authored 2 years ago
  
  126db492
Mar 21, 2022

feat: check assertions in the generated C code. · 861b2fb6
erwan authored 2 years ago

v6.105.0

861b2fb6

fix: a bug triggered on merge on enumerated clocks with '-2c -eei' or '-exec -eei' · de676726

erwan authored 2 years ago

The dependency on the clock was lost when the enum is translated into
an integer (because some expression were still refering to the enum type).

The fix was to index VarMap.t by string instead of Soc.var_expr in ActionsDeps.

de676726

Sep 22, 2021
- build: fix the version number when build via opam · a5980bac
  erwan authored 3 years ago
  
  a5980bac