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.010Dec6429Nov282523Oct20Sep6Jun54331May28222117161513107626Apr252423221712108543229Mar27252221201911525Feb222013764131Jan29252419181716141120Dec18131126Oct10Aug876314Jul13121110976435Dec1Jun19May3Nov29Sep19Aug10Jul96221May514Apr139822Jan201326May12Mar1194325Feb11109654330Jan2312Dec8528Nov262521204327Oct24232217Sep152129Aug2826252221201923Jul222118178743130Jun26231813129653230May2928272621201615722Apr28Mar20171411626Feb21201514121176431Jan302821Dec181714515Nov19OctAdd 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 integersSome oracle failures were due to rounding errors !!!The numbers of test successes and failures was wrong because of test_lus2lic_no_node.Some (desperate) work to fix the ident2str mess so the -lv4 backend works better.Fix a bug in the -lv4 mode where constant coming from enum types were printed twice.Fix several issues w.r.t. clocks during node expansion.