Skip to content
Snippets Groups Projects
Select Git revision
  • feature/andre/choc-simplification-analysis-scripts
  • master default protected
  • stable/scandium
  • stable/titanium
  • stable/titanium-backport
  • 22.0+r2
  • 22.0+r1
  • 22.0
  • 22.0-beta
  • 2020-10-16
  • 21.1
  • 21.0
  • 21.0-beta
  • Vessedia-D3.5
  • 20.0
  • 19.1
  • 19.0
  • 18.0
18 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.07Feb543131Jan30292827242322201716151413987626Dec212019181716131211109654229Nov282726252221201815141287654231Oct30[Eva] Eval_term: reduces mathematical variables in \subset predicates.[Eva] Supports quantifiers introducing mathematical variables.[Eva] Eval_term: renames the functions evaluating a term_lval.Merge branch 'fix/andre/eva-alloc-wrappers' into 'master'[Eva] rename -eva-malloc-functions to -eva-alloc-functions and add calloc/realloc[Changelog] Announce removal of FCBuffer, FCMap and FCSetMerge branch 'feature/michele/783' into 'master'Merge branch 'feature/db-progress' into 'master'[db] simplified cancel and removed once[stdlib] Remove FCMap from header spec.[kernel][stdlib] Use transitioning module to use Stdlib.Set on old OCaml.[kernel][stdlib] Remove FCSet and move basic signature to Hptset module.[kernel][stdlib] Port FCSet to use Set.[kernel][stdlib] Remove FCBuffer and use Buffer instead.Merge branch 'feature/virgile/less-incompatible-warnings' into 'master'[kernel] Removes useless try/withMerge branch 'feature/stdlib/fcmap-4.05' into 'master'[Eva] Uses Map.union instead of Map.merge.[stdlib] Removes FCMap, und uses stdlib Map instead.Merge branch 'feature/andre/libc-getsockname' into 'master'[typing] less warning on function applications[Libc] add spec for getsockname[db] Rework style and especially the doc.[DB] Call registered Db.once after the daemons[DB] Daemons are not triggered one last time at the end[DB] daemin last_at must be initialized[db] enhanced doc[db] better handling of exceptions[db + server] restore delay checkMerge branch 'fix/4.10' into 'master'[kernel] optimise Db.yield a bit[kernel] deprecates Db.progress[kernel] new progress APIMerge branch 'bugfix/michele/788-gui-globals' into 'master'changelog[gui] Display globals in original order.Merge branch 'feature/wp/memvar-frame' into 'master'Merge branch 'feature/michele/725' into 'master'[sanitizer] Update to OCaml 4.05 (use of Buffer.truncate).Merge branch 'feature/eva/local-subdivision' into 'master'