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.031Mar3029282422212017151432124Feb23222010230Jan262524175Jul14Jun25May1918121015Apr14131211229Mar10415Feb14109328Jan1714126516Dec929Nov17161096543229Oct28272622211513765130Sep27232120148725Aug29Jul52130Jun2928251817161514434May26Apr222120161229Mar252219181098119Feb161585326Jan2117Nov16Jul9212Mar27Jan9Dec20Nov18146518Jul171615121110865439May29Apr1916115422Mar211816151413121126Feb25212019181413121123Nov22212016151413121110984324Oct198525Sep242114133Aug23Jul1312422Jun211512118131May3029201817161574318Apr76330Mar292814removed useless testmachine optimization now supports input reuse?remove/comment some dead codedynamic exhaustivity check for C switches generationbump ocamlformat versionalways add `break` statement at the end of a `default:` switch branchfix warning formattingfix formatting of warning message about unused variablesreuse table are logged on level 3add 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` assignments