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.02Apr29Mar27252221201911525Feb222013764131Jan29252419181716141120Dec18131126Oct10Aug876314Jul13121110976435Dec1Jun19May3Nov29Sep19Aug10Jul96221May514Apr139822Jan201326May12Mar1194325Feb11109654330Jan2312Dec8528Nov262521204327Oct24232217Sep152129Aug2826252221201923Jul222118178743130Jun26231813129653230May2928272621201615722Apr28Mar20171411626Feb21201514121176431Jan302821Dec181714515Nov19OctThe -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.Remove useless static args from Lic.PREDEF_CALL and AstCore.Predef_n.Fix a performance bug (again) due to verbose printing not being lazy.Fix 2 problems in the ec mode:Add support for merge on boolean variables.Shift the column number by 1 in Lxm.Change the syntax of merge (and adopt the one of heptagon).Add support for the Merge operator.Add support for condact in --expand-iterators mode.Fix some syntactic problems in test files.Always perform the nonreg test on triglav default so that the compute time remains comparable.Check dependance loop in -ec mode.Cleaning the mess in the test files.Plug back the enums expansion (-ee, --expand-enums) that translates enum types using extern consts and types.Fix a bug in l2lRmPoly.ml: var types were not susbtituted in "Lic.left".