Commits · 15a855aa4176ac75dc96bf4bc506234cb3168abb · pub / frama-c · GitLab

Snippets Groups Projects

Jul 07, 2020
- [dome] TS port for errors · 15a855aa
  Loïc Correnson authored 4 years ago
  
  15a855aa
- [server] Removes an unused module, fixes the compilation with ocaml 4.10. · a75b4445
  David Bühler authored 4 years ago
  
  a75b4445
- Merge branch 'feature/server/generate-api' into 'master' · e0bf4efe
  Loïc Correnson authored 4 years ago
  
  [server] Generator API See merge request frama-c/frama-c!2710
  e0bf4efe
- Merge branch 'master' into feature/server/generate-api · dcef90ff
  Loïc Correnson authored 4 years ago
  
  dcef90ff
- [ivette] better api doc · a4714f32
  Loïc Correnson authored 4 years ago
  
  a4714f32
- [ivette] move plugins api to api/plugins/<name> · 1fb9b98c
  Loïc Correnson authored 4 years ago
  
  1fb9b98c
- [ivette] hide object fields in api documentation · e6d2bdc7
  Loïc Correnson authored 4 years ago
  
  e6d2bdc7
Jul 06, 2020
- [ivette] generate documentation for API · 93bdc8a8
  Loïc Correnson authored 4 years ago
  
  93bdc8a8
- [ivette] try to fix api doc · 912b76b1
  Loïc Correnson authored 4 years ago
  
  - typedoc does not work with recursive types
  912b76b1
- [ivette] fix doc links · 8d91e674
  Loïc Correnson authored 4 years ago
  
  8d91e674
- Merge branch 'feature/blanchard/wp/cache-config' into 'master' · 21864645
  Loïc Correnson authored 4 years ago
  
  Fixes WP cache utilities & fix Closes #886 See merge request frama-c/frama-c!2711
  21864645
- [ivette] cleaning · 4fe5790f
  Loïc Correnson authored 4 years ago
  
  4fe5790f
- Merge branch 'master' into feature/server/generate-api · 95f4af4f
  Loïc Correnson authored 4 years ago
  
  # Conflicts: # ivette/src/dome/src/main/dome.js # ivette/src/dome/src/renderer/data/json.ts # ivette/src/dome/src/renderer/data/states.ts # ivette/src/dome/src/renderer/dome.js # ivette/src/dome/src/renderer/text/buffers.js
  95f4af4f
- Merge branch 'feature/andre/dockerfiles' into 'master' · a762636d
  Andre Maroneze authored 4 years ago
  
  [Dev] add Docker files for framac/frama-c images See merge request frama-c/frama-c!2733
  a762636d
- [wp] update changelog · edbd28be
  Loïc Correnson authored 4 years ago
  
  edbd28be
- [wp] fix cmd & cache issues · e52f2552
  Loïc Correnson authored 4 years ago
  
  e52f2552
- [wp] Make sure that wp_plugin/removed uses cache · f647dec5
  Allan Blanchard authored 4 years ago
  
  f647dec5
- [wp] document cache options and env. variables. · 2c01cda6
  Loïc Correnson authored 4 years ago
  
  2c01cda6
- Merge branch 'feature/dome/typescript-states' into 'master' · 3f9a714d
  Loïc Correnson authored 4 years ago
  
  [dome] JSON data Closes #857 See merge request frama-c/frama-c!2692
  3f9a714d
- [dome] fix propagation of settings in production · bf539084
  Loïc Correnson authored 4 years ago
  
  bf539084
Jul 03, 2020
- Merge branch 'fix/preprocess/windows-line' into 'master' · 06e49090
  Andre Maroneze authored 4 years ago
  
  fix preprocessing with dos-like line ending Closes #899 See merge request frama-c/frama-c!2739
  06e49090
- Revert "[Kernel] projectify option -add-symbolic-path" · ab58dca9
  Andre Maroneze authored 4 years ago
  
  ab58dca9
- [Makefile] factorization of the rule for generating test file · 7f11d6f7
  Virgile Prevosto authored 4 years ago
  
  7f11d6f7
- Merge branch 'feature/eva/sign-bitwise' into 'master' · 59f11ff0
  Andre Maroneze authored 4 years ago
  
  [Eva] Implements bitwise and logical C forward operators in the sign values See merge request frama-c/frama-c!2731
  59f11ff0
- remove ro file before regenerating it · 39d0e0f1
  Virgile Prevosto authored 4 years ago
  
  39d0e0f1
- [tests] make generated test file read-only · 35cdc975
  Virgile Prevosto authored 4 years ago
  
  35cdc975
- [ptests] silently ignore blank lines in tests configuration directives · 2cf7f9b4
  Virgile Prevosto authored 4 years ago
  
  2cf7f9b4
- [Makefile] Fix dependency of generated test · 50fbafa5
  Virgile Prevosto authored 4 years ago
  
  50fbafa5
- Merge branch 'feature/andre/cpp-error-message' into 'master' · 43140393
  Virgile Prevosto authored 4 years ago
  
  [Kernel] improve error message when preprocessing fails Closes #907 See merge request frama-c/frama-c!2740
  43140393
- Merge branch 'fix/andre/doc-dontrun' into 'master' · 46f7245b
  Virgile Prevosto authored 4 years ago
  
  [Doc] update documentation about DONTRUN See merge request frama-c/frama-c!2741
  46f7245b
Jul 02, 2020
- [dome][ivette] Review doc. · 01dd24ef
  Michele Alberti authored 4 years ago
  
  01dd24ef
- [dome] Better wording in console messages. · 84403607
  Michele Alberti authored 4 years ago
  
  84403607
- [ivette] no more need to clear history · cd402138
  Loïc Correnson authored 4 years ago and Michele Alberti committed 4 years ago
  
  cd402138
- [dome] change settings policy · 03aed561
  Loïc Correnson authored 4 years ago and Michele Alberti committed 4 years ago
  
  03aed561
- [dome] optional fallback in settings · 489b2a88
  Loïc Correnson authored 4 years ago and Michele Alberti committed 4 years ago
  
  489b2a88
- [dome] full featured settings API · 0745e398
  Loïc Correnson authored 4 years ago and Michele Alberti committed 4 years ago
  
  0745e398
- [dome] JSON encoders · 70645473
  Loïc Correnson authored 4 years ago and Michele Alberti committed 4 years ago
  
  70645473
- [dome] typed settings · bfa340f2
  Loïc Correnson authored 4 years ago and Michele Alberti committed 4 years ago
  
  bfa340f2
- [dome] typed states · aafb0feb
  Loïc Correnson authored 4 years ago and Michele Alberti committed 4 years ago
  
  aafb0feb
- [dome] use fast-react-compare · 42502dcf
  Loïc Correnson authored 4 years ago and Michele Alberti committed 4 years ago
  
  42502dcf