Commits · de1aea03627b2ff922012eeed512c791294d210a · pub / frama-c · GitLab

Snippets Groups Projects

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
- [doc] manuals install · e3bf18b0
  Allan Blanchard authored 2 years ago
  
  e3bf18b0
- [build] no more configure · 5f6d3468
  Allan Blanchard authored 2 years ago
  
  5f6d3468
Jul 19, 2022
- [opam] consider prefix · 0335af57
  Allan Blanchard authored 2 years ago
  
  0335af57
Jul 08, 2022
- [opam] update build instructions · b39c2988
  Allan Blanchard authored 2 years ago
  
  b39c2988
Jul 01, 2022
- [Opam] "yojson" { >= "1.6.0" & < "2.0.0" } · 7ba96e4a
  Patrick Baudin authored 2 years ago
  
  7ba96e4a
Jun 29, 2022
- update version number post release · dbfc151e
  Andre Maroneze authored 2 years ago
  
  dbfc151e
Jun 28, 2022
- [Opam] fixes 'depends' and 'depopts' refer to the same ppx_deriving_yojson · 21328354
  Patrick Baudin authored 2 years ago
  
  21328354
May 11, 2022
- Update dependencies for ppx_import and ppx_deriving.eq · 90fe4a70
  François Bobot authored 2 years ago
  
  90fe4a70
May 10, 2022
- Release Manganese · bec48ca8
  François Bobot authored 2 years ago
  
  bec48ca8
May 06, 2022
- [wp] Bump Why3 to 1.5.0 · df5874ed
  Allan Blanchard authored 2 years ago
  
  df5874ed
Jan 24, 2022
- [wp] Remove native:coq · 835fa3ee
  Allan Blanchard authored 3 years ago
  
  835fa3ee
- [wp] Removes references to native:alt-ergo · 03562e22
  Allan Blanchard authored 3 years ago
  
  03562e22
Nov 30, 2021
- Version bump · c5a50737
  Virgile Prevosto authored 3 years ago
  
  View commits for tag 24.0 24.0
  
  c5a50737
Nov 25, 2021
- [opam] backport variable name change from official opam repo · c04d0c4e
  Virgile Prevosto authored 3 years ago
  
  c04d0c4e
Nov 04, 2021
- [opam] use appropriate syntax for identifying beta versions · 8dbb264a
  Virgile Prevosto authored 3 years ago
  
  8dbb264a
- [opam] update version number and dependencies · de351a83
  Virgile Prevosto authored 3 years ago
  
  de351a83