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.09Jul4126Jun201817111076530May29271311Mar627Feb24Jan231923Nov21161516Jun8730Jan2528Oct262524212028Jul272221191287129Jun28201516May1211658Apr23Mar222122Sep13Jul985115Mar1117Aug19Jun17161211May18Mar1713314Feb10Dec2111Oct19Sep4230Aug2922229Jul111023May221716330Apr10529Jan28247Dec39Oct810Jul64323May27Apr28Mar25232122Feb12Jan18Dec148130Nov4Oct27Sep128622Aug1818Jul12105427Jun2622212015May324Apr9Mar20Feb11Jan1096222Dec30Nov211025Oct14720Sep139530Aug2621Jun14131May302718Mar1025Feb10832129Jan2827221425Sep2321320Aug1710Jul763125Jun2423221918171211129May2210Apr8730Mar242018327Feb2624231312927Jan262221201914712Dec817Nov9Oct7632129Sep95432127Aug2625221914711Jul10974127Jun26242320191816131210654230May22211226Mar2524Feb2023Jan2211Dec106429Nov282523Oct20Sep6Jun54331May28222117161513107626Apr252423221712108543229Mar27252221201911525Feb222013764131Jan29252419181716141120Dec18131126Oct10Aug8do not generated task if -2cmc is not setprise en compte des noeuds avec et sans memoireajout de la chaine de compilation avec taches executees sur threadsajout de la recuperation de taches et ecriture dans le yml (fonctionnel mais pas fini)Merge remote-tracking branch 'refs/remotes/origin/multi-task' into multi-taskfirst version to get the task listmulti-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)