Tags

Tags give the ability to mark specific points in history as being important

v6.111.1

efd33f70 · fix: -2cmt gen files need on some arch to be compiled with -lpthread -lrt · Dec 12, 2024

Release: v6.111.1
v6.111.0

14d2f1fd · build: git rid of Warning 69 · Nov 28, 2024

Release: v6.111.0
v6.110.3

9ffe5d65 · test: parametrize the nb of cores used for nonreg tests · Jun 06, 2024

Release: v6.110.3
v6.110.2

7ce79ce5 · fix: with -esa and (the experimental) -knc concat were not expanded · Mar 11, 2024

Release: v6.110.2
v6.110.1

e1329f77 · fix: with -knc, always parenthesis call to not · Mar 06, 2024

Release: v6.110.1
v6.110.0

118e9c5c · add a kind2 comment for the main node if --assert-in-contract is used · Feb 27, 2024

Release: v6.110.0
v6.109.1

7d7341bd · perf: generate more compact fresh var names · Jan 24, 2024

Release: v6.109.1
v6.109.0

18a4f6e1 · feat: check assert statically is possible · Jan 23, 2024

Release: v6.109.0
v6.108.0

49bac957 · ci: use js node 20 instead of 19 (deprecated) for semantic-release · Jan 19, 2024

Release: v6.108.0
v6.107.4

a3b50883 · Add a missing file · Jun 16, 2023

Release: v6.107.4
v6.107.3

ad176d2a · fix: the previous wasn't quite rigth · Jan 25, 2023

Release: v6.107.3
v6.107.2

f03d5d9b · fix: a bug (--2c) reported by Rui Chen w.r.t. nodes with no input · Jan 25, 2023

Release: v6.107.2
v6.107.1

09e2df2d · fix: a bug in enumerated clocks in -exec mode (due to de676726 ) · Oct 26, 2022

Release: v6.107.1
v6.107.0

8a61cf14 · fix: the generated C code for gcc 11 (default behavior changed) · Oct 25, 2022

Release: v6.107.0
v6.106.1

0929f236 · fix: a bug in the C code in presence of extern functions · Jun 20, 2022

Release: v6.106.1
v6.106.0

a57e49d8 · docs: edit a few comment in Soc.t · May 16, 2022

Release: v6.106.0
v6.105.1

747740a6 · doc: a link to the tools pages in the lv6 lang ref. · Apr 08, 2022

Release: v6.105.1
v6.105.0

861b2fb6 · feat: check assertions in the generated C code. · Mar 21, 2022

Release: v6.105.0
v6.104.0

d10c190c · ci: use npm node 14 instead of 12 for semantic release · Sep 22, 2021

Release: v6.104.0
6.103.3

7224b681 · Chore: generate version file via a dune rule (instead of a make rule) · Jul 08, 2021

Prev
1
2
3
4
5
Next