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.024Feb2023Jan2211Dec106429Nov282523Oct20Sep6Jun54331May28222117161513107626Apr252423221712108543229Mar27252221201911525Feb222013764131Jan29252419181716141120Dec18131126Oct10Aug876314Jul13121110976435Dec1Jun19May3Nov29Sep19Aug10Jul96221May514Apr139822Jan201326May12Mar1194325Feb11109654330Jan2312Dec8528Nov262521204327Oct24232217Sep152129Aug2826252221201923Jul222118178743130Jun26231813129653230May2928272621201615722Apr28Mar20171411626Feb21201514121176431Jan302821Dec181714515Nov19OctApply 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.Fix a bug in the -exec mode triggered when manipulating arrays of arrays.Fix a bug in the implementation of diese (#).Fix a bug in the -ec mode for nodes which names chash with the Lustre package.mv lustre test programs that triggers an "#assert" into shoud_fail/assert.By redirecting the stderr of ecexe onto stdout, ecexe now terminate properly when called from lurette.Fix an internal error that was actually occuring on faulty programsRedirect stderr on stdout so that ecexe/ec2c errors are visible to expect/runtest.Fix a couple of bugs in the -exec mode in the handling of slices.Change the nonreg test scheme by inverting the role of v4 and v6 in the sut and the oracle.Fix a performance bug in the clock checking (quadratic->linear).Fix a bug when expanding nodes (-en). A Node that calls a node thatFix the handling of slices in left-hand-side.Force user to write Lustre::lt instead of lt to avoid name clashes.Fix a bug in the SOC (pre)definition of mod (modulo).Fix test the -ec mode in presence of clocked variable.Fix test cases that were failing for stupid reasons (typically, bad node name)Handle polymorphic soc betterFix the SOC generation of array slices.Modify the --gen-autotest mode so that the generated oracle avoid a bug in the -lv4 modeadd a --expand-enums-as-int option that translates enums using integers