Commits · 5c94645fe5adba8c6150f85c21f722e9337e93a6 · pub / frama-c · GitLab

Snippets Groups Projects

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
- [ivette] conforms to global make install · b77fe29a
  Loïc Correnson authored 2 years ago
  
  b77fe29a
- [makefile] extensible install/uninstall · 2b4745a2
  Loïc Correnson authored 2 years ago
  
  2b4745a2
- [ivette] install Ivette.app locally · b76acd6a
  Loïc Correnson authored 2 years ago
  
  b76acd6a
- [ivette] macOS removal · a829222a
  Loïc Correnson authored 2 years ago
  
  a829222a
- [opam] fix pos-install messages · 71a98f08
  Loïc Correnson authored 2 years ago
  
  71a98f08
- [opam] post-install messages · 2354fd77
  Loïc Correnson authored 2 years ago
  
  2354fd77
- [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
- [ivette] makefile.install was git-ignored · 37f870fc
  Loïc Correnson authored 2 years ago
  
  37f870fc
- [opam] removing Ivette · 97f62b11
  Loïc Correnson authored 2 years ago
  
  97f62b11
- [opam] ivette post-install message · 9957210f
  Loïc Correnson authored 2 years ago
  
  9957210f
- [ivette] make install for opam · 93425c45
  Loïc Correnson authored 2 years ago
  
  93425c45
Oct 19, 2022
- Upgrade minimal OCaml to 4.11 · 4ec9f19e
  Allan Blanchard authored 2 years ago
  
  4ec9f19e
- [build] make install: replaces environment variable INSTALLDIR by PREFIX. · 3a167d94
  David Bühler authored 2 years ago and Allan Blanchard committed 2 years ago
  
  This is more coherent with `dune install --prefix` option and other targets `make install` in doc and ivette Makefiles.
  3a167d94
Sep 29, 2022
- [opam] do not promote install files · f6bc4b60
  Allan Blanchard authored 2 years ago
  
  f6bc4b60
Sep 22, 2022
- [ptests] requires dune 3.2 · 4067057a
  Patrick Baudin authored 2 years ago
  
  4067057a
Sep 13, 2022
- [eva] numerors: use mlmpfr · 73055372
  Allan Blanchard authored 2 years ago
  
  73055372
- [wp] Bump Why3 version · 80409230
  Allan Blanchard authored 2 years ago
  
  80409230
Aug 12, 2022
- [opam] fix dune version · 353f065a
  Allan Blanchard authored 2 years ago
  
  353f065a
Jul 28, 2022
- [man] restore man installation · e6cd8d39
  Allan Blanchard authored 2 years ago
  
  e6cd8d39