Commits · c965f4e1ba2a1951d6b2bb0511a8197ff92583e8 · pub / frama-c · GitLab

Snippets Groups Projects

Jun 19, 2019
- [ACSL] bug with the precedence of \in · c965f4e1
  Patrick Baudin authored 5 years ago
  
  c965f4e1
- no semantic change (add level names and use them instead of numbers) · 9a436469
  Patrick Baudin authored 5 years ago
  
  9a436469
- no semantic change (just reorder some lines) · cdf8e5bc
  Patrick Baudin authored 5 years ago
  
  cdf8e5bc
- adding comments linked to logic_parser.mly file · 3c0e2265
  Patrick Baudin authored 5 years ago
  
  3c0e2265
Jun 18, 2019
- adding comments linked to logic_parser.mly file · 695ce790
  Patrick Baudin authored 5 years ago
  
  695ce790
- [ACSL] bug with the precedence of \in · 79ca5ef8
  Patrick Baudin authored 5 years ago
  
  79ca5ef8
- Merge branch 'feature/wp/neq-bitwise' into 'master' · 27ac101a
  Patrick Baudin authored 5 years ago
  
  [wp] tactic bitwise extended to dis-equality See merge request frama-c/frama-c!2281
  27ac101a
Jun 11, 2019
- Fix default branch in master · fc3cfb6f
  François Bobot authored 5 years ago
  
  (Problem after a merge from stable/potassium to master)
  fc3cfb6f
- Merge branch 'master' into feature/wp/neq-bitwise · a90f2f07
  Loïc Correnson authored 5 years ago
  
  a90f2f07
Jun 07, 2019
- Merge branch 'feature/opam2' into 'master' · bcb456a5
  François Bobot authored 5 years ago
  
  Update Frama-CI data See merge request frama-c/frama-c!2278
  bcb456a5
- Merge branch 'cok-template' into 'master' · 990feed4
  Andre Maroneze authored 5 years ago
  
  Avoid using the variable name 'template' as it is a C++ reserved word See merge request frama-c/frama-c!2279
  990feed4
- [Libc] Avoid using the variable name 'template' as it is a C++ reserved word · e0135aa9
  DavidCok authored 5 years ago
  
  e0135aa9
- [Nix] Update autoPatchelf use for nixos 19.03 · b4bf4045
  François Bobot authored 5 years ago
  
  b4bf4045
Jun 06, 2019
- Update nix/frama-ci.* · c62b64cc
  François Bobot authored 5 years ago
  
  c62b64cc
Jun 05, 2019
- Merge branch 'hackathon/issue465' into 'master' · 33208793
  Virgile Prevosto authored 5 years ago
  
  implement structural comparison for logic_info Closes #465 See merge request frama-c/frama-c!2233
  33208793
- [kernel] document new Logic_info_structural datatype · a712ca1d
  Virgile Prevosto authored 5 years ago
  
  a712ca1d
- [kernel] Derive equality from compare in Logic_info_structural · c843b660
  Virgile Prevosto authored 5 years ago
  
  c843b660
- [kernel] use standard `compare_list` for list comparison · 95341df4
  Virgile Prevosto authored 5 years ago
  
  95341df4
- [lib] fixes wrong cmp for lists of different length in Extlib.list_compare · 618c6118
  Virgile Prevosto authored 5 years ago
  
  the shortest list is _smaller_ than the longest one.
  618c6118
- implement structural comparison for logic_info · 052cd89d
  Dara Ly authored 5 years ago and Virgile Prevosto committed 5 years ago
  
  052cd89d
- Merge branch 'fix/virgile/logic-pp-bs-string' into 'master' · 4d934d50
  Andre Maroneze authored 5 years ago
  
  [logic-preprocess] take literal backslash (`\\`) into account in ACSL strings See merge request frama-c/frama-c!2272
  4d934d50
- Merge branch 'fix/andre/clobber-typo' into 'master' · c9bbdea8
  Virgile Prevosto authored 5 years ago
  
  [Kernel] fix typos in message See merge request frama-c/frama-c!2273
  c9bbdea8
- [Kernel] fix typos in message · 3e84a7e0
  Andre Maroneze authored 5 years ago
  
  3e84a7e0
- [logic-preprocess] take literal backslash (`\\`) into account in ACSL strings · 416b2edc
  Virgile Prevosto authored 5 years ago
  
  Fixes mantis-2307
  416b2edc
May 27, 2019
- Merge branch 'feature/asm/pretty_templates' into 'master' · 7b460d6c
  Virgile Prevosto authored 5 years ago
  
  [Kernel] Normalize asm templates by merging adjacent strings and splitting on newline character See merge request frama-c/frama-c!2246
  7b460d6c
- Add test for new feature · 5850c350
  Virgile Prevosto authored 5 years ago
  
  5850c350
- [fix] no more empty list when empty template · 5a839627
  Frédéric Recoules authored 5 years ago and Virgile Prevosto committed 5 years ago
  
  5a839627
- [Kernel] Normalize asm templates by merging adjacent strings and splitting on newline character · b094c4af
  Frédéric Recoules authored 5 years ago and Virgile Prevosto committed 5 years ago
  
  b094c4af
May 24, 2019
- Merge branch 'stable/potassium' · a067a8d8
  Virgile Prevosto authored 5 years ago
  
  a067a8d8
- Merge branch 'fix/virgile/why3-conf' into 'stable/potassium' · 64eb5ec7
  Loïc Correnson authored 5 years ago
  
  Fix/virgile/why3 conf See merge request frama-c/frama-c!2264
  64eb5ec7
- Merge branch 'fix/rte/variable-declarations' into 'stable/potassium' · f855d58c
  Julien Signoles authored 5 years ago
  
  [rte] Do not visit variable declarations; fixes a crash. See merge request frama-c/frama-c!2261
  f855d58c
- changelog · c9226d13
  Julien Signoles authored 5 years ago
  
  c9226d13
- Update nix/frama-ci.* · 639a9c68
  François Bobot authored 5 years ago
  
  639a9c68
- Fix ocp-indent version in continuous intergration · 3b0301ae
  François Bobot authored 5 years ago
  
  3b0301ae
May 23, 2019
- Update nix/frama-ci.* · 082cdc65
  François Bobot authored 5 years ago
  
  082cdc65
- [wp] don't forget to forcibly rm a read-only file before re-generating it · 06d805e3
  Virgile Prevosto authored 5 years ago
  
  Also use FC's Makefile standard variables whenever possible
  06d805e3
- [wp] recompute why3.conf when --prefix is changed · 76c684f2
  Loïc Correnson authored 5 years ago and Virgile Prevosto committed 5 years ago
  
  76c684f2
- [tests] add test for RTE issue mentioned in MR !2261 · 68e7678d
  Virgile Prevosto authored 5 years ago
  
  68e7678d
- Merge branch '649-wp-why3-dependencies' into 'master' · 7b24191f
  Virgile Prevosto authored 5 years ago
  
  Resolve "[wp] why3 dependencies" Closes #649 See merge request frama-c/frama-c!2259
  7b24191f
- Merge branch 'fix/issue652' into 'stable/potassium' · 9f808abb
  Virgile Prevosto authored 5 years ago
  
  See merge request frama-c/frama-c!2262
  9f808abb