Commits · b1777e8f3f31ba0f6856d0c8ffb1dedb7402af1f · pub / frama-c

Jun 09, 2022
- [headers] fixes headers of some Makefile and .sh · b1777e8f
  Patrick Baudin authored 2 years ago
  
  b1777e8f
- [headers] fixes headers of dune files · f41159b9
  Patrick Baudin authored 2 years ago
  
  f41159b9
- removes unused files · dceef58c
  Patrick Baudin authored 2 years ago
  
  dceef58c
Jun 07, 2022
- removes scripts related to an older header management · 6baa1591
  Patrick Baudin authored 2 years ago
  
  6baa1591
- [headers] fixes header spec · a3b287b7
  Patrick Baudin authored 2 years ago
  
  a3b287b7
- fixes /devel_tools/git-hooks/pre-commit header · cb05bc65
  Patrick Baudin authored 2 years ago
  
  cb05bc65
- [headers] fixes some headers · e5a5daa7
  Patrick Baudin authored 2 years ago
  
  e5a5daa7
- [Headers] adds others spec formats + parsing from stdin" · 2ff24bd5
  Patrick Baudin authored 2 years ago
  
  2ff24bd5
Jun 02, 2022
- Revert "Merge branch 'feature/andre/distribute-estimate-difficulty' into 'stable/manganese'" · 1c57775e
  François Bobot authored 2 years ago
  
  This reverts merge request !3615
  1c57775e
May 31, 2022
- Adds headache config for latex files · f760bfd1
  Patrick Baudin authored 2 years ago
  
  f760bfd1
May 30, 2022
- [hdrs] removed journal · 209ee5d2
  Allan Blanchard authored 2 years ago
  
  209ee5d2
May 09, 2022

[analysis-scripts] improve and distribute estimate-difficulty executable · 8e7c6370

Andre Maroneze authored 3 years ago

Allow estimate-difficulty to be exported (in Linux/macOS/Windows) as
independent executable, so that it can be used without having to install
Frama-C.

8e7c6370

May 03, 2022
- [kernel] Preparing states for storing ast diffs · 30f4740c
  Virgile Prevosto authored 3 years ago and David Bühler committed 2 years ago
  
  30f4740c
Apr 22, 2022
- [Eva] multidim: use Lattice_bounds · 54e374b1
  Valentin Perrelle authored 2 years ago and David Bühler committed 2 years ago
  
  54e374b1
- [Eva] multidim: reorganize files · 4c3dbd90
  Valentin Perrelle authored 2 years ago and David Bühler committed 2 years ago
  
  - split Abstract_memory into multiple file - move from kernel_services to value/domains/multidim
  4c3dbd90
Apr 11, 2022
- [Eva] Updates header_spec. · 3ce7fd81
  David Bühler authored 3 years ago
  
  3ce7fd81
Apr 06, 2022
- [Eva] gather Top and Bottom into Lattice_bounds · bc2bd27d
  Valentin Perrelle authored 2 years ago and David Bühler committed 2 years ago
  
  bc2bd27d
- [Eva] add support for Top polymorphic variant · 8d63ea22
  Valentin Perrelle authored 2 years ago and David Bühler committed 2 years ago
  
  8d63ea22
Mar 28, 2022
- [Headers] build frama-c-hdrck as an independent tool like frama-c-ptests · ecc6e693
  Patrick Baudin authored 2 years ago
  
  ecc6e693
Mar 25, 2022
- [analysis-scripts] add pyproject.toml to manage linting of Python scripts · 44dc6be3
  Andre Maroneze authored 3 years ago
  
  44dc6be3
- [headache] update config for linted Python files · e1c3c806
  Andre Maroneze authored 3 years ago
  
  e1c3c806
Mar 17, 2022
- [Headers] adds dune config · 9f953e6e
  Patrick Baudin authored 3 years ago
  
  9f953e6e
- [Headers] adds dune config · 4cf5e35b
  Patrick Baudin authored 3 years ago
  
  4cf5e35b
Mar 10, 2022
- [Libc] add C stubs for getpwnam_r and getpwuid_r · c79a8b94
  Andre Maroneze authored 3 years ago and Maxime Jacquemin committed 3 years ago
  
  c79a8b94
Mar 04, 2022
- [Kernel] split GCC builtins JSON file for performance reasons · 695a2d8d
  Andre Maroneze authored 3 years ago
  
  695a2d8d
- [Kernel] move Cil_builtins declarations to JSON file and export as table · eaa0741d
  Andre Maroneze authored 3 years ago
  
  eaa0741d
Feb 23, 2022
- [2022] file headers · 7b02c99c
  Patrick Baudin authored 3 years ago
  
  7b02c99c
- [2022] header templates · bf45ec55
  Patrick Baudin authored 3 years ago
  
  bf45ec55
Feb 21, 2022
- [qed&wp] remove ocp-indent from header_spec · b0bc58ea
  Allan Blanchard authored 3 years ago
  
  b0bc58ea
Feb 18, 2022

[Libc] add all remaining POSIX headers · 9d2d98c6

Andre Maroneze authored 3 years ago

There are still many missing specifications, but at least parsing should
succeed for strictly POSIX-compliant code.

9d2d98c6

Feb 16, 2022
- [Eva] Reorders header_spec.txt. · 152eacaa
  David Bühler authored 3 years ago
  
  152eacaa
- [Eva] Renames value_perf to eva_perf. · 48dd0768
  David Bühler authored 3 years ago
  
  48dd0768
- [Eva] Renames value_results to eva_results. · 429869aa
  David Bühler authored 3 years ago
  
  429869aa
- [Eva] Renames value_util to eva_utils. · 5cd57d21
  David Bühler authored 3 years ago
  
  5cd57d21
- [analysis-scripts] remove make-template and update documentation · 0dcc48a5
  Andre Maroneze authored 3 years ago
  
  0dcc48a5
Feb 15, 2022
- [analysis-scripts] add source_filter, to improve regex-based heuristics · a504b1e2
  Andre Maroneze authored 3 years ago
  
  a504b1e2
- [analysis-scripts] add 'build' command · 1a999076
  Andre Maroneze authored 3 years ago
  
  1a999076
- [Eva] Splits and renames file value_parameters into self and parameters. · 6c8da42c
  David Bühler authored 3 years ago and Valentin Perrelle committed 3 years ago
  
  6c8da42c
- [Eva] api: Do not insert header into Eva.mli · 2705efe2
  Valentin Perrelle authored 3 years ago and David Bühler committed 3 years ago
  
  2705efe2
- [Eva] api: Fix the distribution of eva-api.sh · 15990951
  Valentin Perrelle authored 3 years ago and David Bühler committed 3 years ago
  
  15990951