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.08Apr730Mar242018327Feb2624231312927Jan262221201914712Dec817Nov9Oct7632129Sep95432127Aug2625221914711Jul10974127Jun26242320191816131210654230May22211226Mar2524Feb2023Jan2211Dec106429Nov282523Oct20Sep6Jun54331May28222117161513107626Apr252423221712108543229Mar27252221201911525Feb222013764131Jan29252419181716141120Dec18131126Oct10Aug876314Jul13121110976435Dec1Jun19May3Nov29Sep19Aug10Jul96221May514Apr139822Jan201326May12Mar1194325Feb11109654330Jan2312Dec8528Nov262521204327Oct24232217Sep152129Aug2826252221201923Jul222118178743130Jun26231813129653230May2928272621201615722Apr28Mar20171411626Feb21201514121176431Jan302821Dec181714515Nov19Oct--2c-inline-loop, -2cil: a new option that inline iterator loops.Bug fix : boolred uses no memory!-en: inline iterators when expanding nodes.-2cw7 : fix the call to owcet that was wrong when -o was not used.fix a fake conflict due to a git clumsinesssoc2c -wcet: print hints to compute the wcet of the current program.soc2c -wcet: print hints to compute the wcet of the current program.soc2c: fix the generation _ext.ch files in the stack (default!) mode.Add a --2c-wcet (-2cw7) option that generates a main file for computing wcet.The string used with -o/--output-file is used as base name to generated C files.lic2soc: try a few optimisation wrt Soc.gao scheduling and test opening.Rename LicName into FreshName.Fresh var names : keep only one mechanism to invent var names.Rename Ident into Lv6Id to avoid a clash with a module ocaml/compilers-libs.Add an option to control whether or not structured type should be expanded.Fix a typo in the previous changePrevent an assert failure on win32--2c--stack: fix a bug occuring when the accumulator of a fillred is passed by adress--2c--stack: fix a bug in code generated for array concat.--2c--stack: fix a bug in code generated for array concat.soc2c: fix a bug occuring when copying arrays with memcpy().--2c-stack: fix some of the pbs in this mode (to be continued).--2c-stack: fix some of the pbs in this mode (to be continued).--2c-stack: fix some of the pbs in this mode (to be continued).Add a --2c-stack option that uses the stack instead of the heap to transfer I/Osoc: Simplify the naming scheme of soc ident.lic2soc: the list of clocks was built in the reserve order !Remove all warnings.Check node declaration wrt safety and memory.Fix a couple of bugs in the -oite option.Add syntax support for unsafe nodes.Add a --optimize-ite/-oite option that transforms if/then/else into merge when possible.Fix a bug when using -esa -en -2c on programs with assertMerge does not generate soc anymore !The ocaml lib is now named "lustre-v6" instead of "lus2ocaml".Merge branch 'master' of git+ssh://scm.forge.imag.fr/var/lib/gforge/chroot/scmrepos/git/lustre/lus2licRun the test on montrond, not on bauges.Run the test on montrond, not on bauges.addd untracked filespreviously_on_n…previously_on_no_branchFix a few comment.