- Jul 15, 2020
-
-
Michele Alberti authored
-
Michele Alberti authored
-
Michele Alberti authored
-
Michele Alberti authored
- Always display all selections, even when a single one. - Remove toolbar and use titlebar instead. - Change icon positioning, and use trash icon to clear locations.
-
Michele Alberti authored
-
- Jul 10, 2020
-
-
Michele Alberti authored
-
Michele Alberti authored
-
- Jul 09, 2020
-
-
Loïc Correnson authored
-
Loïc Correnson authored
# Conflicts: # Makefile # ivette/api/kernel/ast/index.ts # ivette/src/dome/src/renderer/table/arrays.ts # ivette/src/frama-c/states.ts # ivette/src/renderer/ASTview.tsx # src/plugins/server/kernel_ast.ml
-
Loïc Correnson authored
-
Loïc Correnson authored
-
Loïc Correnson authored
-
- Jul 07, 2020
-
-
Andre Maroneze authored
-
Virgile Prevosto authored
-
Julien Signoles authored
[tests] Deactivate Nix's GCC hardening for all frama-c derivations Closes #710 and e-acsl#67 See merge request frama-c/frama-c!2616
-
Loïc Correnson authored
[server] Data: fixes the signature of functors for indexed values. See merge request frama-c/frama-c!2745
-
David Bühler authored
-
David Bühler authored
These functors only require a 'kind' string.
-
David Bühler authored
-
Loïc Correnson authored
[server] Generator API See merge request frama-c/frama-c!2710
-
Loïc Correnson authored
-
Loïc Correnson authored
-
Loïc Correnson authored
-
Loïc Correnson authored
-
- Jul 06, 2020
-
-
Loïc Correnson authored
-
Loïc Correnson authored
- typedoc does not work with recursive types
-
Loïc Correnson authored
-
Loïc Correnson authored
Fixes WP cache utilities & fix Closes #886 See merge request frama-c/frama-c!2711
-
Loïc Correnson authored
-
Loïc Correnson authored
# 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
-
Andre Maroneze authored
[Dev] add Docker files for framac/frama-c images See merge request frama-c/frama-c!2733
-
Loïc Correnson authored
-
Loïc Correnson authored
-
Allan Blanchard authored
-
Loïc Correnson authored
-
Loïc Correnson authored
[dome] JSON data Closes #857 See merge request frama-c/frama-c!2692
-
Loïc Correnson authored
-
- Jul 03, 2020
-
-
Andre Maroneze authored
fix preprocessing with dos-like line ending Closes #899 See merge request frama-c/frama-c!2739
-
Andre Maroneze authored
-
Virgile Prevosto authored
-