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.04Nov324Oct198525Sep242114133Aug23Jul1312422Jun211512118131May3029201817161574318Apr76330Mar292814913Feb131Jan3018171621Dec1918141312628Nov1514913Oct121110653226Sep252322211527Jul2120181714131210876330Jun27262322212017May16528Apr2726256520Mar632114Feb31Jan13111065430Dec282721208422Nov921Oct1230Sep2897126Aug9615Jun112Apr114Mar23Feb219Jan188718Dec16158729Nov262120167613Oct98715Sep18Aug139Jun513May5413Apr9843124Mar17161265316Feb10Dec98127Nov29Sep26241814109543215JulMoved 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 eexprMerge branch 'cocospec' of https://cavale.enseeiht.fr/git/lustrec into cocospecImproving connection with CDashdoc: add HTML grammar filesolve error in lexer introduced by previous mergefinishing solving strange conflicts for merge...Renamed annots into contracts. Preparing for syntax extension- Removed the kind2 file (parser/lexer/types)Merge branch 'cocospec' of https://cavale.enseeiht.fr/git/lustrec into cocospecCocospec discussions in the TODO.orgadd more conversion librariesfix rem and modMerge branch 'master' of https://cavale.enseeiht.fr/git/lustrecadd tanhUpdating dependencies in the READ:EMerge branch 'master' into unstableMerge branch 'merge' into unstableUpdate the configure to prepare the next release 1.6 Xia/ZhuByte/String bug reappearedMerge branch 'master' of https://cavale.enseeiht.fr/git/lustrecPreparing release of 1.5 Xia/Shao KangPreparing release 1.6 Xia/ZhuSolved bug#57: issues when indirect init of a pre in horn-tracesTemporily disabling Mehnir as a parser.Merge branch 'vhdl' of https://cavale.enseeiht.fr/git/lustrec into lustrec-sealRefactoring of vhdl data typesAdded two fresh vars counter and uid.New option to select github version of Z3Added support for Process statements, signal assignment, If, Exit and Null sequential statementsAdded postprocessing for numeric literals