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.010Jun654230May22211226Mar2524Feb2023Jan2211Dec106429Nov282523Oct20Sep6Jun54331May28222117161513107626Apr252423221712108543229Mar27252221201911525Feb222013764131Jan29252419181716141120Dec18131126Oct10Aug876314Jul13121110976435Dec1Jun19May3Nov29Sep19Aug10Jul96221May514Apr139822Jan201326May12Mar1194325Feb11109654330Jan2312Dec8528Nov262521204327Oct24232217Sep152129Aug2826252221201923Jul222118178743130Jun26231813129653230May2928272621201615722Apr28Mar20171411626Feb21201514121176431Jan302821Dec181714515Nov19OctSoc2c : incorrect code was generated for memoryless main soc.Soc2c : add support for (main) soc that have struct in their profile.Soc2c : fix a couple of issues in struct printing.Soc2c : avoid multiple soc typedef definition in the C code.More non reg tests where the -2c option : check that the generated C code compilesAdd non reg tests where the -2c option.Fix a bug in soc2c: the typedef of the main soc was printed twice if it is memoryless.Use the main node name to name the C files generated via -2cSome more work on the soc2c code generator.Some more work on the soc2c code generator.Some work on the soc2c code generator.Merge branch 'master' of git+ssh://scm.forge.imag.fr/var/lib/gforge/chroot/scmrepos/git/lustre/lus2licremove junk filesMerge branch 'new_branch_name'Better message when a combinational loop is detected.new_branch_namenew_branch_nameFix an hard-coded user name in the toplevel Makefile.Start working on the soc2c code generator (accessible via --to-c or-2c options).Adapt to the new Rdbg Plugin interface.Do not exit with an internal error when a badly typed input val is provided to lus2lic -exec.Propagate the new profile of Event.incr_nb that now returns the event numberApply the change of data structure done in the OcamlRM module (s/add_/reg_/g)Apply the change of data structure done in Data and Event Modules of rdbgFix a bug when expanding boolred.Make to use tail recursive calls in L2lsplit.Rewrite the topological sort of actions.Add an -interface option to be able to perform the nonreg tests with rdbg -lurette.Fix a bug in the -rif mode where the inputs were repeated.Fix the main rule in test/Makefile, where I was missing test breaks wrt "lus2lic.log.ref".Add a -ocaml option that generates ocaml glue code to call lus2lic from ocaml via Lus2licRun.make.Add a -rif option that is similar to the ecexe -rif option.update the test/lus2lic.log.ref which was timestampted at april 2013 !!Add a lus4ocaml plugin (for rdbg).Use aosis and ocamlbuild instead of ocamlmakefile.Remove some modules that are now defined in rdbg-plugin: Event, Failure, Expr, Data, RifIO.A tentative to fix a bug in clock checking appearing in a program ofFix problems in release/MakefileFix the handling of condact in the -exec mode.Translate fby into -> pre again, because the current implementation of fby is buggy if the fby is initialised with an inputFix the handling of fby in Soc.Fix the -ei (--expand-iterators) mode that was producing wrong code for condact.