Skip to content
Snippets Groups Projects
Select Git revision
  • 6-can-not-iterate-over-the-plus-node-as-long-as-it-is-named-plus
  • add-multi-generation
  • lustre-mt_omp
  • master default protected
  • multi-task
  • new_branch_name
  • pascal01
  • previously_on_no_branch
  • solve_ident
  • take-reset-pragma-into-account
  • tmp
  • u0
  • v6.111.3
  • v6.111.2
  • v6.111.1
  • v6.111.0
  • v6.110.3
  • v6.110.2
  • v6.110.1
  • v6.110.0
  • v6.109.1
  • v6.109.0
  • v6.108.0
  • v6.107.4
  • v6.107.3
  • v6.107.2
  • v6.107.1
  • v6.107.0
  • v6.106.1
  • v6.106.0
  • v6.105.1
  • v6.105.0
32 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.023Jan1923Nov21161516Jun8730Jan2528Oct262524212028Jul272221191287129Jun28201516May1211658Apr23Mar222122Sep13Jul985115Mar1117Aug19Jun17161211May18Mar1713314Feb10Dec2111Oct19Sep4230Aug2922229Jul111023May221716330Apr10529Jan28247Dec39Oct810Jul64323May27Apr28Mar25232122Feb12Jan18Dec148130Nov4Oct27Sep128622Aug1818Jul12105427Jun2622212015May324Apr9Mar20Feb11Jan1096222Dec30Nov211025Oct14720Sep139530Aug2621Jun14131May302718Mar1025Feb10832129Jan2827221425Sep2321320Aug1710Jul763125Jun2423221918171211129May2210Apr8730Mar242018327Feb2624231312927Jan262221201914712Dec817Nov9Oct7632129Sep95432127Aug2625221914711Jul10974127Jun26242320191816131210654230May22211226Mar2524Feb2023Jan2211Dec106429Nov282523Oct20Sep6Jun54331May28222117161513107626Apr252423221712108543229Mar27252221201911525Feb222013764131Jan29252419181716141120Dec18131126Oct10Aug876314Jul131211109764feat: check assert statically is possiblev6.109.0v6.109.0ci: with the new docker image, opam update doesnt need sudo anymoreci: try a working docker imageci: try an up-to-date image (with ocaml5+opam2) provided by ocamlprotest: use an existing docker imagetest: use a more recent ubuntu docker img to get dune 2.7 (for cram)ci: use js node 20 instead of 19 (deprecated) for semantic-releasev6.108.0v6.108.0more work on -rtetest: add cram testsfix: better error message when static arguments are forgottenfeat: allow any types as arguments of numeric operators.fix line numbers in presence of multi-lines pragmasthe -rte cli option now takes a string as argument (int8, int16, etc)add a -rte cli optionprint node pragmas in -lv4 modeRemove useless parenthesis when generating lustre code.Allow node pragmas to be put after node declarationsAdding multi-lines pragmas to the lv6 syntaxAdd a missing filev6.107.4v6.107.4Add a --keep-nested-predef-calls optionrefactor: minor changesbuild: minor improvements in the packaging processfix: clean up the id the lv6 rdbg pluginfix: the previous wasn't quite rigthv6.107.3v6.107.3fix: a bug (--2c) reported by Rui Chen w.r.t. nodes with no inputv6.107.2v6.107.2fix: a fake commit to protect the tgz used in the main opam repobuild: not compatible with ocaml 4.05 (because of List.init)test: remove a test that loops (was doing a Stack overflow)fix: a bug in enumerated clocks in -exec mode (due to de676726e9fc)v6.107.1v6.107.1doc: minor enhancements.ci: really fix!ci: fixci: fixfix: the generated C code for gcc 11 (default behavior changed)v6.107.0 add-mu…v6.107.0 add-multi-generationease ocamldebug-ingtest: remove a test that loops (it was doing a SO before)doc: --2c-wcet and --2c-multi-core are experimentaldoc: fix a syntax error in an examplefix: replace the deprecated kprintf by ksprintf (for ocaml 5.0)refactor: remove a code dupl
Loading