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.05Jul14Jun25May1918121015Apr14131211229Mar10415Feb14109328Jan1714126516Dec929Nov17161096543229Oct28272622211513765130Sep27232120148725Aug29Jul52130Jun2928251817161514434May26Apr222120161229Mar252219181098119Feb161585326Jan2117Nov16Jul9212Mar27Jan9Dec20Nov18146518Jul171615121110865439May29Apr1916115422Mar211816151413121126Feb25212019181413121123Nov22212016151413121110984324Oct198525Sep242114133Aug23Jul1312422Jun211512118131May3029201817161574318Apr76330Mar292814913Feb131Jan3018171621Dec1918141312628Nov1514913Oct121110653226Sepfix READMEupdate README to add 'install' instructionsadd logosupdate reg testsadd instructions for regression tests submodulecorrections to handle stateless / statefullremove some linebreaksuse automatic rather than hard-coded variable names in main ACSL specnew way of handling contracts : use ghost contract function + contract transition relationsformatACSL ok for main loop of stateless nodesgenerate *_memory.h and *_spec.h headersrewrite k-induction predicates and lemmasfix dune buildreorganize internal libraries to solve execution failures for other executables than lustrecremove some unecessary files and some dead coderanme LICENSE filemissing 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)