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.017May161574318Apr76330Mar292814913Feb131Jan3018171621Dec1918141312628Nov1514913Oct121110653226Sep252322211527Jul2120181714131210876330Jun27262322212017May16528Apr2726256520Mar632114Feb31Jan13111065430Dec282721208422Nov921Oct1230Sep2897126Aug9615Jun112Apr114Mar23Feb219Jan188718Dec16158729Nov262120167613Oct98715Sep18Aug139Jun513May5413Apr9843124Mar17161265316Feb10Dec98127Nov29Sep26241814109543215Jul12111098743227Jun262524corrected 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_funKind licence fileTentative to rely on Kind parser for contractsProduce condition coverage for basic boolean expressions. To be improved with a simpler condition.[lustrec/mcdc/ improved the MCDC outputTuning the pretty printing of Salsa pluginHomogenizing the API for salsa and its use within the pluginSome tentative improvement of Salsa plugin. Not satisfying yetMoved mk_fresh_var from normalization to corelang[scopes] Producing the appropriate scope labelNumMartel functionsMerging unstable into salsaMerge branch 'unstable' into salsaTry to debug the use of Z3 API. Still having troublesZustre: do not declare variables as Fixedpoint relationsFiltering out ERR and MAIN from the forall quantificationSome progress on zustre2zustre: missing basic opsZustre backendMerge branch 'lustrec-seal' of https://cavale.enseeiht.fr/git/lustrec into lustrec-sealMerge branch 'lustrec-seal' of https://cavale.enseeiht.fr/git/lustrec into lustrec-sealMerge conflict solvedMerge branch 'unstable' into lustrec-sealBasic library printers moved into backend specific printer filesFurther restructuring:MLI for normalization and machine_code.- Makefile: solved dependency problem when compiling include lusiMerge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec into unstable