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.020Jun1817111076530May29271311Mar627Feb24Jan231923Nov21161516Jun8730Jan2528Oct262524212028Jul272221191287129Jun28201516May1211658Apr23Mar222122Sep13Jul985115Mar1117Aug19Jun17161211May18Mar1713314Feb10Dec2111Oct19Sep4230Aug2922229Jul111023May221716330Apr10529Jan28247Dec39Oct810Jul64323May27Apr28Mar25232122Feb12Jan18Dec148130Nov4Oct27Sep128622Aug1818Jul12105427Jun2622212015May324Apr9Mar20Feb11Jan1096222Dec30Nov211025Oct14720Sep139530Aug2621Jun14131May302718Mar1025Feb10832129Jan2827221425Sep2321320Aug1710Jul763125Jun2423221918171211129May2210Apr8730Mar242018327Feb2624231312927Jan262221201914712Dec817Nov9Oct7632129Sep95432127Aug2625221914711Jul10974127Jun26242320191816131210654230May22211226Mar2524Feb2023Jan2211Dec106429Nov282523Oct20Sep6Jun54331May28222117161513107626Apr252423221712108543229Mar27252221201911525Feb222013764131Jan29252419181716141120Dec18131126Oct10Aug876multi-task: split the node step to shedule START ASAP, and JOIN ALAPMerge remote-tracking branch 'refs/remotes/origin/multi-task' into multi-taskThe --2c-multi-task mode works on Pascal example (except the yaml part)generateur d'un nouveau yaml pour generer des taches (pas fini)lustre-mt_omplustre-mt_ompprise en compte de l'underscore dans les noms des vars du ymlAllow to attach pragmas to equationsfix: multi-line pragmas parsing was wrongcorrection d'une typoajout de la generation des i/oajout des start, join, init et reset des tachesajout de la generation des structures a partir du ymltest: parametrize the nb of cores used for nonreg testsv6.110.3v6.110.3fix: make the (former) -2ch (now -2c-io-c) work (again?)fix: 2 bugs revealed by the new check_knc pass (C var nameschangement du nom du noeud principaltaches parallele avec omp sur exemple multicoreajout du noeud CCtest: add a pass to check -knc and -knpc optionsajout des fichiers tests de baseSome work on the experimental -rte optionminor improvements in -help messageadd fold as an alias for fillredfix: with -esa and (the experimental) -knc concat were not expandedv6.110.2v6.110.2fix: with -knc, always parenthesis call to notv6.110.1v6.110.1add a kind2 comment for the main node if --assert-in-contract is usedv6.110.0v6.110.0fix: remove a useless error raised without -enfeat: add an exp option, that put assert contents in kind2 contractsperf: generate more compact fresh var namesv6.109.1v6.109.1feat: 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 pragmas
Loading