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.025Sep242114133Aug23Jul1312422Jun211512118131May3029201817161574318Apr76330Mar292814913Feb131Jan3018171621Dec1918141312628Nov1514913Oct121110653226Sep252322211527Jul2120181714131210876330Jun27262322212017May16528Apr2726256520Mar632114Feb31Jan13111065430Dec282721208422Nov921Oct1230Sep2897126Aug9615Jun112Apr114Mar23Feb219Jan188718Dec16158729Nov262120167613Oct98715Sep18Aug139Jun513May5413Apr9843124Mar17161265316Feb10Dec98127Nov29Sep26241814109543215Jul121110Merge 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 literalsOngoing work on json vhdl to vhdl structure conversionmissing fileZustre: timeout and slicingupdated luster lexer ??Working example!Pom pom pomSample value for VHDLMain lustrei