Commits · d2b554852c5d83c257f9eac7309c4a6cf5e86e2b · pub / frama-c · GitLab

Snippets Groups Projects

Jul 07, 2022
- [Dune] lang 2.9 -> 3.0 · d2b55485
  Patrick Baudin authored 2 years ago
  
  d2b55485
- [Aorai] enables ltl test suite · 52132cfe
  Patrick Baudin authored 2 years ago
  
  52132cfe
- [Aorai] tests/ltl - fixes missing deps · bcd79d7a
  Patrick Baudin authored 2 years ago
  
  bcd79d7a
- [Eva] ensure gen-api.sh compatibility with Bash <4 (macsOS) · da878535
  Andre Maroneze authored 2 years ago
  
  da878535
Jul 06, 2022
- [dune] cleaning wp-cache instructions · 1242bfaf
  Loïc Correnson authored 2 years ago
  
  1242bfaf
- [Pdg] removes circularity due to postdominators · 74492016
  Patrick Baudin authored 2 years ago
  
  74492016
- [pdg] fix dependency to types · 94e8591f
  Allan Blanchard authored 2 years ago and Patrick Baudin committed 2 years ago
  
  94e8591f
- [Pdg] removes circularity due to postdominators · 1b07d665
  Patrick Baudin authored 2 years ago
  
  1b07d665
Jul 05, 2022
- [Eva] Documents the public interface of cvalue_callbacks. · 9d306d03
  David Bühler authored 2 years ago
  
  9d306d03
- [from] Uses Eva.Cvalue_callbacks hooks instead of Db.Value. · 00ac995c
  David Bühler authored 2 years ago
  
  00ac995c
- [inout] Uses Eva.Cvalue_callbacks hooks instead of Db.Value. · 44c04724
  David Bühler authored 2 years ago
  
  44c04724
- [Eva] In the engine, applies the callbacks from Cvalue_callbacks. · 2d4ae4d7
  David Bühler authored 2 years ago
  
  2d4ae4d7
- [Eva] New file cvalue_callbacks. · f648b99c
  David Bühler authored 2 years ago
  
  f648b99c
- [pdg] fix dependency to types · 4cb7c67d
  Allan Blanchard authored 2 years ago
  
  4cb7c67d
Jul 04, 2022
- [Aorai] tests - factorize OPT directive (cont.) · 0c3b39a0
  Patrick Baudin authored 2 years ago
  
  0c3b39a0
- [Aorai] tests - factorize OPT directive · ed55ea2c
  Patrick Baudin authored 2 years ago
  
  ed55ea2c
- [Eva] In [call] type, the callstack includes the current call. · 9c3a4505
  David Bühler authored 2 years ago
  
  9c3a4505
- [WP] tests - Adds explicit deps to WP cache env_var · a18e6600
  Patrick Baudin authored 2 years ago
  
  a18e6600
- [WP] tests - config.sh · bbbed948
  Patrick Baudin authored 2 years ago
  
  bbbed948
- removes Makefile.in of plugins · e88d46bd
  Patrick Baudin authored 2 years ago
  
  e88d46bd
Jul 01, 2022
- [WP] tests: modifies DEPS using a joker · e70554a7
  Patrick Baudin authored 2 years ago
  
  e70554a7
- [Pdg] pdg_types plugins -> pdg library · ed3bd265
  Patrick Baudin authored 2 years ago
  
  ed3bd265
- [Pdg_types] new plug-in · 44c995c8
  Patrick Baudin authored 2 years ago
  
  44c995c8
- [Pdg] API: Pdg.Register -> Pdg.Marks · 7b7c5ed5
  Patrick Baudin authored 2 years ago
  
  7b7c5ed5
- [Lint] dos2unix · fe98b40c
  Patrick Baudin authored 2 years ago
  
  fe98b40c
- [Pdg] removing Pdg from Db · 1ba76928
  Patrick Baudin authored 2 years ago
  
  1ba76928
Jun 30, 2022
- [Ivette] Eva domain states: adds a checkbox to print the entire domain state. · a46527cd
  David Bühler authored 2 years ago and Valentin Perrelle committed 2 years ago
  
  a46527cd
- [Eva] New request to print the internal domain states for a given marker. · 8d16aaed
  David Bühler authored 2 years ago and Valentin Perrelle committed 2 years ago
  
  Results: new function print_states returning a textual representation of the internal domain states, as a list for all available domains.
  8d16aaed
- [Eva] In abstract domains, slightly changes the signature of function [filter]. · 23344459
  David Bühler authored 2 years ago and Valentin Perrelle committed 2 years ago
  
  This function is used by memexec, and will be soon used to reduce the states to be printed for the end-user.
  23344459
- [Eva] Structure: exports the name of keys. · 307c3a94
  David Bühler authored 2 years ago and Valentin Perrelle committed 2 years ago
  
  307c3a94
- [Eva] In each domain module, defines the domain name. · 83cb8b8d
  David Bühler authored 2 years ago and Valentin Perrelle committed 2 years ago
  
  Documents the need for a clear and simple name in the domain interface. In the engine, the registration of abstractions does not change the domain name anymore.
  83cb8b8d
Jun 28, 2022
- [WP] modifies a DEPS in a test · 52d55d6d
  Patrick Baudin authored 2 years ago
  
  52d55d6d
- [ptests] allows dependencies to ~/.why3.conf · e69d03fd
  Patrick Baudin authored 2 years ago
  
  e69d03fd
- [WP] add wp/why3 tests · f99600ff
  Loïc Correnson authored 2 years ago and Patrick Baudin committed 2 years ago
  
  f99600ff
Jun 24, 2022
- [Dune] Using required (lang dune 2.9) into dune-project files · b0dc50af
  Patrick Baudin authored 2 years ago
  
  b0dc50af
- [Dune] make plugins optional · 99af4a71
  Allan Blanchard authored 2 years ago and Patrick Baudin committed 2 years ago
  
  99af4a71
- Moving pdg_types and value_types out of src/plugins · 146af245
  Patrick Baudin authored 2 years ago
  
  146af245
Jun 22, 2022
- [Tests] disable tests related to Apron · fe96b0e2
  Patrick Baudin authored 2 years ago
  
  fe96b0e2
- [Tests] E-ACSL - ptests directive EXEC -> EXECNOW (same sematics with dune) · eeff3625
  Patrick Baudin authored 2 years ago
  
  eeff3625
- Fix documentation cleaning · 3cc7233a
  François Bobot authored 2 years ago
  
  3cc7233a