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.04Dec29Nov282523Oct20Sep6Jun54331May28222117161513107626Apr252423221712108543229Mar27252221201911525Feb222013764131Jan29252419181716141120Dec18131126Oct10Aug876314Jul13121110976435Dec1Jun19May3Nov29Sep19Aug10Jul96221May514Apr139822Jan201326May12Mar1194325Feb11109654330Jan2312Dec8528Nov262521204327Oct24232217Sep152129Aug2826252221201923Jul222118178743130Jun26231813129653230May2928272621201615722Apr28Mar20171411626Feb21201514121176431Jan302821Dec181714515Nov19OctAdd 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.Extend the non-reg test with a lurette-based comparison of the -exec and -ec modes.Fix a bug in the -ec mode where non-infix op were printed in their long versionAdd --gen-autotest option that generates a Lutin file and an oracle Lustre file suitable to compare the result of 2 Lustre compilersAdd the exit port to ldbg plugin.