Commits · 393d5440e2c0d0a774090383e8274d75a155e419 · pub / frama-c · GitLab

Snippets Groups Projects

Mar 02, 2020
- [Changelog] add examples of functions handled by Instantiate · 393d5440
  Andre Maroneze authored 5 years ago
  
  393d5440
- [Changelog] add entry for Instantiate plug-in · fdaf37e3
  Andre Maroneze authored 5 years ago
  
  fdaf37e3
- Merge branch 'feature/blanchard/builtin-to-instantiate' into 'master' · 8574f569
  Andre Maroneze authored 5 years ago
  
  [RENAME PLUGIN] Builtin -> Instantiate See merge request frama-c/frama-c!2552
  8574f569
- Merge branch 'feature/wp/import-nupw-6.6' into 'master' · 2988c623
  Loïc Correnson authored 5 years ago
  
  [wp] import nupw 6.6 See merge request frama-c/frama-c!2546
  2988c623
Feb 27, 2020
- [RENAME PLUGIN] Builtin -> Instantiate · bec92f6a
  Allan Blanchard authored 5 years ago
  
  bec92f6a
- Merge branch 'fix/virgile/gnumake-4.3-compat' into 'master' · 135bf06e
  Andre Maroneze authored 5 years ago
  
  more robust definition of space for frama-c.mk Closes #809 See merge request frama-c/frama-c!2551
  135bf06e
- more robust definition of space for frama-c.mk · 8f7ff635
  Virgile Prevosto authored 5 years ago
  
  8f7ff635
Feb 26, 2020
- Merge branch 'feature/wp/prover-fallback' into 'master' · b8ead633
  Allan Blanchard authored 5 years ago
  
  [wp] prover name fallback See merge request frama-c/frama-c!2548
  b8ead633
Feb 25, 2020
- Update Changelog · a5f5f5f4
  Virgile Prevosto authored 5 years ago
  
  a5f5f5f4
- Merge branch 'feature/blanchard/ghost-else' into 'master' · 517fa8c3
  Virgile Prevosto authored 5 years ago
  
  Supports ghost-else contruct See merge request frama-c/frama-c!2375
  517fa8c3
- [Makefile] add a target to check that crashes reported by afl aren't spurious · a8f76987
  Virgile Prevosto authored 5 years ago
  
  a8f76987
- [printer] also protect empty ghost blocks inside non-ghost environment · 3175ea90
  Virgile Prevosto authored 5 years ago
  
  3175ea90
- [typing] keep empty ghost block when in non-ghost context · 63ad701a
  Virgile Prevosto authored 5 years ago
  
  63ad701a
- [tests] more ghost tests · 84ae7e2b
  Virgile Prevosto authored 5 years ago
  
  84ae7e2b
- [crowbar] more precise oracle · 1e81fdb0
  Virgile Prevosto authored 5 years ago
  
  1e81fdb0
- [CI] it is an error if wp-qualif fails · 596ed001
  François Bobot authored 5 years ago
  
  The cache makes the tests deterministic
  596ed001
- [ghost] Renames some files · d883c69d
  Allan Blanchard authored 5 years ago
  
  d883c69d
- [wp] sequent API documentation · f6eec487
  Loïc Correnson authored 5 years ago
  
  f6eec487
- [printer] fix pretty-printing of single-ghost-statement then/else blocks · 0be4c5a5
  Virgile Prevosto authored 5 years ago
  
  0be4c5a5
Feb 24, 2020
- [crowbar] catch exception if pretty-printed code is not re-parsable · e50f33f4
  Virgile Prevosto authored 5 years ago
  
  e50f33f4
- Merge branch 'feature/server/gui' into 'master' · af8f9c12
  François Bobot authored 5 years ago
  
  Feature/server/gui See merge request frama-c/frama-c!2516
  af8f9c12
- Merge branch 'fix/eva/domains-enter-scope' into 'master' · 4cfb58ae
  Michele Alberti authored 5 years ago
  
  [Eva] Small changes in the abstract domain signature. See merge request frama-c/frama-c!2547
  4cfb58ae
- [Eva] Fixes some comments. In abstract_domain, renames Return into Result. · 821ce8c9
  David Bühler authored 5 years ago
  
  821ce8c9
- [Eva] Traces domain: slightly changes the output of initialize_variable_using_type. · 970e6032
  David Bühler authored 5 years ago
  
  970e6032
- [Eva] In abstract domains, uses [variable_kind] instead of [init_kind]. · 242ebe1f
  David Bühler authored 5 years ago
  
  In the function [initialize_variable_using_type]. Adds a constructor [Return] to [variable_kind] for the special variable that stores the return value of a function call.
  242ebe1f
- [Eva] Cosmetic changes in abstract_domain. · 00688ab0
  David Bühler authored 5 years ago
  
  00688ab0
- [Eva] In abstract domains, removes [introduce_globals] and changes [enter_scope]. · 3c4a12ee
  David Bühler authored 5 years ago
  
  3c4a12ee
- [db] Rework doc to please ocamldoc. · 5be3d0f4
  Michele Alberti authored 5 years ago
  
  5be3d0f4
- [server] doc on start/run · b6740aa1
  Loïc Correnson authored 5 years ago and Michele Alberti committed 5 years ago
  
  b6740aa1
- [server] remove debugging script · e73ba6c1
  Loïc Correnson authored 5 years ago and Michele Alberti committed 5 years ago
  
  e73ba6c1
- Just a style rework. · ba4456d1
  Michele Alberti authored 5 years ago
  
  ba4456d1
- [db] Rename auxiliary function trigger into do_yield. · 5e24f138
  Michele Alberti authored 5 years ago
  
  So to restrain trigger for the daemon function.
  5e24f138
- [db] Fix some typos. · b221752b
  Michele Alberti authored 5 years ago
  
  b221752b
- [server] option -zmq-gui <cmd> to launch a client · c21b0ae4
  Loïc Correnson authored 5 years ago and Michele Alberti committed 5 years ago
  
  c21b0ae4
- [server] fix yielding and polling · 6d8e3e59
  Loïc Correnson authored 5 years ago and Michele Alberti committed 5 years ago
  
  6d8e3e59
- [db] fair enough Db.sleep · ed0bf472
  Loïc Correnson authored 5 years ago and Michele Alberti committed 5 years ago
  
  ed0bf472
- [server] merge yield & idle into polling · d995d884
  Loïc Correnson authored 5 years ago and Michele Alberti committed 5 years ago
  
  d995d884
- [server] use Db.yield API · 4e1ecc73
  Loïc Correnson authored 5 years ago and Michele Alberti committed 5 years ago
  
  4e1ecc73
- [server] launch gui · 29485e41
  Loïc Correnson authored 5 years ago and Michele Alberti committed 5 years ago
  
  29485e41
- [server] auto-log & server feedback · c45cf997
  Loïc Correnson authored 5 years ago and Michele Alberti committed 5 years ago
  
  c45cf997