Commits · a0b760d30cd0193a6e23965ff3b3fbe201c836c4 · pub / frama-c

Apr 23, 2019
- [wp/share] missing coq file in wp.driver · a0b760d3
  Loïc Correnson authored 5 years ago
  
  a0b760d3
- [wp/why3] try why3 version 1.1.1 · 308e5da7
  Loïc Correnson authored 5 years ago
  
  308e5da7
Apr 19, 2019
- [wp/tests] update prover versions · b409fd77
  Loïc Correnson authored 5 years ago
  
  b409fd77
- [wp/share] update headers · 54a7b862
  Loïc Correnson authored 5 years ago
  
  54a7b862
- [wp/share] fix headers specs · 5c5c6dca
  Loïc Correnson authored 5 years ago
  
  5c5c6dca
- [wp/why3] update why3 command outputs · 06e25b89
  Loïc Correnson authored 5 years ago
  
  06e25b89
- [wp/share] fix why3 syntax · 432da749
  Loïc Correnson authored 5 years ago
  
  432da749
- [wp/coq] update with why3 1.0.0 coq-libs · 9fe272f9
  Loïc Correnson authored 5 years ago
  
  9fe272f9
- [wp/why3] upgrade to why3 1.0.0+ · c3f546fc
  Loïc Correnson authored 5 years ago
  
  c3f546fc
- [wp/coq] local coq-ide targets · 53dbf909
  Loïc Correnson authored 5 years ago
  
  53dbf909
- [why3] update configuration for 1.0.0+ · 8ae5d5e9
  Loïc Correnson authored 5 years ago
  
  8ae5d5e9
- [wp] update ranks in qualif tests · 12d48dfc
  Loïc Correnson authored 5 years ago
  
  12d48dfc
- Merge branch 'feature/andre/yojson-mandatory-dependence' into 'stable/potassium' · 88eb78c4
  François Bobot authored 5 years ago
  
  [Kernel] make yojson a mandatory dependence See merge request frama-c/frama-c!2122
  88eb78c4
Apr 18, 2019
- Merge branch 'bugfix/patrick/logic-grammar' into 'master' · 3e9adff4
  Virgile Prevosto authored 5 years ago
  
  [ACSL] fixes parsing issues about C fields See merge request frama-c/frama-c!2226
  3e9adff4
- Merge branch 'fix/kernel/constFold' into 'master' · d21955ec
  Virgile Prevosto authored 5 years ago
  
  [Kernel] Fixes Cil.constFold on expressions whose size is not 32 bits. Closes #640 See merge request frama-c/frama-c!2231
  d21955ec
- [Nix] Export buildInputs · 6267f880
  François Bobot authored 5 years ago
  
  6267f880
- [Kernel] make yojson a mandatory dependence · 244f9a3d
  Andre Maroneze authored 6 years ago
  
  244f9a3d
- [Kernel] Fixes Cil.constFold on expressions whose size is not 32 bits. · fa182e5d
  David Bühler authored 5 years ago
  
  Uses the operand equal to 0, instead of creating a new 0 expression which may have an incorrect type.
  fa182e5d
Apr 17, 2019
- Merge branch 'fix/eva/bitwise-domain' into 'master' · 50a21723
  Andre Maroneze authored 5 years ago
  
  [Eva] The bitwise offsm_value returns `Bottom when reducing the cvalue to bottom. Closes #639 See merge request frama-c/frama-c!2230
  50a21723
- [Eva] Adds a test of the bitwise domain. · c23684ab
  David Bühler authored 5 years ago
  
  c23684ab
- [Eva] The bitwise offsm_value returns `Bottom when reducing the cvalue to bottom. · b5929077
  David Bühler authored 5 years ago
  
  Fixes a crash in cvalue_forward, where values are assumed to be non bottom.
  b5929077
- [Eva] Implements logic_assign in the bitwise domain. · c38c133b
  David Bühler authored 5 years ago
  
  c38c133b
Apr 15, 2019
- Merge branch 'feature/patrick/alt-ergo-free' into 'master' · ee497a2d
  François Bobot authored 5 years ago
  
  [OPAM] allows the use of the package alt-ergo-free as an alternative to alt-ergo Closes #635 See merge request frama-c/frama-c!2228
  ee497a2d
- [OPAM] allows the use of the package alt-ergo-free as an alternative to alt-ergo · 546ed1d8
  Patrick Baudin authored 5 years ago
  
  546ed1d8
- Merge branch 'fix/andre/gui-unfold-reset' into 'master' · 12e93de9
  Andre Maroneze authored 5 years ago
  
  [Gui] avoid resetting Properties panel when unfolding bullets Closes #602 See merge request frama-c/frama-c!2223
  12e93de9
- [ACSL] fixes parsing issues about C fields · c4daae63
  Patrick Baudin authored 5 years ago
  
  c4daae63
- Merge branch 'bugfix/patrick/acsl-importer-grammar' into 'master' · b78a003e
  Patrick Baudin authored 5 years ago
  
  [ACSL] grammar extension for ACSL-importer See merge request frama-c/frama-c!2225
  b78a003e
- [Gui] avoid resetting Properties panel when unfolding bullets · 74d37020
  Andre Maroneze authored 5 years ago
  
  74d37020
- [ACSL] grammar extension for ACSL-importer · f277c11a
  Patrick Baudin authored 5 years ago
  
  f277c11a
Apr 12, 2019
- [tests] add missing test · 10612471
  Andre Maroneze authored 5 years ago
  
  10612471
Apr 11, 2019
- [fc-script] fix distribution of files from !2116 · cb548af6
  Andre Maroneze authored 5 years ago
  
  cb548af6
- Merge branch 'feature/andre/frama-c-script-configure' into 'master' · 8c5dea64
  Valentin Perrelle authored 5 years ago
  
  Feature/andre/frama c script configure See merge request frama-c/frama-c!2116
  8c5dea64
- [Kernel] fix parsing of quotes in -json-compilation-database · 550c4f11
  Andre Maroneze authored 5 years ago
  
  550c4f11
- [fc-script] add make-wrapper and normalize-jcdb scripts; improve find-fun · 3b081971
  Andre Maroneze authored 6 years ago
  
  3b081971
- [fc-script] use relative paths in results of find-fun · 4ce11c1b
  Andre Maroneze authored 6 years ago
  
  4ce11c1b
- [fc-script] add command for running ./configure · 9cc260b1
  Andre Maroneze authored 6 years ago
  
  9cc260b1
Apr 10, 2019

Merge branch 'fix/andre/configure-disable-eva' into 'master' · eb026c18

Julien Signoles authored 5 years ago

[configure] fix dependencies on Eva plugin; standardize Studia plugin

Closes #634

See merge request frama-c/frama-c!2220

eb026c18

Apr 09, 2019
- Merge branch 'fix/syntax/attr-name' into 'master' · ea9368ae
  Andre Maroneze authored 5 years ago
  
  [syntax] allow for one letter attributes. See merge request frama-c/frama-c!2222
  ea9368ae
- [Changelog] update Changelog w.r.t. !2222 · fa23d793
  Andre Maroneze authored 5 years ago
  
  fa23d793
- [syntax] allow for one letter attributes. · 286f33fc
  Virgile Prevosto authored 5 years ago
  
  Fixes [external BTS 2432](https://bts.frama-c.com/view.php?id=2432)
  286f33fc