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.029Mar282422212017151432124Feb23222010230Jan262524175Jul14Jun25May1918121015Apr14131211229Mar10415Feb14109328Jan1714126516Dec929Nov17161096543229Oct28272622211513765130Sep27232120148725Aug29Jul52130Jun2928251817161514434May26Apr222120161229Mar252219181098119Feb161585326Jan2117Nov16Jul9212Mar27Jan9Dec20Nov18146518Jul171615121110865439May29Apr1916115422Mar211816151413121126Feb25212019181413121123Nov22212016151413121110984324Oct198525Sep242114133Aug23Jul1312422Jun211512118131May3029201817161574318Apr76330Mar292814913Feb131Janadd re and yojson to opam file (again?)restored aggressivity of -O 3; added experimental strategies for scheduling[optimizations] correct rewritting in conditionals for O3 (LB patch)[strategies] use TCO map in strategies[dune] clean dependencies (add re for tests)[docker] remove user id[docker] add user ID and group for run script[docker] update docker instance name[docker] update container ID in script[docker] change run script name[docker] create new Docker image for running testscorrected again a regression bug in causality/scheduling: bad handling of tuplesrestored correct inlining for constants and localsinstance counter restoreda correct scheduling should be restoredadd re and yojson test deps in dune-project (opam file is generated from this file, but we need both versionned)simpler structure for tracking rewritesfix introduction of '__' ghost vars in branches[optimizations] remove unnecessary log printingfix a bug where protecting ghost vars were not introduced at the proper sitesapply the same fix to 'reassigned' ghost assignmentsFix ghost assignments introduction in branchesonly print unused vars in log if there actually are unused varsformattingrestrict dead code elim to variables eliminated by the constructor elimination stepMerge branch 'minimal-test-framework' into monolithic-reset-spec[tests] add configuration to reportfix a bug where some files were not generated if -acsl-spec was not presentfollow chains of recycling for introducing ghost assignsavoid removing spec of `x = x` assignmentsremove frama-c from optional dependenciesallow renaming variables named 'set' in ghost declarations[wp_strategies] generate opam file to ease install[wp_strategies] refactor documentationUpdate the test architecture to handle JSON configfix removed plugins files by mistake...cope with newer Dune versionfix a bug where some files were not generated if -acsl-spec was not presentfollow chains of recycling for introducing ghost assignsavoid removing spec of `x = x` assignments