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.022Apr1712108543229Mar27252221201911525Feb222013764131Jan29252419181716141120Dec18131126Oct10Aug876314Jul13121110976435Dec1Jun19May3Nov29Sep19Aug10Jul96221May514Apr139822Jan201326May12Mar1194325Feb11109654330Jan2312Dec8528Nov262521204327Oct24232217Sep152129Aug2826252221201923Jul222118178743130Jun26231813129653230May2928272621201615722Apr28Mar20171411626Feb21201514121176431Jan302821Dec181714515Nov19OctExtend 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.lus2lic is now working from ldbg and ltop.Copy event.ml, expr.ml, data.ml, and data.mli from Lurette.Add a library that allow ldbg/lurettetop to call lus2lic.Some work to prepare the merge with the lurette git repo.The -exec mode now supports the fby arrow statement natively (not via a "->/pre" s2s translation).The -exec mode now supports the arrow statement in a simpler manner.The -exec mode now supports the condact statement.The -exec mode now supports the merge and the fby statements.The -exec mode now supports the merge statement.The -exec mode now supports the when and the current statements.The -exec mode now supports the nor, diese, and xor operators.The -exec mode now supports the boolred iterator.The -exec mode now supports the fillred iterator. It way only working with map BTW.The -exec mode now supports the fillred iterator. It way only working with map BTW.The -exec mode now supports array iterators iterating on memory-full nodes.The -exec mode now supports array iterators (iterating on memoryless node).Rework the type of Lic expressions w.r.t. predef expressions.Some work in the -exec mode to support array iterators.The -exec mode now supports array concatenation.The -exec mode now supports enums.The -exec mode now supports explicit structures.The -exec mode now supports explicit arrays expression (e.g., [4,3,r])The -exec mode now supports partial assignment of arrays (a[i]=...).The -exec mode now supports array access in the rhs of equations.The -exec mode now supports 'hat' ("^").Program with memories and node calls now works in -exec mode !Program Identifiers renaming pass in Soc.More work on SocExec and lic2soc. Now all memoryless stuff seems to work includind node call.Add preliminary support for a Soc interpreter.Plug the lic2loc files directly onto the Lic.update the release to take into account the new places for test files.Remove Abstract_type_eff for Lic.type_.Remove all references to Ident.idref from Lic.Add a à la ocaml 'with' construct for modifying structures.Remove the dependence on Global from Lic.Remove the useless Lic.WITH as it is expanded in previous passes.