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.014Dec11109875432130Nov27262524232019181716141312106543230Oct29282726232221201916151413129876[ivette] merging stylesMerge branch 'master' into feature/ivette/bulletsMerge branch 'feature/ivette/sidebar-scroll-on-search' into 'master'Merge branch 'fix/kernel/variadic-ghost-params' into 'master'[variadic] Fixes ghost formals declMerge branch 'fix/wp/ignore-closed-in-lookup' into 'master'[wp] Lookup only ignores primitive termsMerge branch 'feature/parick/wp-string-compare' into 'master'[ivette] AST view: removes the buffer effect handler in the useEffect cleanup.[WP] add an example about string comparison into wp_gallery[wp] Do not look for closed terms in model lookup[ivette] AST view: do not register too many event handlers on the buffer.Merge branch 'fix/wp/remove-exercise' into 'master'[wp] Removes an example from galleryMerge branch 'feature/basile/eacsl-windows' into 'master'[eacsl:doc] Update changelog[eacsl] Check assumption in get_stack_start[eacsl] Update ocaml calls to the RTL[eacsl] Add an option to choose the bits of the machdep with `e-acsl-gcc.sh`[eacsl] Add support for Windows to E-ACSL RTL[eacsl] Add internal C defines to discriminate between OSes[eacsl] Update dlmalloc to support MinGW compilation[wp] Upgrade script for AE 2.2.0[tests] remove extraneous test oracles[ptests] avoid issue with filepath containing double quotes[wp] rename test from .h to .i to ensure it is executedMerge branch 'fix/wp/rm-a-native-ae-test' into 'master'Merge branch 'fix/eva/alternative-oracles' into 'master'[Eva] Updates alternative oracles on auto_loop_unroll test.[Eva] Updates alternative oracles: minor changes.[Eva] Removes unused files previously used by the test Longinit_sequencer.[Eva] Updates alternative oracles: the test Longinit_sequencer.i has been removed.[wp] Removes a test related to native Alt-ErgoMerge branch 'fix/mdr/optional-eva-dependency' into 'master'[headers] remove deleted entry[headers] update entries in header_spec.txt[MdR] don't forget to distribute META.in[MdR] Make eva_info a proper Findlib subpackage of frama-c-markdown_report[kernel] export Dynamic.load_packages[MdR] install eva_info modules