Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • master default protected
1 result
Created with Raphaël 2.2.020Nov18146518Jul171615121110865439May29Apr1916115422Mar211816151413121126Feb25212019181413121123Nov22212016151413121110984324Oct198525Sep242114133Aug23Jul1312422Jun211512118131May3029201817161574318Apr76330Mar292814913Feb131Jan3018171621Dec1918141312628Nov1514913Oct121110653226Sep252322211527Jul2120181714131210876330Jun27262322212017May16528Apr2726256520Mar632114Feb31Jan13111065430Dec282721208422Nov921Oct1230Sep2897126Aug9615Jun112Apr114Mar23Feb219Jan188718Dec161587- Refactored Error exception and messagesCommenting out unused variablesArray access: solved issues in C backend when basic operations in array access dimensions. Also better handling in EMF, ie further normalization through new equationscomment some code to avoid warning at compile timesolved bug 91 on cavale: spurious commas in emf backendMerge branch 'unstable' into lustrec-sealbetter location errorOptimize_machinebig: missing case with substituting expressions- tag_true and tag_false moved to lustre_types[seal] more progress on seal extractsort of slicing for machine codekind2 option for printing expressionsReactivated Unfold constantpartial evaluation for basic libModule to manipulate real constants. For the moment we Numcleaning debug logsreactivating the unfolding of constantsflatten dependencies in schedule to make sure all required equations are usedcleaning debug logs[emf] added the names of the cocospec properties in the output jsonbetter negation of constantsBetter treatment of arrays in EMF backend. Be careful it may have changed the way enum types are declaredMore kind2 outputs: clocked fun call + clocked and restart fun callseal: now deals with enumwhen condition in kind2 printerEMF backend issueseal: stateless systemsevery in kind2 syntax[seal] delt with Merge and whenNo more when suffix in clocked variables with kind2 optionProduce true/false statements as constantsremoved reload of external modules when checking algebraic loop.scheduling now report unused vars and remove their definition instead of stopping processing.kind2 output for printer. global option availableSeal: solved issue with guards mergingSorting expressions: less bugsvalid _verif node for seal-export lustreNo space in commentsSeal export lustre