Commits · 32ac67fca28caa47c7280817612a34543fd46948 · Charles Southerland / frama-c

Nov 28, 2019
- [E-ACSL:doc] consistency (capitalization, etc) · bad792f3
  Julien Signoles authored 5 years ago
  
  bad792f3
- [E-ACSL:doc] better man for --external-assert · f6c47e31
  Julien Signoles authored 5 years ago
  
  f6c47e31
- [doc] update command line helpers · b2c0bcf5
  Julien Signoles authored 5 years ago
  
  b2c0bcf5
Nov 26, 2019
- [e-acsl] Distributes the test oracles of E-ACSL plugin. · 67770028
  David Bühler authored 5 years ago
  
  67770028
Nov 05, 2019
- [e-acsl/contrib] prevent clang from warning about <defined> · 84a8eb0d
  Loïc Correnson authored 5 years ago
  
  84a8eb0d
- [E-ACSL:Makefile] remove useless targets since E-ACSL is now included in Frama-C · 6712d8f2
  Julien Signoles authored 5 years ago
  
  6712d8f2
- [E-ACSL:configure] remove outdated substitution · 3e8f495a
  Julien Signoles authored 5 years ago
  
  3e8f495a
- [E-ACSL:configure] checking Frama-C version is now useless · 1e075660
  Julien Signoles authored 5 years ago
  
  1e075660
- [E-ACSL] remove file INSTALL · 978c897b
  Julien Signoles authored 5 years ago
  
  978c897b
Nov 04, 2019
- [e-acsl] remove obsoleted VERSION · b40e69de
  Andre Maroneze authored 5 years ago
  
  b40e69de
- [headers] the current year is 2019 · 2de214a9
  Julien Signoles authored 5 years ago and François Bobot committed 5 years ago
  
  2de214a9
- [headers] update header_spec · e9f0afb9
  Julien Signoles authored 5 years ago and François Bobot committed 5 years ago
  
  e9f0afb9
- [lint] move E-ACSL's .Makefile.lint into Frama-C's one · 19c26322
  Julien Signoles authored 5 years ago and François Bobot committed 5 years ago
  
  19c26322
- lint · 9f5ff65b
  Julien Signoles authored 5 years ago and François Bobot committed 5 years ago
  
  9f5ff65b
- [lint] src/plugins/e-acsl/src/project_initializer/prepare_ast.mli · f80739b2
  Julien Signoles authored 5 years ago and François Bobot committed 5 years ago
  
  f80739b2
Oct 29, 2019
- sync with frama-c!2347 · 8b95042a
  Andre Maroneze authored 5 years ago
  
  8b95042a
Oct 11, 2019
- fixes no-lint file list · 96942c76
  Virgile Prevosto authored 5 years ago
  
  96942c76
Sep 26, 2019
- next to rebase onto f383f0b7784 · 4bee1cdb
  Patrick Baudin authored 5 years ago
  
  4bee1cdb
- fix oracle · f0189190
  Julien Signoles authored 5 years ago and Patrick Baudin committed 5 years ago
  
  f0189190
- fix error message · c3c63832
  Julien Signoles authored 5 years ago and Patrick Baudin committed 5 years ago
  
  c3c63832
- From changes in the libC: fixes specification of abort and exit functions · 439b9220
  Patrick Baudin authored 5 years ago and Patrick Baudin committed 5 years ago
  
  439b9220
Sep 12, 2019
- Follows a change with ghost formal attribute in kernel · a1c8b229
  Allan Blanchard authored 5 years ago
  
  a1c8b229
Sep 09, 2019
- Simplifies ghost erasure code · 04505d29
  Allan Blanchard authored 5 years ago
  
  04505d29
- Assures that the ghost aspect of parameters is correctly removed · dfd1c385
  Allan Blanchard authored 5 years ago
  
  dfd1c385
- [Tests] Adds tests related to the handling of ghost parameters · e4fc7636
  Allan Blanchard authored 5 years ago
  
  e4fc7636
Sep 04, 2019
- [tests] update outdated dev oracles · 04a1033f
  Julien Signoles authored 5 years ago
  
  04a1033f
Sep 03, 2019
- update header_spec.txt · 0f57f4a5
  Andre Maroneze authored 5 years ago
  
  0f57f4a5
Sep 02, 2019
- [tests] update oracle wrt libc changes · 56d68ff8
  Julien Signoles authored 5 years ago
  
  56d68ff8
- [makefile] clean/distrib test_config* · e2048a42
  Julien Signoles authored 5 years ago
  
  e2048a42
- [tests] fix issue with print.ml · 8e18e3ad
  Julien Signoles authored 5 years ago
  
  8e18e3ad
Aug 30, 2019
- [tests] remove let-alias · 2650c318
  Julien Signoles authored 5 years ago
  
  2650c318
- [tests] kill testrun.sh · a1dc27e6
  Julien Signoles authored 5 years ago
  
  a1dc27e6
- [tests] rename language_constructs to constructs · de13faaf
  Julien Signoles authored 5 years ago
  
  de13faaf
- [tests] config dev · cfe6a1e8
  Julien Signoles authored 5 years ago
  
  cfe6a1e8
- [tests] config ci · 75d20451
  Julien Signoles authored 5 years ago
  
  75d20451
- [tests] remove useless STDOPT · 628c21d7
  Julien Signoles authored 5 years ago
  
  628c21d7
- [tests] gmp-only · 31ef7f84
  Julien Signoles authored 5 years ago
  
  31ef7f84
- [tests] improve test organization · 2a0e80ad
  Julien Signoles authored 5 years ago
  
  2a0e80ad
- [tests] rename gmp to arith and runtime to memory · c1e98626
  Julien Signoles authored 5 years ago
  
  c1e98626
- [tests] merge segment-only and runtime · 7f0440a9
  Julien Signoles authored 5 years ago
  
  7f0440a9