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.015Apr14131211229Mar10415Feb14109328Jan1714126516Dec929Nov17161096543229Oct28272622211513765130Sep27232120148725Aug29Jul52130Jun2928251817161514434May26Apr222120161229Mar252219181098119Feb161585326Jan2117Nov16Jul9212Mar27Jan9Dec20Nov18146518Jul171615121110865439May29Apr1916115422Mar211816151413121126Feb25212019181413121123Nov22212016151413121110984324Oct198525Sep242114133Aug23Jul1312422Jun211512118131May3029201817161574318Apr76330Mar292814913Feb131Jan3018171621Dec1918141312628Nov1514913Oct121110653226Sep252322211527Jul2120missing apt update?remove former autoconf/make files and update READMEfix tests classnameuse FindPythonshould it be python2?not python3install pythoninstall mpfr and xsltprocinstall javamissing sudoadd cmake install directivegive up on reusability, artifacting _opam and _build exceeds maximal size of artifact, we're just going to rebuild everything for nowwe have to remove tags otherwise the untagged shared runners cannot run the jobuse artifacts instead of caching since caching does not seem to work with shared runner and the runner on prise suffer for connection pbsdefer CI to prisethe cache does not work?try to reuse same cache/image for test jobmissing filestests in a separate jobadd submodule support in CIrelative address for tests submoduulesfirst try to integrate regression testsCOSMETICS (dune build @fmt --auto-promote)add regression tests (dune build @ctest)Merge branch 'cocospec-to-acsl' of gitlab.isae-supaero.fr:lustrec/lustrec into cocospec-to-acsluse a fork of Frama-C in DockerMerge branch 'merge-2022_04_11' into cocospec-to-acslMissing filesMerge branch 'cocospec-to-acsl' into merge-2022_04_11new ignored tests (timeouts)updated wrt tiny library API changesthe strategy seems to be fixed (ie. does not imply those strange Lang.floats non-initialized context exceptions)fix tests and strategyadded a simpler version of the problematic Detector1_PP exampledo not ignore invalid contracts (bc we do not compile them)flag for contracts compilationrecursive strategy to unfold memory pack relationsCleaningthe strategy will now unfold reset_cleared predicatesnormalize enum order