Commits · master · verimag / synchrone / lustre-v6

25 Jan, 2023 2 commits
- fix: the previous wasn't quite rigth · ad176d2a
  erwan authored Jan 25, 2023
  
  ad176d2a
- fix: a bug (--2c) reported by Rui Chen w.r.t. nodes with no input · f03d5d9b
  erwan authored Jan 25, 2023
```
Nodes with no input would produced C code that can not compile

The bug was introduced in sha:bec478ee
```
  f03d5d9b
28 Oct, 2022 3 commits
- fix: a fake commit to protect the tgz used in the main opam repo · 789ce5f3
  erwan authored Oct 28, 2022
  
  789ce5f3
- build: not compatible with ocaml 4.05 (because of List.init) · bef6d431
  erwan authored Oct 28, 2022
  
  bef6d431
- test: remove a test that loops (was doing a Stack overflow) · 1f8e91ea
  erwan authored Oct 28, 2022
  
  1f8e91ea
26 Oct, 2022 2 commits
- fix: a bug in enumerated clocks in -exec mode (due to de676726 ) · 09e2df2d
  erwan authored Oct 26, 2022
  
  09e2df2d
- doc: minor enhancements. · ee7d2903
  erwan authored Oct 26, 2022
  
  ee7d2903
25 Oct, 2022 5 commits
- ci: really fix! · 0791b97b
  erwan authored Oct 25, 2022
  
  0791b97b
- ci: fix · fc250991
  erwan authored Oct 25, 2022
  
  fc250991
- ci: fix · a5f26d02
  erwan authored Oct 25, 2022
  
  a5f26d02
- fix: the generated C code for gcc 11 (default behavior changed) · 8a61cf14
  erwan authored Oct 25, 2022
```
https://www.cyber-neurones.org/2022/09/ubuntu-22-04-1-gcc-11-fcommon-issue-multiple-definition-of/
```
  8a61cf14
- ease ocamldebug-ing · fb7f4c0c
  erwan authored Oct 25, 2022
  
  fb7f4c0c
24 Oct, 2022 1 commit
- test: remove a test that loops (it was doing a SO before) · 854633ea
  erwan authored Oct 24, 2022
  
  854633ea
21 Oct, 2022 1 commit
- doc: --2c-wcet and --2c-multi-core are experimental · 84dfbff7
  erwan authored Oct 21, 2022
  
  84dfbff7
20 Oct, 2022 2 commits
- doc: fix a syntax error in an example · a9420c9e
  erwan authored Oct 20, 2022
  
  a9420c9e
- fix: replace the deprecated kprintf by ksprintf (for ocaml 5.0) · a6219ac2
  erwan authored Oct 20, 2022
  
  a6219ac2
28 Jul, 2022 2 commits
- refactor: remove a code dupl · 2db64746
  erwan authored Jul 28, 2022
  
  2db64746
- Add the lustre-mt tool that process .yml files generated by lv6 -2cmc · bdb8187d
  erwan authored Jul 28, 2022
  
  bdb8187d
27 Jul, 2022 2 commits
- generalise the -2c generated .sh file to ease the compilation with -2cmc · cc145ae1
  erwan authored Jul 27, 2022
  
  cc145ae1
- test: add a script to compare -2cmc and -2c · c7add39a
  erwan authored Jul 27, 2022
  
  c7add39a
22 Jul, 2022 1 commit
- fix: mv get_inputs/print_outputs from _loop.{ch} to _loop_io.{ch} · d4d94d81
  erwan authored Jul 22, 2022
```
where the meant to be
```
  d4d94d81
21 Jul, 2022 1 commit
- Write a SocNameC that do the job on an example · 5c4834ac
  erwan authored Jul 21, 2022
  
  5c4834ac
19 Jul, 2022 2 commits
- Merge branch 'add-multi-generation' of... · 7aff46c3
  erwan authored Jul 19, 2022
```
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 Jul 19, 2022
  
  bec478ee
12 Jul, 2022 2 commits
- Merge branch 'add-multi-generation' of... · 909dd9b4
  Antony Zahran authored Jul 12, 2022
```
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 Jul 12, 2022
  
  d7f80bf7
08 Jul, 2022 1 commit
- fix the -2csf option in presence of user define types · 8c64e48c
  erwan authored Jul 08, 2022
  
  8c64e48c
07 Jul, 2022 1 commit
- -2c: split the main_node_loop.c in main_node_loop.c + main_node_loop_io.{ch} · 237ac5fc
  erwan authored Jul 07, 2022
  
  237ac5fc
01 Jul, 2022 1 commit
- feat: only perform static constant evaluation for integers · ee3bf3e7
  erwan authored Jul 01, 2022
  
  ee3bf3e7
29 Jun, 2022 2 commits
- ci: fix it · a08ca842
  erwan authored Jun 29, 2022
  
  a08ca842
- ci: add the yaml dependancy · f1c72034
  erwan authored Jun 29, 2022
  
  f1c72034
28 Jun, 2022 3 commits
- a soc2str exemple · 608b1fa1
  erwan authored Jun 28, 2022
  
  608b1fa1
- add the yaml dep in the dune file · 0cd990d3
  erwan authored Jun 28, 2022
  
  0cd990d3
- skeletons for mc generation · d0281449
  erwan authored Jun 28, 2022
  
  d0281449
20 Jun, 2022 1 commit
- fix: a bug in the C code in presence of extern functions · 0929f236
  erwan authored Jun 20, 2022
  
  0929f236
15 Jun, 2022 1 commit
- Add a random predef node (untested yet) · bce7b883
  erwan authored Jun 15, 2022
  
  bce7b883
16 May, 2022 1 commit
- docs: edit a few comment in Soc.t · a57e49d8
  erwan authored May 16, 2022
  
  a57e49d8
12 May, 2022 1 commit
- test: fix broken tests (playing on whether -knc is the default or not) · bed715d5
  erwan authored May 11, 2022
  
  bed715d5
11 May, 2022 1 commit
- fix: make the combine use of -esa and -knc work with iterators · b0be78df
  erwan authored May 11, 2022
  
  b0be78df
06 May, 2022 1 commit
- fix: put back a (dummy) get_string in the main loop (used for abstract type) · 9ea4ffc7
  erwan authored May 05, 2022
  
  9ea4ffc7