Commits · e05a80a2d3d7998acc3ef36beb68872bba3f686c · pub / frama-c · GitLab

Snippets Groups Projects

Mar 07, 2022
- [wp] Remove old test related to Coq · e05a80a2
  Allan Blanchard authored 3 years ago
  
  e05a80a2
- [wp] option to scripts instead of saving them · 0efbb7d5
  Allan Blanchard authored 3 years ago
  
  0efbb7d5
- [wp] qualif.report is a dependency · 1a9e218b
  Allan Blanchard authored 3 years ago
  
  1a9e218b
- [wp] Do not use tip for some tests · 5d1344de
  Allan Blanchard authored 3 years ago
  
  5d1344de
- [wp] Use PTEST_DIR for sessions · c4c96fed
  Allan Blanchard authored 3 years ago
  
  c4c96fed
- [wp] Move session directories · 379952f9
  Allan Blanchard authored 3 years ago
  
  - insert place holders for Dune tests
  379952f9
Mar 01, 2022
- [WP] bitwise simplifier improvement · dc097624
  Patrick Baudin authored 3 years ago
  
  dc097624
Feb 25, 2022
- [WP] Cint.ml implements highest_bit_number in using Z.log2 · 9ff072f7
  Patrick Baudin authored 3 years ago
  
  9ff072f7
Feb 24, 2022
- [wp] avoid using asprintf · b93a6857
  Loïc Correnson authored 3 years ago and Allan Blanchard committed 3 years ago
  
  b93a6857
- [wp] Make region ouput dot option invisible · 76b2a04f
  Allan Blanchard authored 3 years ago
  
  - it works only when the function is unique currently - only used for tests
  76b2a04f
- [wp] move dot files for region tests · 1c4fd942
  Allan Blanchard authored 3 years ago
  
  1c4fd942
- [wp] Add option for region dump files · 7bb7da28
  Allan Blanchard authored 3 years ago
  
  7bb7da28
Feb 23, 2022
- [2022] file headers · 7b02c99c
  Patrick Baudin authored 3 years ago
  
  7b02c99c
Feb 22, 2022
- [Wp] improve bitwise simplifier: oracle upfdate · 93178e75
  Patrick Baudin authored 3 years ago
  
  93178e75
- new lint format · c9a17d31
  Patrick Baudin authored 3 years ago
  
  c9a17d31
- [Wp] improve bitwise simplifier · 6e0b6501
  Patrick Baudin authored 3 years ago
  
  6e0b6501
Feb 18, 2022
- [wp] Migrate to frama-c indent · a767fdcb
  Allan Blanchard authored 3 years ago
  
  a767fdcb
Feb 16, 2022
- [wp] no sementical changes · 765d47e3
  Patrick Baudin authored 3 years ago
  
  765d47e3
Feb 15, 2022
- [wp] some more tests · b2eb4213
  Patrick Baudin authored 3 years ago
  
  b2eb4213
- [wp] adds debug message into cint simplifiers · a1fb64ff
  Patrick Baudin authored 3 years ago
  
  a1fb64ff
- [Wp] improve Cint simplifier · 2c8ef247
  Patrick Baudin authored 3 years ago
  
  2c8ef247
- [Wp] improve Cint simplifier · 2cef6dcf
  Patrick Baudin authored 3 years ago
  
  2cef6dcf
- [wp] Cint simplifier: no semantical change · 2ddb7e17
  Patrick Baudin authored 3 years ago
  
  2ddb7e17
- [wp] Cint simplifier: no semantical change · 1e2e7219
  Patrick Baudin authored 3 years ago
  
  1e2e7219
- [WP] Cint simplifier is reusing e_subst API · 4f639086
  Patrick Baudin authored 3 years ago
  
  4f639086
- [Wp] improve Cint simplifier · c45d196d
  Patrick Baudin authored 3 years ago
  
  c45d196d
- [Wp] improve Cint simplifier · 107ac66e
  Patrick Baudin authored 3 years ago
  
  107ac66e
- [Wp] improve Cint simplifier · 453580fc
  Patrick Baudin authored 3 years ago and Patrick Baudin committed 3 years ago
  
  453580fc
- [Wp] improve Cint simplifier · 03f543fb
  Patrick Baudin authored 3 years ago and Patrick Baudin committed 3 years ago
  
  03f543fb
- [wp] no semantical changes in bitwise simplifier · 59fdd976
  Patrick Baudin authored 3 years ago and Patrick Baudin committed 3 years ago
  
  59fdd976
Feb 02, 2022
- [wp] Update Changelog · da6410ca
  Allan Blanchard authored 3 years ago
  
  da6410ca
- [Wp] updated oracles of -config qualif tests · a5448260
  Patrick Baudin authored 3 years ago
  
  a5448260
- [Wp] updated oracles of the default tests · 9dce6844
  Patrick Baudin authored 3 years ago
  
  9dce6844
- [wp] Collect code annots in GUI's order · c00d3f18
  Allan Blanchard authored 3 years ago
  
  - annots order for multiple emitters is unspecified, - use the order used in the Printer
  c00d3f18
- [Wp] generic sequent simplifier: applies simplify+assume succesively on each... · 819c18ec
  Patrick Baudin authored 3 years ago
  
  [Wp] generic sequent simplifier: applies simplify+assume succesively on each terms of a the disjonctive goal
  819c18ec
- [Wp] sequent simplifier: gives more explicit method names · f17a2049
  Patrick Baudin authored 3 years ago
  
  f17a2049
- [WP] oracle updated · 1d056b08
  Patrick Baudin authored 3 years ago
  
  1d056b08
- [Wp] generic sequent simplifier: applies simplify+assume succesively on... · b19195ad
  Patrick Baudin authored 3 years ago
  
  [Wp] generic sequent simplifier: applies simplify+assume succesively on eacterms of a the conjective hypothesis
  b19195ad
- [wp] Option to enable local init smoke · eb051ac9
  Allan Blanchard authored 3 years ago
  
  eb051ac9
Feb 01, 2022
- [wp] Simplifies TacClear · 243d5a20
  Allan Blanchard authored 3 years ago
  
  243d5a20