Commits · 129f21cd696a4354cc1fb41aef99ba62b2839399 · pub / frama-c

22 Sep, 2020 1 commit
- [Analysis-scripts] fix and update normalize-jcdb · 129f21cd
  Andre Maroneze authored Sep 07, 2020
  
  129f21cd
09 Sep, 2020 1 commit
- [Makefile] remove duplicate rule and fix typo · 83b00eb9
  Andre Maroneze authored Jul 30, 2020
  
  83b00eb9
07 Sep, 2020 1 commit
- [Eva] Removes state_import.ml and options -eva-[save|load]-fun-state. · 9b68391b
  David Bühler authored Sep 04, 2020
  
  9b68391b
27 Aug, 2020 1 commit
- [Makefile] add warning about weird ocp-indent + dune 2 bug · b4098739
  Andre Maroneze authored Aug 27, 2020
  
  b4098739
30 Jul, 2020 4 commits
- [Analysis-scripts] improve template, make-template, make-path; refactor find-fun · 801d2ae6
  Andre Maroneze authored Jun 09, 2020 and Valentin Perrelle committed Jul 30, 2020
  
  801d2ae6
- [Analysis-scripts] remove outdated documentation and examples; userman will replace it · 0016909e
  Andre Maroneze authored Jun 05, 2020 and Valentin Perrelle committed Jul 30, 2020
  
  0016909e
- [Analyis-scripts] rename several files to avoid confusion · fb38eaff
  Andre Maroneze authored Jun 05, 2020 and Valentin Perrelle committed Jul 30, 2020
  
  fb38eaff
- [analysis-scripts] Makefile simplification · 3d142c85
  Andre Maroneze authored May 29, 2020 and Valentin Perrelle committed Jul 30, 2020
  
  3d142c85
27 Jul, 2020 1 commit
- remove obsolete occurrences of Transitioning due to migration towards 4.08.1 · 22807efc
  Andre Maroneze authored Jul 21, 2020
  
  22807efc
21 Jul, 2020 2 commits
- [Eva] New request returning the values inferred by the analysis. · fba51f48
  David Bühler authored May 27, 2020 and Michele Alberti committed Jul 21, 2020
  
  fba51f48
- Fix make odoc for > 4.08 · 51b1252b
  François Bobot authored Jun 24, 2020 and Andre Maroneze committed Jul 21, 2020
```
   Misc is in compiler-libs
```
  51b1252b
09 Jul, 2020 1 commit
- [ivette] merge with master · 5e9ed98e
  Loïc Correnson authored Jul 09, 2020
  
  5e9ed98e
03 Jul, 2020 4 commits
- [Makefile] factorization of the rule for generating test file · 7f11d6f7
  Virgile Prevosto authored Jul 03, 2020
  
  7f11d6f7
- remove ro file before regenerating it · 39d0e0f1
  Virgile Prevosto authored Jul 02, 2020
  
  39d0e0f1
- [tests] make generated test file read-only · 35cdc975
  Virgile Prevosto authored Jul 02, 2020
  
  35cdc975
- [Makefile] Fix dependency of generated test · 50fbafa5
  Virgile Prevosto authored Jul 02, 2020
  
  50fbafa5
01 Jul, 2020 3 commits
- [Makefile] more accurate dependencies for generated test file · 62c11bf5
  Virgile Prevosto authored Jul 01, 2020
  
  62c11bf5
- [tests] conditional run of preprocess_dos.c (only if unix2dos exists) · e9d5b1d9
  Virgile Prevosto authored Jul 01, 2020
  
  e9d5b1d9
- [Eva] Adds unit testing of the sign values semantics. · 7b52a054
  David Bühler authored Jun 25, 2020
```
Unit tests are in the new file utils/unit_tests.ml, and are run by the new test
file tests/value/unit_tests.i through the exported function Eva.Unit_tests.test.
```
  7b52a054
