Commits · 74e1b2c54b84947cc5f9f2e58c41836f063f5ca1 · pub / frama-c · GitLab

Snippets Groups Projects

May 14, 2020
- [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
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
- [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
- [frama-c/server] Refine server status. · 2c8f7ba9
  Michele Alberti authored 4 years ago
  
  2c8f7ba9
- Merge branch 'fix/andre/boris-feedback-open62541' into 'master' · ac9b307c
  David Bühler authored 4 years ago
  
  Fix/andre/boris feedback open62541 See merge request frama-c/frama-c!2632
  ac9b307c
May 11, 2020
- [Kernel] Compress large contexts in error messages · a6c650f9
  Andre Maroneze authored 4 years ago and David Bühler committed 4 years ago
  
  a6c650f9
- [Doc/Userman] Add clarification about -json-compilation-database · 59b8573e
  Andre Maroneze authored 4 years ago and David Bühler committed 4 years ago
  
  59b8573e
May 06, 2020
- Merge branch 'feature/michele/typescript-babel-gui' into 'master' · e7ae822a
  Loïc Correnson authored 4 years ago
  
  Typescript/Babel for Ivette See merge request frama-c/frama-c!2613
  e7ae822a
May 05, 2020
- Merge branch 'bugfix/basile/eacsl-103-dev-cond-exec' into 'master' · d8a79efa
  Julien Signoles authored 4 years ago
  
  [eacsl:tests] Add modular execution of `e-acsl-gcc.sh` for `test_config_dev` tests See merge request frama-c/frama-c!2626
  d8a79efa
- Reset default branch · 5ca7f066
  Andre Maroneze authored 4 years ago
  
  5ca7f066
- Change default branch · 5aac7db6
  Andre Maroneze authored 4 years ago
  
  5aac7db6
May 04, 2020
- [frama-c/states] Avoid multiple-line when not needed. · 0142a156
  Michele Alberti authored 4 years ago
  
  0142a156
- [ivette] Tune linter again. · a239ef62
  Michele Alberti authored 4 years ago
  
  a239ef62
- [ivette] stricter rules for react hooks · 6d3feea2
  Loïc Correnson authored 4 years ago
  
  6d3feea2
- [ivette] tuning the linter · 2da7458c
  Loïc Correnson authored 4 years ago
  
  2da7458c
- Merge branch 'fix/andre/analysis-scripts-stub-argv' into 'master' · 04fe0459
  Virgile Prevosto authored 4 years ago
  
  [analysis-scripts] Ensure argv array is properly terminated See merge request frama-c/frama-c!2638
  04fe0459
- Merge branch 'fix/virgile/gcc-10' into 'master' · 0f45c55f
  David Bühler authored 4 years ago
  
  Parses UCN encoded characters in ACSL Closes #849 See merge request frama-c/frama-c!2637
  0f45c55f
- [dome] fix auto-scrolling for tables · bd10d086
  Loïc Correnson authored 4 years ago
  
  bd10d086
- [tests] add test for ucn parsing · 96f9cdb7
  Virgile Prevosto authored 4 years ago and David Bühler committed 4 years ago
  
  96f9cdb7
- [lexer] Accept UCN characters as well as corresponding UTF-8 encoding · 989018d8
  Virgile Prevosto authored 4 years ago and David Bühler committed 4 years ago
  
  989018d8
- [frama-c/server] Use global state process. · 1b0ab3d3
  Michele Alberti authored 4 years ago
  
  1b0ab3d3
- [frama-c/server] Use status type. · c3a00e30
  Michele Alberti authored 4 years ago
  
  c3a00e30
- [frama-c/server] Do not export events directly. Use API instead. · 0dd6b8c5
  Michele Alberti authored 4 years ago
  
  0dd6b8c5
Apr 30, 2020
- [analysis-scripts] Ensure argv array is properly terminated · e784b410
  Andre Maroneze authored 4 years ago
  
  e784b410
- Merge branch 'feature/andre/gcc-builtins' into 'master' · 92419510
  Virgile Prevosto authored 4 years ago
  
  [Kernel] add specifications for some GCC builtins See merge request frama-c/frama-c!2370
  92419510
- [eacsl:tests] Replace `test_config_dev` with the use of macros · bf1dc444
  Basile Desloges authored 4 years ago
  
  bf1dc444
- [ivette] merging CSS files into style.css · 7604a62b
  Loïc Correnson authored 4 years ago
  
  7604a62b
- [Kernel][Libc] add specifications for some GCC builtins · ed21b716
  Andre Maroneze authored 5 years ago
  
  ed21b716
- Merge branch 'fix/andre/ptests-doc' into 'master' · 7d82717f
  Andre Maroneze authored 4 years ago
  
  [Doc/Devman] Update ptests section in developer manual See merge request frama-c/frama-c!2634
  7d82717f
- [ptests] fix typo in comment · 4ca2d9ab
  Virgile Prevosto authored 4 years ago
  
  4ca2d9ab
- [devman] introduce PTESTS_OPTS variable and put emphasis on MODULE directive · 90e200d2
  Virgile Prevosto authored 4 years ago
  
  90e200d2