Commits · c26e1a29592bc9dbebb2a14ddc8ef936c6283df6 · pub / frama-c

Apr 30, 2020
- [analysis-scripts] Ensure argv array is properly terminated · e784b410
  Andre Maroneze authored 4 years ago
  
  e784b410
- [Kernel][Libc] add specifications for some GCC builtins · ed21b716
  Andre Maroneze authored 5 years ago
  
  ed21b716
Apr 24, 2020
- [autocomplete] Adding a space to separate options · 3ea180f0
  Lionel Blatter authored 4 years ago
  
  3ea180f0
Apr 23, 2020
- [autocomplete] Simplified regular expression and remove space · b4d9934f
  Lionel Blatter authored 4 years ago
  
  b4d9934f
- [autocomplete] better regexp for identifying provers · 77cec487
  Virgile Prevosto authored 4 years ago
  
  77cec487
- [autocomplete] don't mess with COMPREPLY variable... · abea8d06
  Virgile Prevosto authored 4 years ago
  
  abea8d06
- Add full completion for "-wp-prover" · b186aab0
  Lionel Blatter authored 4 years ago
  
  Fix typos
  b186aab0
Apr 10, 2020
- [analysis-scripts] remove deprecated .loop-related rules · 21d1d6c2
  Andre Maroneze authored 4 years ago
  
  21d1d6c2
Apr 08, 2020
- [Libc] add specs for ftello/fseeko · f93dc3a8
  Andre Maroneze authored 5 years ago
  
  f93dc3a8
Apr 07, 2020
- [Libc] add spec for GNU function strchrnul; improve spec for strchr · 618f21ce
  Andre Maroneze authored 5 years ago
  
  618f21ce
Apr 01, 2020
- [tests] fix includes in libc · f9fe28ce
  Loïc Correnson authored 4 years ago
  
  Does not work on macOS ; probably implicit path lookup is different than linux ?
  f9fe28ce
Mar 31, 2020
- [Makefile] compile even if tests/ is absent · c4a50e56
  Virgile Prevosto authored 4 years ago
  
  c4a50e56
- [Dev] add script for applying creduce to Frama-C crashes · e6661a80
  Andre Maroneze authored 5 years ago
  
  e6661a80
- [Libc] add a few specs for sys/stat.h and sys/types.h · 82ede5fa
  Andre Maroneze authored 5 years ago
  
  82ede5fa
Mar 30, 2020
- [Libc] improve C99/POSIX compatibility · 323fc1d4
  Andre Maroneze authored 5 years ago
  
  323fc1d4
Mar 27, 2020
- [libc] Avoid confusing Eva on the value of SIG_IGN, SIG_DFL and SIG_ERR · 4a09815e
  Virgile Prevosto authored 5 years ago and David Bühler committed 5 years ago
  
  4a09815e
- [libc] better support for SIG_DFL, SIG_IGN and SIG_ERR · fe36d799
  Virgile Prevosto authored 5 years ago and David Bühler committed 5 years ago
  
  so that Eva won't raise an alarm on them.
  fe36d799
Mar 24, 2020
- Add autocomplete for -kernel-msg-key, -wp-msg-key, -kernel-warn-key and -wp-prover · d54c7753
  Lionel Blatter authored 5 years ago
  
  d54c7753
Mar 18, 2020
- [kernel] Adds sqrt/f ACSL builtin · ecfeaf24
  Allan Blanchard authored 5 years ago
  
  ecfeaf24
Mar 17, 2020
- [Libc] add specs in termios.h · c348b512
  Andre Maroneze authored 5 years ago
  
  c348b512
Mar 06, 2020
- update copyright to 2020 · 325661e6
  Andre Maroneze authored 5 years ago and Virgile Prevosto committed 5 years ago
  
  325661e6
Mar 03, 2020
- [Eva] evaluate logic function memchr_off · 76ca0d35
  Andre Maroneze authored 5 years ago and David Bühler committed 5 years ago
  
  76ca0d35
Feb 27, 2020
- more robust definition of space for frama-c.mk · 8f7ff635
  Virgile Prevosto authored 5 years ago
  
  8f7ff635
Feb 12, 2020
- [Makefile] fix 'install' target on Cygwin · 43475a98
  Andre Maroneze authored 5 years ago
  
  43475a98
- [Libc] fix spec of memchr; avoid size_t in non_escaping · dec6dd6d
  Andre Maroneze authored 5 years ago and David Bühler committed 5 years ago
  
  dec6dd6d
Jan 30, 2020
- [Libc] add spec for getsockname · b25e76df
  Andre Maroneze authored 5 years ago and Virgile Prevosto committed 5 years ago
  
  b25e76df
Jan 17, 2020
- [libc] Don't keep needless pragmas when cplusplus is not activated. · 8a17440e
  Virgile Prevosto authored 5 years ago
  
  Fixes #717
  8a17440e
Jan 16, 2020
- [Makefile] Disables warning 67 about unused functor parameter in signatures. · a7ba6998
  David Bühler authored 5 years ago
  
  a7ba6998
Jan 15, 2020
- [Libc] fix issue with undefined extern; restore GCC test with linking · 5647b9dd
  Andre Maroneze authored 5 years ago
  
  5647b9dd
Jan 14, 2020
- [kernel] use appropriate (non-absolute) file name in assert.h · b0ce8c57
  Virgile Prevosto authored 5 years ago
  
  b0ce8c57
Jan 09, 2020
- [dev] silence warning 40 and 42 · 25ecfd49
  Virgile Prevosto authored 5 years ago
  
  type-based disambiguation is not a bad thing after all.
  25ecfd49
Jan 06, 2020
- [libc] allow customizing filename given to __FC_assert in assert.h · 40e41c17
  Virgile Prevosto authored 5 years ago
  
  useful to obtain reproducible oracles even with fully normalized input files
  40e41c17
Dec 09, 2019
- [Libc] clarification about strlcpy; fix spec of strndup · 80c09779
  Andre Maroneze authored 5 years ago
  
  80c09779
- [Libc] fix spec of strncpy · 6badae9d
  Andre Maroneze authored 5 years ago
  
  6badae9d
Dec 06, 2019

[fc-script] use python3 everywhere · 85403141

Andre Maroneze authored 5 years ago

Prevents issue when the `python` command is not installed in the system.
Since all other scripts already require python3, this should not be an issue.

85403141

Nov 26, 2019
- [fc-script] fix minimum required Python version · 86e35b12
  Andre Maroneze authored 5 years ago
  
  86e35b12
Nov 14, 2019
- [analysis-scripts] fix template when stub for 'main' is generated · 41a59204
  Andre Maroneze authored 5 years ago
  
  41a59204
Nov 04, 2019
- [Makefile] fix clean-doc target for disabled plug-ins · d46d3f71
  Andre Maroneze authored 5 years ago
  
  d46d3f71
Oct 31, 2019
- [Makefile] Don't enable tests of disabled plug-ins · 51d84d29
  Virgile Prevosto authored 5 years ago
  
  51d84d29
Oct 29, 2019
- [Libc] more fixes after review · 6664c43f
  Andre Maroneze authored 5 years ago
  
  6664c43f