Commits · 4f77c1ff5b182f7d632b9f53f684f26ae236f61b · pub / frama-c · GitLab

Snippets Groups Projects

Jan 27, 2023
- [headers] from 2022 to 2023 · 76801139
  Allan Blanchard authored 2 years ago
  
  76801139
Oct 20, 2022
- [opam] Moves opam file to the root directory. · 955ef624
  David Bühler authored 2 years ago and Loïc Correnson committed 2 years ago
  
  955ef624
Sep 26, 2022
- [doc] tgz -> tar.gz + generate hello · f9386ac5
  Allan Blanchard authored 2 years ago
  
  f9386ac5
Jun 07, 2022
- [headers] fixes some headers · e5a5daa7
  Patrick Baudin authored 2 years ago
  
  e5a5daa7
May 18, 2022
- [Distrib] Use sha256 instead of md5 for opam file · 7b694580
  François Bobot authored 2 years ago
  
  7b694580
May 11, 2022
- Fix build-src-distrib repository update · 343b5bfc
  François Bobot authored 2 years ago
  
  343b5bfc
- Fix build-manuals.sh renaming in release script · b20d519c
  François Bobot authored 2 years ago
  
  b20d519c
Aug 06, 2021
- [Distrib] Fixes Event short_title field · ab314ffe
  Allan Blanchard authored 3 years ago
  
  ab314ffe
Jul 21, 2021
- Revert "[Distrib] Fix event titles" · d5b309bd
  Allan Blanchard authored 3 years ago
  
  This reverts commit 66597e4e
  d5b309bd
Jul 20, 2021
- [Distrib] Remove fields when generating opam file · 76731a60
  Allan Blanchard authored 3 years ago
  
  - name - version
  76731a60
- [Distrib] Generate generic source for final release · 67788382
  Allan Blanchard authored 3 years ago
  
  67788382
- [Distrib] Fix event titles · 66597e4e
  Allan Blanchard authored 3 years ago
  
  66597e4e
- [Distrib] Fix API filename · 12c83b09
  Allan Blanchard authored 3 years ago
  
  12c83b09
Jul 08, 2021
- [Distrib] Remove fields when generating opam file · 6212b055
  Allan Blanchard authored 3 years ago
  
  - name - version
  6212b055
- [Distrib] Generate generic source for final release · 5e37ed10
  Allan Blanchard authored 3 years ago
  
  5e37ed10
- [Distrib] Fix event titles · d39ece7e
  Allan Blanchard authored 3 years ago
  
  d39ece7e
- [Distrib] Fix API filename · 7e3004bc
  Allan Blanchard authored 3 years ago
  
  7e3004bc
Jun 03, 2021
- [Doc] follow Linux convention for script exit codes · 5e352960
  Andre Maroneze authored 3 years ago and Virgile Prevosto committed 3 years ago
  
  5e352960
May 20, 2021
- Handle version with tilde by using it with branch name and files · 0d437d3f
  François Bobot authored 3 years ago
  
  View commits for tag 23.0-rc1 23.0-rc1
  
  0d437d3f
Apr 30, 2021
- [Release] fix release script on macOS' sed · cf5840cc
  Andre Maroneze authored 3 years ago
  
  cf5840cc
Apr 28, 2021
- [Distrib] checkout master before erasing website branch · 5ba968d3
  Allan Blanchard authored 3 years ago and Andre Maroneze committed 3 years ago
  
  5ba968d3
- [Distrib] Use grep instead of rgrep · 25f1d458
  Allan Blanchard authored 3 years ago and Andre Maroneze committed 3 years ago
  
  25f1d458
- [Distrib] Few simple fixes in generation script · 556e5493
  Allan Blanchard authored 3 years ago and Andre Maroneze committed 3 years ago
  
  556e5493
- [Distrib] New installation page format · debbab01
  Allan Blanchard authored 3 years ago and Andre Maroneze committed 3 years ago
  
  debbab01
Dec 07, 2020
- [release-script] Fixes a few typos · a5fcc449
  Allan Blanchard authored 4 years ago
  
  a5fcc449
Dec 04, 2020
- [release-script] Include only asked manuals on beta · a5328a6c
  Allan Blanchard authored 4 years ago
  
  a5328a6c
Dec 01, 2020
- [release-script] Less verbose make doc · e905eba2
  Allan Blanchard authored 4 years ago
  
  e905eba2
Nov 30, 2020
- [release-script] Adds missing manuals (website) · a6bd74bd
  Allan Blanchard authored 4 years ago
  
  a6bd74bd
- [release-script] Do not push · c0999a49
  Allan Blanchard authored 4 years ago
  
  c0999a49
- [release-script] can push to public repositories · 54389574
  Allan Blanchard authored 4 years ago
  
  54389574
- [release-script] Can push the release · 52eb48bd
  Allan Blanchard authored 4 years ago
  
  52eb48bd
- [release-script] More checks + prepares export · a0c952ae
  Allan Blanchard authored 4 years ago
  
  a0c952ae
- [release-script] Fixes variable · 9f56cc1b
  Allan Blanchard authored 4 years ago
  
  9f56cc1b
- New build src distrib script · ce534258
  Allan Blanchard authored 4 years ago
  
  ce534258
Nov 20, 2020
- [Release] Changes website target · 97113a13
  Allan Blanchard authored 4 years ago
  
  97113a13
Jun 24, 2020
- [Doc] fix release distribution script · 9b253e39
  Andre Maroneze authored 4 years ago
  
  9b253e39
- [Distrib] include E-ACSL changelog in website · 694462ce
  Andre Maroneze authored 4 years ago
  
  694462ce
Jun 12, 2020
- [Doc] fix release distribution script · 530a4e8e
  Andre Maroneze authored 4 years ago
  
  530a4e8e
Jun 11, 2020
- [Release] update release script · a4963b87
  Andre Maroneze authored 4 years ago
  
  a4963b87
May 15, 2020
- [Release] Update release script for Gitlab and minor fixes · 814abe3d
  Andre Maroneze authored 4 years ago
  
  814abe3d