Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
  • multi-task
  • lustre-mt_omp
  • add-multi-generation
  • pascal01
  • take-reset-pragma-into-account
  • 6-can-not-iterate-over-the-plus-node-as-long-as-it-is-named-plus
  • tmp
  • previously_on_no_branch
  • new_branch_name
  • u0
  • solve_ident
  • 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
Compare
Erwan Jahier's avatar
clean-up utils/lustrequiv, and install in the opam bin dir.
erwan authored 
add and install an alias to lus2lic name lv6.

lus2lic --gen-autotest now overrides existing _oracle*.lus and _env*.lut files
342785b6
History
Erwan Jahier's avatar 342785b6
History
Name Last commit Last update
..