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.016Nov151413121110984324Oct198525Sep242114133Aug23Jul1312422Jun211512118131May3029201817161574318Apr76330Mar292814913Feb131Jan3018171621Dec1918141312628Nov1514913Oct121110653226Sep252322211527Jul2120181714131210876330Jun27262322212017May16528Apr2726256520Mar632114Feb31Jan13111065430Dec282721208422Nov921Oct1230Sep2897126Aug9615Jun112Apr114Mar23Feb219Jan188718Dec16158729Nov262120167613Oct98715Sep18Aug139Jun513May5413Apr9843124Mar17161265316Feb10Dec98127Nov29Sep26Fixing issues with changes in machine codeMerge branch 'unstable' into lustrec-sealNum module for mliNum is a package in recent ocamlCleaning warning in mpfrNo more uses of kind filesmath fun lib support in MPFRMerlin filesEMF export of local type definition (for simple types)mutation bug solved: improper access to an element of an empty list of bindingsPrinters bug solved: now properly printing lustre file as open/types/other declsLustre test gen mutation: bug solved. The path to the installation was hardcoded.Bug solved in MCDC generation: Some annotations generated were producing problemsPrint the spec within the nodePretty serious update:Moved back mpfr to its folder. Previsouly there was two competing files :(MPFR bug solved: typing of function argument was not properly building tuples of types.Improved configure.acRemoved Contract contruct: imported node should be enough. Solved some warning at compile timeFurther processing of contract in the typing. More to goFirst working version of switched system extraction for seal toolMerge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec into unstableRestructuring code in SEALMerge branch 'unstable' into lustrec-sealMerge branch 'cocospec_to_be_merged' into unstableMerge branch 'cocospec' of https://cavale.enseeiht.fr/git/lustrec into cocospecconfigure.ac tuningSEAL: compute the projection to switched systems. Some issues with intermediate variables and a better selection of split guard have to be addressedlog new option to mention plugin or moduleMoved find_eq from Machine_code to Corelang and sort_eqs from Machine_code to SchedulingPreprocess the selected node in seaL BACKEND: focus on memories and perform node slicing.Scheduling of node equations is now attached to machine typeMoved definition of graph modules from Causality to Utils to avoid cyclic depsMerge branch 'unstable' into lustrec-seal- Global type env and clock env now availble as a global reference (Global module)Some refactoring[bug solved] do not normalize eexpr in annotations, only in specification.Merge branch 'git-configure' into cocospecBetter management of git branch in configure.acNormalizing eexpr