Commits · 64d16eff63a26f39c70e138b2d01ec7cb112c0c4 · pub / frama-c

Jan 16, 2025
- Update headers to 2025 · 0d9cf882
  Thibault Martin authored 2 months ago
  
  0d9cf882
Aug 01, 2024
- remove unused headers and prevent issues with future headache version · fcfa542a
  Andre Maroneze authored 7 months ago
  
  fcfa542a
Jun 26, 2024
- [headache] fix configuration for .xml header generation · eec8e275
  Virgile Prevosto authored 9 months ago
  
  eec8e275
Apr 25, 2024
- [headers] Fix copyright year for FSF in CEA_FSF_LGPL · 00b100cf
  Virgile Prevosto authored 11 months ago
  
  00b100cf
- Update headers to 2024 · ed0f43a4
  Thibault Martin authored 11 months ago and Virgile Prevosto committed 11 months ago
  
  ed0f43a4
Dec 18, 2023
- fix typo in 'closed source' · 6f8712d5
  Andre Maroneze authored 1 year ago
  
  6f8712d5
Mar 23, 2023
- [headers] header for workspace bench · 9b1bc18a
  Allan Blanchard authored 2 years ago
  
  9b1bc18a
Mar 22, 2023
- add headache config for default dune workspace file · 62b1ee6c
  Jan Rochel authored 2 years ago
  
  62b1ee6c
Jan 27, 2023
- [headers] from 2022 to 2023 · 76801139
  Allan Blanchard authored 2 years ago
  
  76801139
- [headers] change template date · 21419807
  Allan Blanchard authored 2 years ago
  
  21419807
Jan 24, 2023
- [lint] get non utf8 position · 8f033f52
  Patrick Baudin authored 2 years ago
  
  8f033f52
Jul 29, 2022
- [headers] CEA_PROPRIETARY is not an OS header · ea966671
  Allan Blanchard authored 2 years ago
  
  ea966671
- [headers] remove unused headers · e8106da1
  Allan Blanchard authored 2 years ago
  
  e8106da1
Jul 08, 2022
- [Headache] adds a configuration for BibTeX files · fdac4064
  Patrick Baudin authored 2 years ago and Allan Blanchard committed 2 years ago
  
  fdac4064
- [headers] install config · 3811327c
  Allan Blanchard authored 2 years ago
  
  3811327c
- Move ptests and hdrck to tools · 8773a75d
  Allan Blanchard authored 2 years ago
  
  8773a75d
Jul 07, 2022
- [Dune] lang 2.9 -> 3.0 · d2b55485
  Patrick Baudin authored 2 years ago
  
  d2b55485
- 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