Commits · e7cc0d811134cc5bd96d8600ac159219ed33fad8 · pub / frama-c · GitLab

Snippets Groups Projects

Sep 14, 2023
- [opam] add constraint on OCamlGraph for tests · e7cc0d81
  Allan Blanchard authored 1 year ago
  
  e7cc0d81
Jul 19, 2023
- update minimal OCaml version to 4.13 · d752aa52
  Andre Maroneze authored 1 year ago and Allan Blanchard committed 1 year ago
  
  d752aa52
- Add Pierre Nigron to the authors · d17e30f4
  Allan Blanchard authored 1 year ago
  
  d17e30f4
Jul 18, 2023
- Frama-C 27.1 - Cobalt · 2b89cfd8
  Allan Blanchard authored 1 year ago
  
  View commits for tag 27.1 27.1
  
  2b89cfd8
- Frama-C 27.1 - Cobalt · eb106e3a
  Allan Blanchard authored 1 year ago
  
  eb106e3a
Jul 05, 2023
- [opam] fix release option in opam installation · d6c59aaf
  Allan Blanchard authored 1 year ago
  
  d6c59aaf
Jun 14, 2023
- Frama-C 27.0 - Cobalt · 93a2c7dd
  Allan Blanchard authored 1 year ago
  
  View commits for tag 27.0 27.0
  
  93a2c7dd
Jun 12, 2023
- [opam] opam doc install · 1f9c9440
  Allan Blanchard authored 1 year ago
  
  1f9c9440
May 22, 2023
- add Jan Rochel to authors · 7bee3feb
  Jan Rochel authored 1 year ago
  
  7bee3feb
- [opam] add unionFind for Alias · 20144a58
  Allan Blanchard authored 1 year ago and Jan Rochel committed 1 year ago
  
  20144a58
- [opam] no more direct use of ocamlfind · ddf2f9e8
  Allan Blanchard authored 1 year ago
  
  ddf2f9e8
- [opam] fix yaml dependencies · 84d76205
  Allan Blanchard authored 1 year ago
  
  84d76205
May 15, 2023
- [opam] fix Yaml minimal bound · 4efffb41
  Allan Blanchard authored 1 year ago
  
  4efffb41
- [kernel] few fixes on Yaml version + Changelog · 67d806c5
  Allan Blanchard authored 1 year ago
  
  67d806c5
- Set beta · 48d43be5
  Allan Blanchard authored 1 year ago
  
  48d43be5
- Frama-C - dev version · f0f08498
  Allan Blanchard authored 1 year ago
  
  f0f08498
- Frama-C 27.0 version in files · 1c7a48ab
  Allan Blanchard authored 1 year ago
  
  1c7a48ab
May 09, 2023
- [opam] add required package · ff593e9d
  Virgile Prevosto authored 2 years ago and Andre Maroneze committed 1 year ago
  
  ff593e9d
May 03, 2023
- [opam] set frama-ci-bot as a maintainer · 9d65bb84
  Allan Blanchard authored 1 year ago
  
  9d65bb84
Mar 31, 2023
- Add Alexander Kogtenkov to authors · 5c94645f
  Allan Blanchard authored 1 year ago
  
  5c94645f
Mar 14, 2023
- [wp] Why3 bumped to 1.6.0 · 80d79505
  Allan Blanchard authored 2 years ago
  
  80d79505
Feb 15, 2023
- Updates version for the minor release of Frama-C 26.1 (Iron). · 2adef162
  David Bühler authored 2 years ago
  
  2adef162
Jan 31, 2023
- [ci] enable opam pin minimal · 1eb09b9b
  Allan Blanchard authored 2 years ago
  
  1eb09b9b
- [opam] lower bound for menhir · 0667186e
  Allan Blanchard authored 2 years ago
  
  0667186e
Jan 20, 2023
- [opam] avoid E-ACSL issues in Windows · 1ffa0d9c
  Andre Maroneze authored 2 years ago
  
  1ffa0d9c
Jan 16, 2023
- allows using menhir · 5b4cdb55
  Patrick Baudin authored 2 years ago
  
  5b4cdb55
Jan 13, 2023
- Updates opam file and the reference configuration for yojson 2.0. · a735315e
  David Bühler authored 2 years ago
  
  a735315e
Dec 16, 2022
- [install] Changes dev tools management · c2acbd20
  Allan Blanchard authored 2 years ago
  
  - installation via the makefile - opam packages for dependencies
  c2acbd20
Nov 29, 2022
- [opam] relax constraint on yojson · eacfde3b
  Allan Blanchard authored 2 years ago
  
  eacfde3b
Nov 23, 2022
- Updates version for the final release of Frama-C 26.0 (Iron). · 1ec4a85d
  David Bühler authored 2 years ago
  
  1ec4a85d
Nov 11, 2022
- [ci] temporary fix for frama-c-lint · 84c70ae8
  Allan Blanchard authored 2 years ago
  
  84c70ae8
Nov 08, 2022
- Adds Nicolas Stouls to the authors list. · 2d632dbe
  David Bühler authored 2 years ago
  
  2d632dbe
- [opam] Removes the optional dependency to coq. · 5cd3a404
  David Bühler authored 2 years ago
  
  5cd3a404
- [opam] Removes gtk2 dependencies for macos. · 9a53ae66
  David Bühler authored 2 years ago
  
  Neither gtk2 nor gtk3 works on macos.
  9a53ae66
Nov 04, 2022

[opam] after GitHub opam-repo review · 32eebfe4

Allan Blanchard authored 2 years ago

- new conflicts
- GTK2/3 restrictions
- shows post-installation messages only on success.

32eebfe4

Nov 03, 2022
- Updates development version. · de1aea03
  David Bühler authored 2 years ago
  
  de1aea03
Oct 28, 2022
- Changes version and codename for 26.0 (Iron). · d532233f
  David Bühler authored 2 years ago
  
  d532233f
Oct 21, 2022
- [opam] dune constraint · 358954f7
  Loïc Correnson authored 2 years ago
  
  358954f7
Oct 20, 2022
- [opam] Fixes opam message about ivette installation. · c417cbfe
  David Bühler authored 2 years ago and Loïc Correnson committed 2 years ago
  
  c417cbfe
- [opam] Improves readability of opam messages after installation. · cd24b86a
  David Bühler authored 2 years ago and Loïc Correnson committed 2 years ago
  
  cd24b86a