Commits · 45cf40fb509f2222616b96acb33292be79c4bc31 · verimag / synchrone / lustre-v6

Jan 14, 2025
- refactor: enhance the --no-prefix option behavior · 45cf40fb
  erwan authored 1 month ago
  
  v6.111.2
  
  45cf40fb
- test: change the PRG parameters to better ones · 1644217d
  erwan authored 2 months ago
  
  1644217d
- fix: a bug (sha:b65c26e8 31/10/24) affecting --assert-in-contract · 1afb8e3b
  erwan authored 2 months ago
  
  (and thus the ability to use kind2 and salut)
  1afb8e3b
Dec 13, 2024
- make sure -rte option doesn't mess-up with node names · e50dd9ee
  erwan authored 3 months ago
  
  e50dd9ee
Dec 12, 2024
- fix: -2cmt gen files need on some arch to be compiled with -lpthread -lrt · efd33f70
  erwan authored 3 months ago
  
  v6.111.1
  
  efd33f70
Nov 29, 2024
- ci: ocaml/opam:ubuntu-18.04-ocaml-4.14 image doesn't support dune 3.16 · b134a4dc
  erwan authored 3 months ago
  
  b134a4dc
Nov 28, 2024
- build: git rid of Warning 69 · 14d2f1fd
  erwan authored 3 months ago
  
  v6.111.0
  
  14d2f1fd
- build: we actually (also) depend on landmarks-ppx · 2005e8b8
  erwan authored 3 months ago
  
  2005e8b8
- build: we now depend on landmarks · 450ab869
  erwan authored 3 months ago
  
  450ab869
- ci: the node:20-buster-slim image (for semantc release) seems to be broken. Try to downgrade. · bc9c596d
  erwan authored 3 months ago
  
  bc9c596d
- refactor: some enhancements in multitask.lus · 4f10cb1d
  erwan authored 3 months ago
  
  4f10cb1d
- fix: turn around a bug occuring with -dnes and without -ei · 71ea8a57
  erwan authored 3 months ago
  
  71ea8a57
- refactor · 3dc163f6
  erwan authored 3 months ago
  
  3dc163f6
Oct 31, 2024
- refactor: para.ch -> wraptask.ch · 94a5f9d4
  erwan authored 4 months ago
  
  94a5f9d4
- refactor: clean-up printf debug · 59f2cf4a
  erwan authored 4 months ago
  
  59f2cf4a
- feat: provide finer-grained ways of expanding nodes · b65c26e8
  erwan authored 4 months ago
  
  - add the handling of %expand:call% pragmas in node definitions - add a --expand-static-nodes CLI option
  b65c26e8
- test: allow more than one option to be given to test scripts · 9aa45e58
  erwan authored 4 months ago
  
  9aa45e58
Oct 28, 2024
- fix: remove duplicates more efficiently (which is a pb when there are · 3d1c51c3
  erwan authored 4 months ago
  
  a lot of variables)
  3d1c51c3
Oct 24, 2024
- fix: condact on polymorphic nodes was not working in -en mode · f308690b
  erwan authored 4 months ago
  
  f308690b
Oct 15, 2024
- test: some fix · d37d82dd
  erwan authored 4 months ago
  
  d37d82dd
- fix: the number of static args (which change caused that?) · bb24a405
  erwan authored 4 months ago
  
  bb24a405
Oct 14, 2024
- fix: rewrite c fby x as 0 -> pre x (as fby soc sucks) · 28863e86
  erwan authored 5 months ago
  
  28863e86
- refactor: · 4fc32be8
  erwan authored 5 months ago
  
  4fc32be8
- fix: condact do have memory! · 2cd12e39
  erwan authored 5 months ago
  
  2cd12e39
- fix: when checking loops, -esa option was interpreted the wrong way · 5ae88488
  erwan authored 5 months ago
  
  5ae88488
- fix: the type of array of structures were incorrectly expanded · 389c6f84
  erwan authored 5 months ago
  
  389c6f84
- fix: accept array of size 1 for nor and # · 3a3a4e8c
  erwan authored 5 months ago
  
  3a3a4e8c
- test: propagate the test files compilation directives to all test passes · 82adec15
  erwan authored 5 months ago
  
  (possible since -lic is now re-entrant)
  82adec15
- fix: make the -lic generated code re-entrant · ea854bdf
  erwan authored 5 months ago
  
  ea854bdf
Oct 04, 2024
- refactor: change the way tasks are handled · 0797e30f
  erwan authored 5 months ago
  
  0797e30f
- lustre-mt: add a -dir option · 9763671f
  erwan authored 5 months ago
  
  9763671f
- test: profiling with landmarks · aeb08419
  erwan authored 5 months ago
  
  aeb08419
- test: refactoring · 42045883
  erwan authored 5 months ago
  
  42045883
- test: add a multi task test · 040371de
  erwan authored 5 months ago
  
  040371de
Sep 23, 2024
- test: now all the -2cmtt tests work · 9de69773
  erwan authored 5 months ago
  
  9de69773
Sep 20, 2024
- test: fix test script so that they can be run in parallel · 2a9ec84d
  erwan authored 5 months ago
  
  The pb was introduced in the previous commit
  2a9ec84d
Sep 19, 2024
- test: split test scripts to enhance the parallelism of make -j · 68a7c308
  erwan authored 5 months ago
  
  + fix a couple of -2cmtt failures
  68a7c308
Sep 18, 2024
- refactoring · f4109137
  erwan authored 5 months ago
  
  f4109137
- fix the test suite with -2cmtt (from 217 to 55 test failures) · 88bb3d81
  erwan authored 5 months ago
  
  88bb3d81
Sep 17, 2024
- now all tests with -2cmt are fine · c128bcd7
  erwan authored 5 months ago
  
  c128bcd7