Commits · 7129e55b04003f5ee7a9c745af6120240a0c8f66 · pub / frama-c · GitLab

Snippets Groups Projects

Oct 25, 2023
- Reset default branch · 7129e55b
  Andre Maroneze authored 1 year ago
  
  7129e55b
- Change default branch · b0770ad3
  Andre Maroneze authored 1 year ago
  
  b0770ad3
- Reset default branch · 5049d6b9
  Andre Maroneze authored 1 year ago
  
  5049d6b9
- Change default branch · 91cba9d8
  Andre Maroneze authored 1 year ago
  
  91cba9d8
- Merge branch 'fix/wp/strategies' into 'master' · 66662ebd
  Allan Blanchard authored 1 year ago
  
  [wp] fix non-terminating strategies See merge request frama-c/frama-c!4376
  66662ebd
Oct 24, 2023
- Merge branch 'jan/fix/issue2666' into 'master' · 2670b181
  Loïc Correnson authored 1 year ago
  
  [alias] correctly expose Abstract_state including graph See merge request frama-c/frama-c!4375
  2670b181
- [alias] expose vertex id as int · 3ec37752
  Loïc Correnson authored 1 year ago
  
  3ec37752
Oct 23, 2023
- [wp] test for logical patterns · ce91403b
  Loïc Correnson authored 1 year ago
  
  ce91403b
- [wp] logical patterns · 0b07515d
  Loïc Correnson authored 1 year ago
  
  0b07515d
- Merge branch 'fix/macOS-args' into 'master' · 2fe33b18
  Allan Blanchard authored 1 year ago
  
  [ivette] Fix/mac os args See merge request frama-c/frama-c!4368
  2fe33b18
- [wp] split conjunctions only when looking in hyps · 078669fa
  Loïc Correnson authored 1 year ago
  
  078669fa
- [alias] correctly expose Abstract_state including graph · 75d3f505
  Jan Rochel authored 1 year ago
  
  75d3f505
- [wp] test for fixed non-terminating strategy · 1a11dfa8
  Loïc Correnson authored 1 year ago
  
  1a11dfa8
- [wp] progressing check after tactic · 679edcaf
  Loïc Correnson authored 1 year ago
  
  679edcaf
- [wp] limit depth of exploration with strategies · 49439a79
  Loïc Correnson authored 1 year ago
  
  49439a79
Oct 19, 2023
- Merge branch 'feature/blanchard/wp/default-spec' into 'master' · a1c78b46
  Allan Blanchard authored 1 year ago
  
  WP populate spec Closes #1303 See merge request frama-c/frama-c!4362
  a1c78b46
- Merge branch... · 624a6667
  Allan Blanchard authored 1 year ago
  
  Merge branch 'feature/martin/doc/1310-document-properly-the-behavior-of-the-default-spec-generator' into 'master' Resolve "Document properly the behavior of the default spec generator" Closes #1310 See merge request frama-c/frama-c!4339
  624a6667
- [wp] ChangeLog · 095954d9
  Allan Blanchard authored 1 year ago
  
  095954d9
- [wp] fix test after rebase · 29c8f325
  Allan Blanchard authored 1 year ago
  
  29c8f325
- [doc] Add details about warnings + minors changes · a4c723c6
  Thibault Martin authored 1 year ago
  
  a4c723c6
- [wp/doc] Add generated and verified clauses to the manual · 7b749a3f
  Allan Blanchard authored 1 year ago
  
  7b749a3f
- [wp] warn on missing default assigns · 3d892e48
  Allan Blanchard authored 1 year ago
  
  3d892e48
- [wp] changes strategy for callees assigns · 118721ad
  Allan Blanchard authored 1 year ago
  
  118721ad
- [wp] lint · 205cc850
  Allan Blanchard authored 1 year ago
  
  205cc850
- [wp] update oracles · bf3fcc8e
  Allan Blanchard authored 1 year ago
  
  bf3fcc8e
- [wp] add spec populate for API calls · 14293eab
  Allan Blanchard authored 1 year ago
  
  14293eab
- [wp] temporarily disabled stmtcompiler test · 15d6aa28
  Allan Blanchard authored 1 year ago
  
  15d6aa28
- [wp] update test · fcd4fe75
  Allan Blanchard authored 1 year ago
  
  fcd4fe75
- [wp] reformat cfg status · c75a5946
  Loïc Correnson authored 1 year ago and Allan Blanchard committed 1 year ago
  
  c75a5946
- [wp] update test · 5cfa60c8
  Loïc Correnson authored 1 year ago and Allan Blanchard committed 1 year ago
  
  5cfa60c8
- [wp] update test · c1701ced
  Loïc Correnson authored 1 year ago and Allan Blanchard committed 1 year ago
  
  c1701ced
- [wp] remove options related to terminates generation · 0552c3c2
  Allan Blanchard authored 1 year ago
  
  0552c3c2
- Update WP oracles · d1abe35d
  Thibault Martin authored 1 year ago and Allan Blanchard committed 1 year ago
  
  d1abe35d
- Update aorai oracles · 05358a06
  Thibault Martin authored 1 year ago and Allan Blanchard committed 1 year ago
  
  05358a06
- [wp] use kernel default spec populate · 85b4cf27
  Allan Blanchard authored 1 year ago
  
  - deprecate parameters related to populate - do not populate when finding missing terminates
  85b4cf27
- [wp] fix WP target for main function · 770ec85b
  Allan Blanchard authored 1 year ago
  
  770ec85b
- [doc] typos · 9055efa3
  Allan Blanchard authored 1 year ago
  
  9055efa3
- [doc] Details about combining clauses from behaviors · f156a6c5
  Thibault Martin authored 1 year ago and Allan Blanchard committed 1 year ago
  
  f156a6c5
- [doc] Describe populate_spec modes in userman · 550dd458
  Thibault Martin authored 1 year ago and Allan Blanchard committed 1 year ago
  
  550dd458
- [doc] Add tables in devman for custom mode example · eef7f40c
  Thibault Martin authored 1 year ago and Allan Blanchard committed 1 year ago
  
  eef7f40c