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.015Jun12118131May3029201817161574318Apr76330Mar292814913Feb131Jan3018171621Dec1918141312628Nov1514913Oct121110653226Sep252322211527Jul2120181714131210876330Jun27262322212017May16528Apr2726256520Mar632114Feb31Jan13111065430Dec282721208422Nov921Oct1230Sep2897126Aug9615Jun112Apr114Mar23Feb219Jan188718Dec16158729Nov262120167613Oct98715Sep18Aug139Jun513May5413Apr9843124Mar17161265316Feb10Dec98127Nov29Sep26241814109543215Jul12111098743227Jun26Added 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 resultMore work on Salsa plugin[salsa] more debug messagescorrected kind parsing[salsa] introducing sliced temporal variablesSome progress on zustreupdated division for Horn clausescorrected euclidean division in C codecorrected the division conversion schemecorrected the division conversion schemeMerge branch 'unstable' into lustrec-sealInteger div choicesProvide back the previous behavior concerning parsing spec.Merge branch 'cocospec' of https://cavale.enseeiht.fr/git/lustrec into unstableMerge branch 'euclidean' into unstableMerge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec into unstableMerge branch 'euclidean' of https://cavale.enseeiht.fr/git/lustrec into euclideanintroduced euclidean/C-like division in C code generationinstall of yojson depends on lustresf in configure nowEuclidean div/mod treatment in Horn backendIssues with typing pp_basic_lib_fun