Snippets Groups Projects

Tags

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

v6.111.3

ad15f236 · refactor: · 1 month ago

Release: v6.111.3
zip
tar.gz
tar.bz2
tar
v6.111.2

45cf40fb · refactor: enhance the --no-prefix option behavior · 1 month ago

Release: v6.111.2
zip
tar.gz
tar.bz2
tar
v6.111.1

efd33f70 · fix: -2cmt gen files need on some arch to be compiled with -lpthread -lrt · 3 months ago

Release: v6.111.1
zip
tar.gz
tar.bz2
tar
v6.111.0

14d2f1fd · build: git rid of Warning 69 · 3 months ago

Release: v6.111.0
zip
tar.gz
tar.bz2
tar
v6.110.3

9ffe5d65 · test: parametrize the nb of cores used for nonreg tests · 9 months ago

Release: v6.110.3
zip
tar.gz
tar.bz2
tar
v6.110.2

7ce79ce5 · fix: with -esa and (the experimental) -knc concat were not expanded · 1 year ago

Release: v6.110.2
zip
tar.gz
tar.bz2
tar
v6.110.1

e1329f77 · fix: with -knc, always parenthesis call to not · 1 year ago

Release: v6.110.1
zip
tar.gz
tar.bz2
tar
v6.110.0

118e9c5c · add a kind2 comment for the main node if --assert-in-contract is used · 1 year ago

Release: v6.110.0
zip
tar.gz
tar.bz2
tar
v6.109.1

7d7341bd · perf: generate more compact fresh var names · 1 year ago

Release: v6.109.1
zip
tar.gz
tar.bz2
tar
v6.109.0

18a4f6e1 · feat: check assert statically is possible · 1 year ago

Release: v6.109.0
zip
tar.gz
tar.bz2
tar
v6.108.0

49bac957 · ci: use js node 20 instead of 19 (deprecated) for semantic-release · 1 year ago

Release: v6.108.0
zip
tar.gz
tar.bz2
tar
v6.107.4

a3b50883 · Add a missing file · 1 year ago

Release: v6.107.4
zip
tar.gz
tar.bz2
tar
v6.107.3

ad176d2a · fix: the previous wasn't quite rigth · 2 years ago

Release: v6.107.3
zip
tar.gz
tar.bz2
tar
v6.107.2

f03d5d9b · fix: a bug (--2c) reported by Rui Chen w.r.t. nodes with no input · 2 years ago

Release: v6.107.2
zip
tar.gz
tar.bz2
tar
v6.107.1

09e2df2d · fix: a bug in enumerated clocks in -exec mode (due to de676726 ) · 2 years ago

Release: v6.107.1
zip
tar.gz
tar.bz2
tar
v6.107.0

8a61cf14 · fix: the generated C code for gcc 11 (default behavior changed) · 2 years ago

Release: v6.107.0
zip
tar.gz
tar.bz2
tar
v6.106.1

0929f236 · fix: a bug in the C code in presence of extern functions · 2 years ago

Release: v6.106.1
zip
tar.gz
tar.bz2
tar
v6.106.0

a57e49d8 · docs: edit a few comment in Soc.t · 2 years ago

Release: v6.106.0
zip
tar.gz
tar.bz2
tar
v6.105.1

747740a6 · doc: a link to the tools pages in the lv6 lang ref. · 2 years ago

Release: v6.105.1
zip
tar.gz
tar.bz2
tar
v6.105.0

861b2fb6 · feat: check assertions in the generated C code. · 2 years ago

Release: v6.105.0
zip
tar.gz
tar.bz2
tar

Prev
1
2
3
4
5
Next