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.07Oct20Sep139530Aug2621Jun14131May302718Mar1025Feb10832129Jan2827221425Sep2321320Aug1710Jul763125Jun2423221918171211129May2210Apr8730Mar242018327Feb2624231312927Jan262221201914712Dec817Nov9Oct7632129Sep95432127Aug2625221914711Jul10974127Jun26242320191816131210654230May22211226Mar2524Feb2023Jan2211Dec106429Nov282523Oct20Sep6Jun54331May28222117161513107626Apr252423221712108543229Mar27252221201911525Feb222013764131Jan29252419181716141120Dec18131126Oct10Aug876314Jul13121110976435Dec1Jun19May3Nov29Sep19Aug10Jul96221May514Apr139822Jan201326May12Mar1194325Feb11109654330Jan2312Dec8528Nov262521204327Oct24232217Sep152129Aug2826252221201923Jul222118178743130Jun26231813129653230May2928272621201615722Apr28Mar20171411626Feb212015141211764Add a --2c-several-files option that generates 1 c file (+ 1 h file) per node-2cw7: generate C annotations (as comments) for Lesar/w7LicDump: declare local vars in a topological order wrt clock dependancies.-2c: bad _assign_ macros were generated for extern constantAccept current(<const>) expressions (and simply ignore the current).-2c: override the enum mode when generating C code as the default (AsEnum)Fix the L2lExpandNodes pass, that was buggy wrt clock params and arguments.--when-on-id, --no-when-not: some created vars were not declared in the ec.-ec: translate merge into if-then-else.L2lWhenOnId.doit and L2lNoWhenNot.doit missed some part of the lic tree.Add the option --no-when-not because ec does not know "when not".--when-on-ident: Make sure we don't create the same var twice-2cw7: use variable in the generated script to be able to override default tool names.--when-on-ident: replace enum clock in var_info too!Add a --when-on-ident option to be able to translate enums into ec/v4.Add a --expand-enum-as-bool option (to be model-checker-friendly).Do not translate enums into int by default (only in -exec and -2c mode).lus2lic -lv4: fix a bug (reported by PR) where invalid v4 idents where generatedsoc2c: fix a bug in the reset functions (that were not used before --2c-global-ctx)Add a --2c-global-ctx context option that perform a static alloc og the ctxFix the version number (that was shifted by 1) used when generating package name.Add an Astv6.t printerTake into account the change in the rdbg-plugin interface (V1.55)Take into account the change in Rdbg.event w.r.t. event number (rdbg 1.51).Rationnalize the use of time-profiling printing.Use topoSort to sort the list of vars in LicTab.sort_vars.Functorize the topological sort performed in sortActions.ml.Use rev_append instead of @ and win a 5x on a 10 000 equations program (tri.ec).git strugglingfix onlyroll.lus in the test dir (init pb)Fix a performance bug in the topological sort of actions.oups: Makefile.dev was not tracked... hence the 2 previous commits are empty.Better msgs if the workflow described in "Makefile.dev" is violated.Clean-up the git repo and split the Makefile (into Makefile.dev).Clean-up the git repo.Cleaning the Makefile up, and add a rule to build (and install) lustre-v6The lus2lic binary actually does not depend on rdbg-plugin anymore!Split SocExec into SocExec and SocExecDbg as a first step to remove the rdbg-plugin dep.a sligth enhancement on the luciole-rif scriptRename Verbose into Lv6Verbose to avoid a clash when building lurettetop.