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.05Mar3126Feb252423221918171615131211109875432129Jan28272625222120191815141312118765423Dec2221Merge branch 'fix/libc/stdbool' into 'master'mastermasterMerge branch 'fix/makefile/thread-warning' into 'master'[libc] ensure bool, true and false are not macros when in C++ mode[makefile] fixes ocamlfind warning about missing -threadMerge branch 'feature/kernel/acsl-extension-cleaning' into 'master'Merge branch 'feature/eva/builtins' into 'master'22.0+r222.0+r2[kernel] Removed deprecated APIMerge branch 'feature/wp/test-cfg' into 'master'Changelog dateMerge branch 'feature/wp/nullable-ref' into 'master'[wp] re-order separation hypotheses[wp] typos for nullable arguments[wp] few typosMerge branch 'bugfix/basile/eacsl-no-fc-stdlib' into 'master'[eacsl] Update changelog[wp/doc] roadmap typos[wp] Changelog updates[wp/doc] new section « Limitations & Roadmap »Merge branch '1029-wp-partial-inits' into 'master'[wp] oracle updates[wp] removed monotonic-inits for gensets[wp/doc] wp_nullable / wp_nullable_args[wp] wp_nullable(_pointers) -> (_args)[kernel] Add a detail in addAttribute doc[wp] Provide nullable as an ACSL extension[kernel] Typo in ACSL extension doc[wp] Fixes nullable hypotheses[eacsl] Fix e_acsl_observation_model.h contracts[eacsl] Reactivate kernel errors when passing dev tests[eacsl] Remove obsolete libc attribute `FRAMA_C_MODEL`[aorai] disable wp-simplifier for auto-tests[wp] better debugging for qed simplifierMerge branch 'feature/basile/eacsl-update-changelog' into 'master'[eacsl] Update changelogMerge branch 'bugfix/basile/eacsl-145-return-in-globals-clean' into 'master'[eacsl] Update tests[eacsl] Fix generated `__e_acsl_globals_clean()`Merge branch 'feature/basile/eacsl-104-script-from-dev' into 'master'[eacsl] Look for Frama-C in more places in wrapper script[wp] non-regression test for issue pub. 49