Commits · e1329f7789d844827a265d3b0715d0089f760d9c · verimag / synchrone / lustre-v6

Mar 06, 2024
- fix: with -knc, always parenthesis call to not · e1329f77
  erwan authored 1 year ago
  
  v6.110.1
  
  e1329f77
Feb 27, 2024
- add a kind2 comment for the main node if --assert-in-contract is used · 118e9c5c
  erwan authored 1 year ago
  
  v6.110.0
  
  118e9c5c
- fix: remove a useless error raised without -en · 48a75f9e
  erwan authored 1 year ago
  
  48a75f9e
- feat: add an exp option, that put assert contents in kind2 contracts · 776503f3
  erwan authored 1 year ago
  
  776503f3
Jan 24, 2024
- perf: generate more compact fresh var names · 7d7341bd
  erwan authored 1 year ago
  
  v6.109.1
  
  7d7341bd
Jan 23, 2024
- feat: check assert statically is possible · 18a4f6e1
  erwan authored 1 year ago
  
  v6.109.0
  
  18a4f6e1
Jan 19, 2024
- more work on -rte · 0d12b155
  erwan authored 1 year ago
  
  0d12b155
Nov 23, 2023
- fix: better error message when static arguments are forgotten · 1e3c90cb
  erwan authored 1 year ago
  
  1e3c90cb
- feat: allow any types as arguments of numeric operators. · cfaca46e
  erwan authored 1 year ago
  
  The rationale is to allow the use of extern types, such as int8.
  cfaca46e
- fix line numbers in presence of multi-lines pragmas · c14ac063
  erwan authored 1 year ago
  
  c14ac063
Nov 21, 2023
- the -rte cli option now takes a string as argument (int8, int16, etc) · 1bd838fe
  erwan authored 1 year ago
  
  1bd838fe
Nov 16, 2023
- add a -rte cli option · 45b91f4d
  erwan authored 1 year ago
  
  45b91f4d
- print node pragmas in -lv4 mode · 8f54a0e2
  erwan authored 1 year ago
  
  8f54a0e2
- Remove useless parenthesis when generating lustre code. · 07c1d09f
  erwan authored 1 year ago
  
  07c1d09f
Nov 15, 2023
- Allow node pragmas to be put after node declarations · 1e719412
  erwan authored 1 year ago
  
  1e719412
- Adding multi-lines pragmas to the lv6 syntax · 2181fd66
  erwan authored 1 year ago
  
  2181fd66
Jun 16, 2023
- Add a missing file · a3b50883
  erwan authored 1 year ago
  
  v6.107.4
  
  a3b50883
- Add a --keep-nested-predef-calls option · e6b5c982
  erwan authored 1 year ago
  
  (and a --2smv one that is not finish)
  e6b5c982
Jun 08, 2023
- refactor: minor changes · 1fdd7ad7
  erwan authored 1 year ago
  
  1fdd7ad7
Jan 30, 2023
- fix: clean up the id the lv6 rdbg plugin · 781a7a97
  erwan authored 2 years ago
  
  781a7a97
Jan 25, 2023
- fix: the previous wasn't quite rigth · ad176d2a
  erwan authored 2 years ago
  
  v6.107.3
  
  ad176d2a
- fix: a bug (--2c) reported by Rui Chen w.r.t. nodes with no input · f03d5d9b
  erwan authored 2 years ago
  
  Nodes with no input would produced C code that can not compile The bug was introduced in sha:bec478ee
  v6.107.2
  
  f03d5d9b
Oct 26, 2022
- fix: a bug in enumerated clocks in -exec mode (due to de676726 ) · 09e2df2d
  erwan authored 2 years ago
  
  v6.107.1
  
  09e2df2d
Oct 25, 2022
- fix: the generated C code for gcc 11 (default behavior changed) · 8a61cf14
  erwan authored 2 years ago
  
  https://www.cyber-neurones.org/2022/09/ubuntu-22-04-1-gcc-11-fcommon-issue-multiple-definition-of/
  v6.107.0
  
  8a61cf14
Oct 21, 2022
- doc: --2c-wcet and --2c-multi-core are experimental · 84dfbff7
  erwan authored 2 years ago
  
  84dfbff7
Oct 20, 2022
- 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
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
- 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
- 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 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