Commits · 308837612a4cab1c0d5a9b45baefe287d5e785d8 · pub / frama-c

Jul 07, 2022
- fixes warning-32 · 30883761
  Patrick Baudin authored 2 years ago
  
  30883761
Jul 05, 2022
- [Eva] New file cvalue_callbacks. · f648b99c
  David Bühler authored 2 years ago
  
  f648b99c
Jun 24, 2022
- [Dune] Using required (lang dune 2.9) into dune-project files · b0dc50af
  Patrick Baudin authored 2 years ago
  
  b0dc50af
Jun 17, 2022
- lint some files · 6ead6d86
  Patrick Baudin authored 2 years ago
  
  6ead6d86
Jun 16, 2022
- [Wp] remove unused manual sections · 7b00705b
  Andre Maroneze authored 2 years ago
  
  7b00705b
Jun 15, 2022
- [hdrck] allows a list of config files · 81922ea9
  Patrick Baudin authored 2 years ago
  
  81922ea9
Jun 14, 2022
- linting some files · 50e32c6e
  Patrick Baudin authored 2 years ago
  
  50e32c6e
- [hdrck] avoid double slashes when concatenating paths · ef531e26
  Andre Maroneze authored 3 years ago
  
  ef531e26
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