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.021Nov2016151413121110984324Oct198525Sep242114133Aug23Jul1312422Jun211512118131May3029201817161574318Apr76330Mar292814913Feb131Jan3018171621Dec1918141312628Nov1514913Oct121110653226Sep252322211527Jul2120181714131210876330Jun27262322212017May16528Apr2726256520Mar632114Feb31Jan13111065430Dec282721208422Nov921Oct1230Sep2897126Aug9615Jun112Apr114Mar23Feb219Jan188718Dec16158729Nov262120167613Oct98715Sep18Aug139Jun513May5413Apr9843124Mar17161265316Feb10Dec98Cleaning up stuff in normalization. Mainly replace arguments with only required elementsMoved lusic to .h printer after normalizing in case we want one day to produce ACSL from a normalized specUnified compilation of lusi and lus filesAdded include directive that directly inject a lustre source file in the prog- Dep type with a tuple has been replaced by a record type- Module.load_header and load_program were merged.Added back the gitbranch option ins configure.ac. Was wrongly removed in the release processSome thoughts about lusicMerge branch 'unstable' into lustrec-sealNew url in opam fileNew archive for 1.6Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrecInitiating nwew version 1.7 Xia/HuaiCleaning git references for releaseRecording the opam filePreparing release 1.6 Xia/ZhuiMerge branch 'master' into unstableSome autoconf updateIssues with linking Z3 on OSXFixing issues with changes in machine codeMerge branch 'unstable' into lustrec-sealNum module for mliNum is a package in recent ocamlCleaning warning in mpfrNo more uses of kind filesmath fun lib support in MPFRMerlin filesEMF export of local type definition (for simple types)mutation bug solved: improper access to an element of an empty list of bindingsPrinters bug solved: now properly printing lustre file as open/types/other declsLustre test gen mutation: bug solved. The path to the installation was hardcoded.Bug solved in MCDC generation: Some annotations generated were producing problemsPrint the spec within the nodePretty serious update:Moved back mpfr to its folder. Previsouly there was two competing files :(MPFR bug solved: typing of function argument was not properly building tuples of types.Improved configure.acRemoved Contract contruct: imported node should be enough. Solved some warning at compile timeFurther processing of contract in the typing. More to goFirst working version of switched system extraction for seal tool