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.010Jul763125Jun2423221918171211129May2210Apr8730Mar242018327Feb2624231312927Jan262221201914712Dec817Nov9Oct7632129Sep95432127Aug2625221914711Jul10974127Jun26242320191816131210654230May22211226Mar2524Feb2023Jan2211Dec106429Nov282523Oct20Sep6Jun54331May28222117161513107626Apr252423221712108543229Mar27252221201911525Feb222013764131Jan29252419181716141120Dec18131126Oct10Aug876314Jul13121110976435Dec1Jun19May3Nov29Sep19Aug10Jul96221May514Apr139822Jan201326May12Mar1194325Feb11109654330Jan2312Dec8528Nov262521204327Oct24232217Sep152129Aug2826252221201923Jul222118178743130Jun26231813129653230May2928272621201615722Apr28Mar20171411626Feb21201514121176431Jan302821Dec181714515Nov19OctFix the bug detected in the previous commit where type instance were not propagated in package obtained from a model instance.The nonreg test process was missing some failures.expansion of "boolred" in form of equations.expansion of "boolred" in form of equations.Update the test file resultsProbleme des noeud parametrique definis dans un pack :ok for scade keywords and ASSERTS.fix conflict in sum filestest harness: do not fail if the error is due to a name clash with kcgtmptmpkcg key word listRaise an standard error instead of an internal error when the arity of a node call is bad.Update the test/lus2lic-kcg.sum by running the testFix conflicts caused by the merge.Merge branch 'master' of /home/jahier/lus2licAdd test scripts for the -kcg option.Remove the dependencies of Lv6MainArgs in Lv6utils introduced by Mamadou-kcg:ok for node calling another node.(for example in the file aa.lus)Remove the dependencies of Lv6MainArgs in Lv6utils introduced by Mamadou-kcg: forces the -esa(expand_arrays) option so that arrays walk with diese.We will see later how to treat properly the arrays.-kcg: OK for abstract types and functions and extern nodesMerge /home/ndiaye/lus2licAdd a few test files.-kcg: now compiles the edge node correctly.-kcg: now compiles the edge node correctly.-kcg: now compiles the edge node correctly.Add a -kcg that does nothing (for Mamadou).Add lv6Id.ml/mli that was not tracked by git !!!Add a third level of options.--gen-autotest: also generates an arocle to compare lustre programs with lesar-2ch: Fix a bug introduced in d735e71a246545f1b9e3498d3b76d801d3539f61-2ch: Fix a bug introduced in b5f3d50f1d6bf7b5c27c600ad97e10b4805be6878soc2c: change the C representation of soc instancesFixing and updating the lv6 manual.--2c-inline-loop, -2cil: a new option that inline iterator loops.Bug fix : boolred uses no memory!-en: inline iterators when expanding nodes.-2cw7 : fix the call to owcet that was wrong when -o was not used.fix a fake conflict due to a git clumsinesssoc2c -wcet: print hints to compute the wcet of the current program.soc2c -wcet: print hints to compute the wcet of the current program.