Commits · d000fdd87d959a4463c8cdc0c600ba6242125c99 · verimag / synchrone / lustre-v6

Jun 11, 2024
- Allow to attach pragmas to equations · d000fdd8
  erwan authored 9 months ago
  
  d000fdd8
- fix: multi-line pragmas parsing was wrong · d13643fc
  erwan authored 9 months ago
  
  d13643fc
Jun 06, 2024
- test: parametrize the nb of cores used for nonreg tests · 9ffe5d65
  erwan authored 9 months ago
  
  v6.110.3
  
  9ffe5d65
Jun 05, 2024
- fix: make the (former) -2ch (now -2c-io-c) work (again?) · 00b7254b
  erwan authored 9 months ago
  
  00b7254b
May 30, 2024

fix: 2 bugs revealed by the new check_knc pass (C var names · 66a3279f

erwan authored 9 months ago

clash+parenthesis issues in the lustre generated code)

The  parenthesis  issues  were  occuring (sometimes)  in  the  lustre
generated code,  for 'pre', '#,'  'nor', and 'current'. A  issue with
int2real and real2int was fixed too.

66a3279f

May 29, 2024
- test: add a pass to check -knc and -knpc options · 35fd71ac
  erwan authored 9 months ago
  
  fix: some issues in the lustre backend wrt =current=
  35fd71ac
May 13, 2024
- Some work on the experimental -rte option · 0cb88859
  erwan authored 10 months ago
  
  0cb88859
- minor improvements in -help message · de4ee4a4
  erwan authored 10 months ago
  
  de4ee4a4
- add fold as an alias for fillred · be3a0db5
  erwan authored 10 months ago
  
  be3a0db5
Mar 11, 2024
- fix: with -esa and (the experimental) -knc concat were not expanded · 7ce79ce5
  erwan authored 1 year ago
  
  v6.110.2
  
  7ce79ce5
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
- ci: with the new docker image, opam update doesnt need sudo anymore · 1a79f76c
  erwan authored 1 year ago
  
  1a79f76c
- ci: try a working docker image · 848add09
  erwan authored 1 year ago
  
  848add09
- ci: try an up-to-date image (with ocaml5+opam2) provided by ocamlpro · 4926bc74
  erwan authored 1 year ago
  
  4926bc74
- test: use an existing docker image · 508b3c7e
  erwan authored 1 year ago
  
  508b3c7e
- test: use a more recent ubuntu docker img to get dune 2.7 (for cram) · 21999a65
  erwan authored 1 year ago
  
  21999a65
- ci: use js node 20 instead of 19 (deprecated) for semantic-release · 49bac957
  erwan authored 1 year ago
  
  v6.108.0
  
  49bac957
- more work on -rte · 0d12b155
  erwan authored 1 year ago
  
  0d12b155
- test: add cram tests · 33110858
  erwan authored 1 year ago
  
  33110858
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
Jun 07, 2023
- build: minor improvements in the packaging process · 0dbb387b
  erwan authored 1 year ago
  
  0dbb387b
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