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.028Jan272625222120191815141312118765423Dec2221181716151411109875432130Nov27262524232019181716141312106543230Oct292827[wp] loop control in cfg[wp] fetching loop contracts[wp] fix header spec[wp] function entry, body, return[wp] wp of conditionals[wp] new module CfgCalculus[kernel] linting interpreted automata[wp] remove useless parameter in W.use_assigns[wp] check useless paramter in W.use_assigns[wp] add test for buggy cfg[wp] Cil2Cfg Dump moduleMerge branch 'feature/andre/include-stdlib-normalize-path' into 'master'Merge branch 'fix/cprint/enum_decl' into 'master'[kernel] fix cabs printing of enum items definitionMerge branch 'fix/eva/empty-struct-tests' into 'master'dev manual: ptests: "plug-in" is not a valid plug-in name[Eva] Use Option.fold instead of Extlib.may_map[Eva] Actually match bitwise AND operations instead of logical AND.[Eva] Uses constants in bitwise AND operations as widening thresholds.[Eva] New test file widening_thresholds.[Eva] Updates test oracles.[Eva] Widening thresholds of global variables are independent of functions.[Eva] Uses arithmetic modulo as widening thresholds.[Eva] Fixes a typo in widen.ml.Merge branch 'fix/andre/extlib-option-the' into 'master'[Extlib] make exn argument mandatory in Extlib.the and update occurrencesMerge branch 'fix/logic/boolean-conversion' into 'master'[logic] An enumerated value can be compared to 0. Fixes #1013Merge branch 'fix/kernel/interpreted-automata' into 'master'Merge branch 'feature/andre/libc-ioctl' into 'master'[kernel] enhanced debug/dot infos for automata[Libc] add definitions to ioctl.h[kernel] Interpreted automata: process continue statements as gotos.[kernel] Interpreted automata: process break statements as gotos.Merge branch 'feature/ivette/packages' into 'master'[ivette] fix makefile dependenciesMerge branch 'feature/wp/unfold-assigns-ranges' into 'master'[ivette] configure package loader[ivette] remove useless code for lab[ivette] move Views to new API & remove deprecated API