Commits · c442f89a300c1d0c19705ab5ac82a4e486d83ef2 · pub / frama-c · GitLab

Snippets Groups Projects

Oct 25, 2022
- [Eva] Octagon domain: adds an abstract interface for variables. · c442f89a
  David Bühler authored 4 years ago
  
  c442f89a
- Merge branch 'feature/ivette/icon' into 'master' · 459a8189
  Loïc Correnson authored 2 years ago
  
  [ivette] The icon now works on Linux See merge request frama-c/frama-c!3983
  459a8189
- [ivette] Dome.getStatic() · 8a78bf3b
  Loïc Correnson authored 2 years ago
  
  8a78bf3b
- [ivette] renamed icns for macOS · fb96307b
  Loïc Correnson authored 2 years ago
  
  fb96307b
- [ivette] Workaround for __static path · f9131b2f
  Maxime Jacquemin authored 2 years ago
  
  f9131b2f
- [ivette] The icon now works on Linux · 4edf7914
  Maxime Jacquemin authored 2 years ago
  
  4edf7914
- Merge branch 'feature/thibaut/type-conditionals-predicates' into 'master' · 1a1df1df
  Allan Blanchard authored 2 years ago
  
  Improve typing for conditionals inside predicates Closes e-acsl#203 See merge request frama-c/frama-c!3950
  1a1df1df
- Merge branch '1187-ivette-fix-spurious-dependency-on-zmq' into 'master' · 23f5aa50
  David Bühler authored 2 years ago
  
  Resolve "[ivette] fix spurious dependency on zmq" Closes #1187 See merge request frama-c/frama-c!3984
  23f5aa50
- Merge branch 'fix/wp/gui' into 'master' · 67722a36
  Loïc Correnson authored 2 years ago
  
  [wp/gui] fix GUI building See merge request frama-c/frama-c!3985
  67722a36
- [wp/gui] fix GUI building · 1593dff2
  Allan Blanchard authored 2 years ago
  
  1593dff2
- [ivette] remove zeromq dependencies · afb61720
  Loïc Correnson authored 2 years ago
  
  afb61720
Oct 24, 2022
- Merge branch 'fix/reference-configuration' into 'master' · 094307cb
  David Bühler authored 2 years ago
  
  [Doc] Updates the reference configuration. See merge request frama-c/frama-c!3980
  094307cb
- [Doc] Updates the reference configuration. · bab73b08
  David Bühler authored 2 years ago
  
  bab73b08
- Merge branch 'feature/thibaut/functions-label-here' into 'master' · 294d3a53
  Allan Blanchard authored 2 years ago
  
  Add support for labeled function with the label `Here` See merge request frama-c/frama-c!3948
  294d3a53
- Merge branch '1156-dune-sign-installed-executable-on-macos-m1' into 'master' · 3e506edd
  Allan Blanchard authored 2 years ago
  
  Resolve "[dune] sign installed executable on macOS / M1" Closes #1156 See merge request frama-c/frama-c!3974
  3e506edd
- Merge branch 'fix/typo' into 'master' · 07453fe6
  David Bühler authored 2 years ago
  
  [kernel] Fixes a typo in -load-module error message. See merge request frama-c/frama-c!3979
  07453fe6
- [kernel] Fixes a typo in -load-module error message. · a06eb4e2
  David Bühler authored 2 years ago
  
  a06eb4e2
- [e-acsl] add test for issue 178 · af5b6502
  Thibaut Benjamin authored 2 years ago
  
  af5b6502
- [e-acsl] update oracles · e2a92c78
  Thibaut Benjamin authored 2 years ago
  
  e2a92c78
- [e-acsl] prevent generation of empty functions · d5659ff0
  Thibaut Benjamin authored 2 years ago
  
  d5659ff0
- [e-acsl] clarify a warning · fccd0eda
  Thibaut Benjamin authored 2 years ago
  
  fccd0eda
- [e-acsl] add support for Here label in functions and predicates · bb29b859
  Thibaut Benjamin authored 2 years ago
  
  bb29b859
Oct 21, 2022
- Merge branch 'feature/patrick/frama-c-build-script' into 'master' · 1f5b9e93
  François Bobot authored 2 years ago
  
  [Scripts] adds bin/frama-c-build-script.sh Closes #1182 See merge request frama-c/frama-c!3940
  1f5b9e93
- Merge branch 'fix/reproducible-archive' into 'master' · ed9deb2a
  Allan Blanchard authored 2 years ago
  
  [distrib] make-distrib.sh uses the same tar options as 'make distrib' before dune. Closes #1175 See merge request frama-c/frama-c!3977
  ed9deb2a
- [distrib] make-distrib.sh uses the same tar options as 'make distrib' before dune. · 8de08ca9
  David Bühler authored 2 years ago
  
  8de08ca9
- Merge branch 'fix/ivette/makefile' into 'master' · 944a66bc
  Loïc Correnson authored 2 years ago
  
  [ivette] Fixes dome template makefile: removes gitignore target. See merge request frama-c/frama-c!3975
  944a66bc
- [Scripts] adds the possibilty to set another package name · ee052f40
  Patrick Baudin authored 2 years ago and François Bobot committed 2 years ago
  
  ee052f40
- [kernel] fixes the description of -load-module option · a5f52008
  Patrick Baudin authored 2 years ago and François Bobot committed 2 years ago
  
  a5f52008
- [Scripts] adds some commands: init, build and install · 0798956a
  Patrick Baudin authored 2 years ago and François Bobot committed 2 years ago
  
  0798956a
- [kernel] fixes the error message when loading an ML source file · f82dd3e1
  Patrick Baudin authored 2 years ago and François Bobot committed 2 years ago
  
  f82dd3e1
- [Scripts] bin/frama-c-build-scripts.sh alllows generation of the opam file · 6c48f892
  Patrick Baudin authored 2 years ago and François Bobot committed 2 years ago
  
  6c48f892
- [Kernel] adds -load-library option · be848d6b
  Patrick Baudin authored 2 years ago and François Bobot committed 2 years ago
  
  be848d6b
- [Scripts] adds bin/frama-c-build-scripts.sh · 62a877b8
  Patrick Baudin authored 2 years ago and François Bobot committed 2 years ago
  
  62a877b8
- [ivette] Fixes dome template makefile: removes gitignore target. · dfea2f2d
  David Bühler authored 2 years ago
  
  dfea2f2d
- Merge branch '1171-install-dune' into 'master' · 9128695e
  Allan Blanchard authored 2 years ago
  
  Removed obsolete installation commands in INSTALL.md Closes #1171 See merge request frama-c/frama-c!3929
  9128695e
- [opam] dune constraint · 358954f7
  Loïc Correnson authored 2 years ago
  
  358954f7
Oct 20, 2022
- [doc] minor fixes in INSTALL.md · 71d67c9a
  Allan Blanchard authored 2 years ago
  
  71d67c9a
- [Doc] Fixes INSTALL.md: variable INSTALLDIR replaced by PREFIX. · d90788ce
  David Bühler authored 2 years ago and Allan Blanchard committed 2 years ago
  
  d90788ce
- [doc] cont'd INSTALL.md · e1150d4b
  Allan Blanchard authored 2 years ago
  
  e1150d4b
- Removed obsolete installation commands in INSTALL.md · 0608cac6
  Julien Girard-Satabin authored 2 years ago and Allan Blanchard committed 2 years ago
  
  0608cac6