Commits · 52a699c017c1356db0e292e984c9007787bf2dc5 · pub / frama-c · GitLab

Snippets Groups Projects

May 15, 2020
- [ivette] WIP: code mirror editors use directly the buffer internal document. · 52a699c0
  David Bühler authored 4 years ago
  
  Instead of creating a new linked document. Temporary fix to access the instance of code mirror from the buffer.
  52a699c0
- Merge remote-tracking branch 'origin/stable/scandium' · 2b7c2f71
  Virgile Prevosto authored 4 years ago
  
  2b7c2f71
- Merge branch 'bugfix/basile/eacsl-117-generated-func-in-tests' into 'master' · ac780212
  Julien Signoles authored 4 years ago
  
  [eacsl] Update `tests/print.ml` script to ouptut E-ACSL generated globals Closes e-acsl#117 See merge request frama-c/frama-c!2653
  ac780212
- Merge branch 'feature/ivette/emacs' into 'master' · 4b3b2212
  Michele Alberti authored 4 years ago
  
  [ivette] refactoring main documentation See merge request frama-c/frama-c!2657
  4b3b2212
- [ivette/doc] Add section on vs code. · 76d1d6f1
  Michele Alberti authored 4 years ago
  
  76d1d6f1
- [ivette/doc] refactoring readme · e3063610
  Loïc Correnson authored 4 years ago
  
  e3063610
May 14, 2020
- [ivette] minor emacs fix · 1e44aaed
  Loïc Correnson authored 4 years ago
  
  1e44aaed
- Merge branch 'fix/wp/wp-mkdir-session' into 'stable/scandium' · 03334023
  Andre Maroneze authored 4 years ago
  
  Fixes WP session directory creation See merge request frama-c/frama-c!2656
  03334023
- [wp] Use Extlib.mkdir for session directory · e1e97e47
  Allan Blanchard authored 4 years ago
  
  e1e97e47
- Merge branch 'feature/ivette/typedoc' into 'master' · ff055d4e
  Michele Alberti authored 4 years ago
  
  [ivette] typedoc documentation See merge request frama-c/frama-c!2642
  ff055d4e
- [ivette/doc] icons gallery · fd203d44
  Loïc Correnson authored 4 years ago and Michele Alberti committed 4 years ago
  
  fd203d44
- [ivette/doc] cleanup doc directory · 0e1d7905
  Loïc Correnson authored 4 years ago and Michele Alberti committed 4 years ago
  
  0e1d7905
- [ivette/doc] make serve for searching · 663ce82a
  Loïc Correnson authored 4 years ago and Michele Alberti committed 4 years ago
  
  663ce82a
- [ivette/doc] fix guides table of contents · 74e1b2c5
  Loïc Correnson authored 4 years ago and Michele Alberti committed 4 years ago
  
  74e1b2c5
- [ivette/doc] include dome guides · 4b90fdb2
  Loïc Correnson authored 4 years ago and Michele Alberti committed 4 years ago
  
  4b90fdb2
- [dome/typedoc] template for guides · 04df5978
  Loïc Correnson authored 4 years ago and Michele Alberti committed 4 years ago
  
  04df5978
- [ivette] configuring typedoc options · ef9bc004
  Loïc Correnson authored 4 years ago and Michele Alberti committed 4 years ago
  
  ef9bc004
- [ivette] fix typedoc output · e194b4e6
  Loïc Correnson authored 4 years ago and Michele Alberti committed 4 years ago
  
  e194b4e6
- [ivette] moving emacs config to share · a440eb16
  Loïc Correnson authored 4 years ago and Michele Alberti committed 4 years ago
  
  a440eb16
- [ivette] dead links to tutorials · 80321daa
  Loïc Correnson authored 4 years ago and Michele Alberti committed 4 years ago
  
  80321daa
- [ivette] formatting TypeDoc comments · 737d8fea
  Loïc Correnson authored 4 years ago and Michele Alberti committed 4 years ago
  
  737d8fea
- [ivette] typedoc documentation · c8aa6fe7
  Loïc Correnson authored 4 years ago and Michele Alberti committed 4 years ago
  
  c8aa6fe7
- Merge branch 'feature/wp/update-provers-1.3.1' into 'stable/scandium' · 9a5c1d11
  Andre Maroneze authored 4 years ago
  
  [wp] upgrade prover versions See merge request frama-c/frama-c!2591
  9a5c1d11
May 13, 2020
- Merge branch 'fix/server/marker-lookup' into 'master' · 7fe398ee
  Loïc Correnson authored 4 years ago
  
  [server] Kernel_ast: fixes marker lookup. See merge request frama-c/frama-c!2655
  7fe398ee
- [opam] enforce compatible why3 versions · 257e7997
  Andre Maroneze authored 4 years ago
  
  257e7997
- [configure] check and enforce why3 version · 0f83d318
  Andre Maroneze authored 4 years ago
  
  0f83d318
- [server] Kernel_ast: fixes marker lookup. · dc3a7fa3
  David Bühler authored 4 years ago
  
  dc3a7fa3
- Merge branch 'fix/wp/weak-int-model' into 'stable/scandium' · a9f3e416
  Andre Maroneze authored 4 years ago
  
  [wp] introduce weak int model for lemmas See merge request frama-c/frama-c!2647
  a9f3e416
- Merge branch '81-wp-share-enlever-le-hack-de-qed-why-relativement-a-match_bool' into 'master' · ab8dbd5c
  Loïc Correnson authored 4 years ago
  
  Resolve "[WP/Share] enlever le hack de qed.why relativement à match_bool" Closes #81 See merge request frama-c/frama-c!2654
  ab8dbd5c
- Merge branch 'feature/wp/fix-loop-cfg' into 'master' · 5137b064
  Loïc Correnson authored 4 years ago
  
  [wp] fix incorrect loop break & continue Closes #778 See merge request frama-c/frama-c!2652
  5137b064
- [wp] remove useless match-bool from why3 driver · f58bc707
  Loïc Correnson authored 4 years ago
  
  f58bc707
- [wp] fix incorrect loop break & continue · 492279ad
  Loïc Correnson authored 4 years ago
  
  492279ad
- [wp] introduce test case to show bug · 07110e9b
  Loïc Correnson authored 4 years ago
  
  07110e9b
May 12, 2020
- Merge branch 'feature/michele/on-server-again' into 'master' · 9e41d8de
  Loïc Correnson authored 4 years ago
  
  [Ivette] Rework a bit the frama-c server See merge request frama-c/frama-c!2649
  9e41d8de
- [e-acsl:tests] Update tests · 14b4aca2
  Basile Desloges authored 4 years ago
  
  14b4aca2
- [eacsl:tests] Update `print.ml` script to output E-ACSL generated globals · 8187d478
  Basile Desloges authored 4 years ago
  
  8187d478
- [eacsl] Add `Functions.RTL.is_generated_name` to the interface · 4f76d084
  Basile Desloges authored 4 years ago
  
  4f76d084
- Merge branch 'fix/blanchard/wp/recursive-logic-826' into 'stable/scandium' · f8079b19
  Andre Maroneze authored 4 years ago
  
  [wp] Fixes BTS 2501 See merge request frama-c/frama-c!2646
  f8079b19
- [frama-c/server] More typing and initial values for state. · 171aefab
  Michele Alberti authored 4 years ago
  
  171aefab
- [frama-c/server] Razionalize process management. · 3c1f72ae
  Michele Alberti authored 4 years ago
  
  3c1f72ae