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.027Jan9Dec20Nov18146518Jul171615121110865439May29Apr1916115422Mar211816151413121126Feb25212019181413121123Nov22212016151413121110984324Oct198525Sep242114133Aug23Jul1312422Jun211512118131May3029201817161574318Apr76330Mar292814913Feb131Jan3018171621Dec1918141312628Nov1514913Oct121110653226Sep252322211527Jul2120181714131210876330Jun27262322212017May16528Apr2726256520Mar632114Feb31Jan13111065430Dec282721208422Nov921Oct1230Sep2897126Aug9615Jun112Apr114Mar23Feb219Jan188718Dec1615printing nodes + more progress on seal export[MPFR] add more functions and better treatment of print output variables in main.ctemporary changed in the expression printerpreserving types/clocks when possibleMoved some code- 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 available