Commits · ed1a2930aca130e2d84ebbc8dd083a7392a4daf0 · pub / frama-c · GitLab

Snippets Groups Projects

Jan 27, 2022
- [kernel] Emitter: reorders some functions. · ed1a2930
  David Bühler authored 3 years ago and Andre Maroneze committed 3 years ago
  
  ed1a2930
Jan 26, 2022
- Merge branch 'feature/andre/variadic-add-wkeys' into 'master' · 801c7e2c
  Valentin Perrelle authored 3 years ago
  
  [Variadic] add several wkeys See merge request frama-c/frama-c!3500
  801c7e2c
- Merge branch 'feature/patrick/wp-list-simplification' into 'master' · 7ff0e1c1
  Patrick Baudin authored 3 years ago
  
  [WP] minor changes in tests See merge request frama-c/frama-c!3559
  7ff0e1c1
- [WP] minor changes in tests · 6c0a3a08
  Patrick Baudin authored 3 years ago
  
  6c0a3a08
- [Variadic] add several wkeys · 711730fb
  Andre Maroneze authored 3 years ago
  
  711730fb
- Merge branch 'feature/patrick/ptests-may-not-add-missing-ptest-file' into 'master' · 2a1f5d79
  Patrick Baudin authored 3 years ago
  
  tests may not add missing ptest file See merge request frama-c/frama-c!3556
  2a1f5d79
- Merge branch 'feature/patrick/wp-list-simplification' into 'master' · f9968802
  Patrick Baudin authored 3 years ago
  
  [WP] review of simplifications dedicated to list data type See merge request frama-c/frama-c!3523
  f9968802
- [WP] fixes Qed types of \repeat · 435a1f7a
  Patrick Baudin authored 3 years ago
  
  435a1f7a
- [WP] improves the simplifier dedicated to eq_sequence · 7adc151c
  Patrick Baudin authored 3 years ago
  
  7adc151c
- [wp] Improve Sequence tactic feedback · 4d414025
  Allan Blanchard authored 3 years ago and Patrick Baudin committed 3 years ago
  
  - disable tactic in Sum mode when parameter in not a sum - set description according to selected option
  4d414025
- [WP] fixes the simplifier dedicated to eq_sequence · dc069610
  Patrick Baudin authored 3 years ago
  
  dc069610
- [WP] improves the simplifier dedicated to eq_sequence · 400e4593
  Patrick Baudin authored 3 years ago
  
  400e4593
- [WP] adds tests · 386b0858
  Patrick Baudin authored 3 years ago
  
  386b0858
- [WP] improves the simplifier dedicated to eq_sequence · d5696c2f
  Patrick Baudin authored 3 years ago
  
  d5696c2f
- [WP] adds one more test · 36fa3438
  Patrick Baudin authored 3 years ago
  
  36fa3438
- [WP] rewrites the part of eq_sequence relative to subsequence comparison · 30345328
  Patrick Baudin authored 3 years ago
  
  30345328
- [WP] minor · b5553234
  Patrick Baudin authored 3 years ago
  
  b5553234
- [WP] adds tests · 1652d204
  Patrick Baudin authored 3 years ago
  
  1652d204
- [WP] improves the simplifier dedicated to eq_sequence · 7139da36
  Patrick Baudin authored 3 years ago
  
  7139da36
- [WP] adds a dkey for debuging · b5720f3e
  Patrick Baudin authored 3 years ago
  
  b5720f3e
- [WP] adds an improvement of the simplifier for eq_sequence · e24db71a
  Patrick Baudin authored 3 years ago
  
  e24db71a
- [WP] adds missing simplifier for eq_concat · 9d07ab51
  Patrick Baudin authored 3 years ago
  
  9d07ab51
- [WP] adds comments in the tactics dedicated to sequences · aa590968
  Patrick Baudin authored 3 years ago
  
  aa590968
- [WP] fixes eq_sequence · 6de1f210
  Patrick Baudin authored 3 years ago
  
  6de1f210
- [WP] extends rewrite_repeat · 67451a19
  Patrick Baudin authored 3 years ago
  
  67451a19
- [WP] adds comments (no semantical change) · 8a0ba41f
  Patrick Baudin authored 3 years ago
  
  8a0ba41f
- [WP] fixes eq_concat · 2e6fa8f2
  Patrick Baudin authored 3 years ago
  
  2e6fa8f2
- Merge branch 'feature/andre/tests-metrics-stabilize' into 'master' · ef7ee734
  Allan Blanchard authored 3 years ago
  
  Feature/andre/tests metrics stabilize See merge request frama-c/frama-c!3558
  ef7ee734
Jan 25, 2022
- [ptests] prevents infinite recursion in macro expansion · 89a23996
  Patrick Baudin authored 3 years ago and Andre Maroneze committed 3 years ago
  
  89a23996
- [tests] avoid warnings about unused files with option -load · 671710af
  Andre Maroneze authored 3 years ago
  
  671710af
- [tests] prepare test configs for deletion of spurious warnings · 0d8e028c
  Andre Maroneze authored 3 years ago
  
  0d8e028c
- [tests] test that does not add missing @PTEST_FILE@ · 61ef858e
  Patrick Baudin authored 3 years ago and Andre Maroneze committed 3 years ago
  
  61ef858e
- [ptests] redefining CMD as @frama-c@ @PTEST_OPTIONS@ won't add missing @PTEST_FILE@ · b49818ce
  Patrick Baudin authored 3 years ago and Andre Maroneze committed 3 years ago
  
  b49818ce
- [tests] minor changes · 0ae70c2e
  Patrick Baudin authored 3 years ago and Andre Maroneze committed 3 years ago
  
  0ae70c2e
- [ptests] remove false negative alerts about DEPRECATED messages · 940ee266
  Patrick Baudin authored 3 years ago and Andre Maroneze committed 3 years ago
  
  940ee266
- [tests] add missing redirection in libc test · 0788d815
  Andre Maroneze authored 3 years ago
  
  0788d815
- [tests] prevent future conflicts in test oracle · 20c65ae2
  Andre Maroneze authored 3 years ago
  
  20c65ae2
- [tests] generalize check_some_metrics.sh script · 2987c70e
  Andre Maroneze authored 3 years ago
  
  2987c70e
- Merge branch 'fix/andre/libc-test-oracle' into 'master' · 2f9b5b70
  Patrick Baudin authored 3 years ago
  
  [Libc] avoid merge conflicts in test oracle See merge request frama-c/frama-c!3550
  2f9b5b70
- [wp] Update Changelog · 0972d9a0
  Allan Blanchard authored 3 years ago
  
  0972d9a0