26 Jun, 2020 1 commit
- [Eva] New server request "eva.callers" to get the call sites of a function. · cbf69133
  David Bühler authored Jun 24, 2020
  
  cbf69133
08 Jun, 2020 1 commit
- [opam] update description format according to opam preferences · 6bc253c7
  Andre Maroneze authored Jun 08, 2020
  
  6bc253c7
10 Apr, 2020 1 commit
- [lint] fix ptests.ml indentation · 705b7c9a
  Virgile Prevosto authored Apr 10, 2020
  
  705b7c9a
09 Apr, 2020 1 commit
- [Makefile] fix make src-distrib · c762eada
  Andre Maroneze authored Mar 30, 2020
  
  c762eada
06 Apr, 2020 1 commit
- [Eva] New option -eva-domains-function to enable domains on specific functions. · 248be1c3
  David Bühler authored Feb 17, 2020
  
  248be1c3
31 Mar, 2020 2 commits
- [Makefile] compile even if tests/ is absent · c4a50e56
  Virgile Prevosto authored Mar 31, 2020
  
  c4a50e56
- [Dev] add script for applying creduce to Frama-C crashes · e6661a80
  Andre Maroneze authored Apr 16, 2019
  
  e6661a80
18 Mar, 2020 1 commit
- [ghost] Checks ghost accesses · 22f7285b
  Allan Blanchard authored Nov 05, 2019
  
  22f7285b
13 Mar, 2020 1 commit
- [config] change name of config.ml to avoid clash with compiler internal lib · aedae7e6
  Virgile Prevosto authored Mar 05, 2020
  
  aedae7e6
11 Mar, 2020 2 commits
- Revert "[WIP] [Eva] Enable descending sequences" · 890d33fc
  Valentin Perrelle authored Mar 11, 2020
```
This reverts commit e9c60779
```
  890d33fc
- [WIP] [Eva] Enable descending sequences · e9c60779
  Valentin Perrelle authored Mar 11, 2020
  
  e9c60779
06 Mar, 2020 2 commits
- update copyright to 2020 · 325661e6
  Andre Maroneze authored Mar 05, 2020
  
  325661e6
- [Makefile] New crowbar target for linking the whole kernel · eda46b38
  Virgile Prevosto authored Mar 02, 2020
```
More or less needed if you want to use dynamically loaded plug-ins, for which
dependency tracking becomes more complicated.
```
  eda46b38
25 Feb, 2020 1 commit
- [Makefile] add a target to check that crashes reported by afl aren't spurious · a8f76987
  Virgile Prevosto authored Feb 25, 2020
  
  a8f76987
17 Feb, 2020 2 commits
- [Makefile] add possibility to pass options to afl in crowbar-afl target · bab20396
  Virgile Prevosto authored Feb 06, 2020
  
  bab20396
- [Kernel] Now checks that the CFG is not broken by ghost code · fc32da87
  Allan Blanchard authored Sep 06, 2019
  
  fc32da87
14 Feb, 2020 1 commit
- [kernel] Extract from Cil the visitor for const globals substitution into a new file. · 5cf9ae85
  Michele Alberti authored Feb 14, 2020
  
  5cf9ae85
13 Feb, 2020 1 commit
- [kernel] Adds an ACSL extensions management module · c3575ef4
  Allan Blanchard authored Jan 24, 2020
  
  c3575ef4
12 Feb, 2020 1 commit
- [Makefile] fix 'install' target on Cygwin · 43475a98
  Andre Maroneze authored Feb 12, 2020
  
  43475a98
03 Feb, 2020 1 commit
- [kernel][stdlib] Remove FCSet and move basic signature to Hptset module. · fa6e437d
  Michele Alberti authored Feb 02, 2020
  
  fa6e437d
01 Feb, 2020 1 commit
- [kernel][stdlib] Remove FCBuffer and use Buffer instead. · 3bc6e61d
  Michele Alberti authored Feb 01, 2020
  
  3bc6e61d