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.013Sep3Aug23Jul1312422Jun211512118131May3029201817161574318Apr76330Mar292814913Feb131Jan3018171621Dec1918141312628Nov1514913Oct121110653226Sep252322211527Jul2120181714131210876330Jun27262322212017May16528Apr2726256520Mar632114Feb31Jan13111065430Dec282721208422Nov921Oct1230Sep2897126Aug9615Jun112Apr114Mar23Feb219Jan188718Dec16158729Nov262120167613Oct98715Sep18Aug139Jun513May5413Apr9843124Mar17161265316Feb10Dec98127Nov29Sep26241814109543215Jul12111098Cocospec 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 lustreiCompiling - while doing nothing :)Bootstrapping VHDL importer/exporterbug wrt normalization. Didn't take clock into account.strange bug (ill-typed source) wrt Bytes/String conversionbug in CSE, was disregarding clockMerge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec into unstablezustre progress. Issues with sliced predicatespackage z3 to Z3 when using z3 github repo.Adding input in MAIN fdecl[lustrev] forced the z3 lib to be loaded before others when using the provided bash script.[lustrev] fixed some issues when calling Z3. Seems working for the moment: basic call to Z3 and sat/unsat result