Commits · 2467774a47f28c663cc27f868f44493c1a0e1418 · pub / frama-c · GitLab

Snippets Groups Projects

Jul 17, 2020
- [devman] add missing documentation of TIMEOUT directive · 2467774a
  Virgile Prevosto authored 4 years ago and Andre Maroneze committed 4 years ago
  
  2467774a
Jul 09, 2020
- [ivette] merge with master · 5e9ed98e
  Loïc Correnson authored 4 years ago
  
  5e9ed98e
Jul 02, 2020
- [Doc] update documentation about DONTRUN · 59587cc5
  Andre Maroneze authored 4 years ago
  
  59587cc5
May 29, 2020
- [devman] more configure.ac documentation · fae6b055
  Virgile Prevosto authored 4 years ago
  
  fae6b055
May 28, 2020
- [devman] documentation for configure_pkg macro · 3cc914a1
  Virgile Prevosto authored 4 years ago
  
  3cc914a1
May 26, 2020
- [Kernel] remove __thread_is_keyword from machdep · e13579fc
  Andre Maroneze authored 4 years ago
  
  e13579fc
Apr 30, 2020
- [devman] introduce PTESTS_OPTS variable and put emphasis on MODULE directive · 90e200d2
  Virgile Prevosto authored 4 years ago
  
  90e200d2
- [devman] fix compilation of example script · 780b14de
  Virgile Prevosto authored 4 years ago
  
  780b14de
Apr 29, 2020
- [Doc/Devman] Update ptests section in developer manual · 94643712
  Andre Maroneze authored 4 years ago
  
  94643712
Mar 06, 2020
- update copyright to 2020 · 325661e6
  Andre Maroneze authored 5 years ago and Virgile Prevosto committed 5 years ago
  
  325661e6
Feb 26, 2020
- [Doc] Fixed declared interface for Occurrence.Print · 023932b4
  Basile Desloges authored 5 years ago
  
  023932b4
- [Doc] Missing parenthesis · 168d6b4a
  Basile Desloges authored 5 years ago
  
  168d6b4a
- [Doc] Update list of userman contributors · 8eb7620a
  Basile Desloges authored 5 years ago
  
  8eb7620a
Feb 25, 2020
- [Doc] Explicitely create tests folder in the plugin tutorial · 15e7df40
  Basile Desloges authored 5 years ago
  
  15e7df40
Feb 13, 2020
- [kernel] Change default ACSL extension short printer · 34f41ff7
  Allan Blanchard authored 5 years ago and Virgile Prevosto committed 5 years ago
  
  34f41ff7
- [Doc] Fixes ACSL extension manual · 79267246
  Allan Blanchard authored 5 years ago and Virgile Prevosto committed 5 years ago
  
  79267246
- [Doc] Update developer guide for ACSL extensions · 2e36924c
  Allan Blanchard authored 5 years ago and Virgile Prevosto committed 5 years ago
  
  2e36924c
Dec 04, 2019
- [doc/developer] add changelog for release 20.0; minor updates · 9e009810
  Andre Maroneze authored 5 years ago
  
  9e009810
- [doc] minor fixes/updates to devman · d1491d87
  Andre Maroneze authored 5 years ago
  
  d1491d87
Nov 06, 2019
- [developer] fix version in Changes · f95431e4
  Andre Maroneze authored 5 years ago
  
  f95431e4
Nov 04, 2019
- [doc] Replaces svn by git in the developer manual. · c22f6d69
  David Bühler authored 5 years ago
  
  c22f6d69
- [doc] Fixes the compilation of some examples of the developer manual. · 3371e57d
  David Bühler authored 5 years ago
  
  3371e57d
Aug 05, 2019
- [doc] expand a little bit the documentation of MODULE ptests' directive · 398d4c79
  Virgile Prevosto authored 5 years ago and Valentin Perrelle committed 5 years ago
  
  398d4c79
- [doc] Fix index entry for MODULE and clean up test directive entries · eb67ef5f
  Virgile Prevosto authored 5 years ago and Valentin Perrelle committed 5 years ago
  
  eb67ef5f
- [Ptest] add a MODULE configuration option to build and load modules · 39cd8ff7
  Valentin Perrelle authored 5 years ago
  
  39cd8ff7
Apr 15, 2019
- [configure] fix landmarks and document it · efcc3964
  Andre Maroneze authored 5 years ago
  
  efcc3964
Feb 25, 2019
- [devman] fixes version in Change section + doc `status` flag in ACSL extensions · fe56d1e0
  Virgile Prevosto authored 6 years ago
  
  fe56d1e0
- [devman] fixes example of ACSL extension (and Makefile `check` rule ) · 282c5387
  Virgile Prevosto authored 6 years ago
  
  282c5387
- [devman] document ptests update · 3518e275
  Virgile Prevosto authored 6 years ago
  
  3518e275
Feb 05, 2019
- Merge branch 'feature/server/plugin' of git.frama-c.com:frama-c/frama-c into feature/server/plugin · 4bf2c145
  Loïc Correnson authored 6 years ago
  
  4bf2c145
Jan 14, 2019
- [wp] linting files · 88886e5f
  Loïc Correnson authored 6 years ago
  
  88886e5f
Dec 12, 2018
- [Kernel] add accessors for retrieving major/minor version number · 8c810173
  Andre Maroneze authored 6 years ago
  
  8c810173
Dec 04, 2018
- [Tests] attempt to avoid non-deterministic issue with CI · 4ff7e39a
  Andre Maroneze authored 6 years ago
  
  4ff7e39a
Dec 03, 2018
- [Ival] more precise binary bitwise operators · af6b48cc
  Valentin Perrelle authored 6 years ago
  
  - Fix Value/Value#5 - Fix Value/Value#14
  af6b48cc
Nov 28, 2018
- Fixes the build-src-distrib script for the new VERSION format. · 25dc09e0
  David Bühler authored 6 years ago
  
  25dc09e0
- [libc] change internal representation of fd_set_t · bd6f3f55
  Andre Maroneze authored 6 years ago
  
  Some case studies (e.g. dyad) use some ugly casts from fd_set_t which lead to the analysis stopping too early. Changing the representation of fd_set_t should also help it better conform to the standard (since a fd_set_t should be able to hold FD_SETSIZE elements).
  bd6f3f55
- [Kernel] allow entries without directory in compile_commands.json · 3ad308cb
  Andre Maroneze authored 6 years ago
  
  3ad308cb
Nov 23, 2018
- Merge branch 'fix/andre/ptests-stdopt-log' into 'master' · 40750dd7
  Virgile Prevosto authored 6 years ago
  
  [Ptests] preserve LOG after STDOPT directive See merge request frama-c/frama-c!2073
  40750dd7
Nov 22, 2018
- [Eva] Updates alternative test oracles. · 0376a3d3
  David Bühler authored 6 years ago
  
  0376a3d3
Nov 16, 2018
- [Makefile] ensure GUI files are distributed even when GUI is disabled · 576e5202
  Andre Maroneze authored 6 years ago
  
  576e5202