Commits · a30fab26800cd5d135eb476dec85f7edc8ad3af0 · pub / frama-c · GitLab

Snippets Groups Projects

Mar 28, 2014
- on the way of fixing bug #1717 · a30fab26
  Julien Signoles authored 10 years ago
  
  a30fab26
- better aborting message · 9f6426b9
  Julien Signoles authored 10 years ago
  
  9f6426b9
Mar 27, 2014
- remove spurious warnings about reals and fixes oracles · 77b7b490
  Julien Signoles authored 10 years ago
  
  77b7b490
Mar 26, 2014
- fix bug #1692 about wrong localisation of messages emitted when typing · 048ce8fd
  Julien Signoles authored 10 years ago
  
  048ce8fd
- remove a spurious warning when an annotated function is first declared, then defined · e1baea7b
  Julien Signoles authored 10 years ago
  
  e1baea7b
Mar 25, 2014
- fix bug #1716 about annotations in while(1) · 0591af49
  Julien Signoles authored 10 years ago
  
  0591af49
- [memory-model] fix bug #1715 occuring because __memory_size was not declared ghost · 6f31302c
  Julien Signoles authored 10 years ago
  
  6f31302c
Mar 24, 2014
- changed test case for bts1700 · 7e1f9e9d
  Guillaume Petiot authored 11 years ago and Julien Signoles committed 11 years ago
  
  7e1f9e9d
- Changelog for bug #1700 · 4c08afef
  Julien Signoles authored 11 years ago
  
  4c08afef
- [tests] removing -pedantic to prevent warnings when testing gcc-ism · fd9742b0
  Julien Signoles authored 11 years ago
  
  fd9742b0
- fixes bug 1700 · 75c29631
  Guillaume Petiot authored 11 years ago and Julien Signoles committed 11 years ago
  
  75c29631
- adding way to reproduce easily bug #1695 · 06a37e1d
  Julien Signoles authored 11 years ago
  
  06a37e1d
- fixing the header ('licenses' is not 'license') · 378f93e2
  Julien Signoles authored 11 years ago
  
  378f93e2
- version number · d22f2747
  Julien Signoles authored 11 years ago
  
  d22f2747
Mar 07, 2014
- [doc] fix install of doc · f587ae2e
  Julien Signoles authored 11 years ago
  
  f587ae2e
- [doc] update reference manual and add a missing figure · 7935097a
  Julien Signoles authored 11 years ago
  
  7935097a
- update user manual · 1a55aaf3
  Julien Signoles authored 11 years ago
  
  1a55aaf3
- update oracles · a9d03ba9
  Julien Signoles authored 11 years ago
  
  a9d03ba9
- applying headers 2014 · 524689f4
  Julien Signoles authored 11 years ago
  
  524689f4
- add example for bts #1636 · b9789af4
  Julien Signoles authored 11 years ago
  
  b9789af4
- preparing release 0.4 compatible with Neon · 22f35ea3
  Julien Signoles authored 11 years ago
  
  22f35ea3
Feb 25, 2014
- [doc] remove useless .pdf · 48b72228
  Julien Signoles authored 11 years ago
  
  48b72228
- still fix warnings with OCaml 4.01* · 8c7ebdee
  Julien Signoles authored 11 years ago
  
  8c7ebdee
Feb 20, 2014
- [refman] remove .pdf file · 97280f34
  Julien Signoles authored 11 years ago
  
  97280f34
- [Makefiles] remove machine-dependent absolute path · c84bc899
  Julien Signoles authored 11 years ago
  
  c84bc899
- fix warnings with OCaml 4.01 · 071b8416
  Julien Signoles authored 11 years ago
  
  071b8416
Feb 18, 2014
- [tests] update oracles according to kernel changes · 31f85f21
  Julien Signoles authored 11 years ago
  
  31f85f21
Feb 06, 2014
- update oracles according to Value's changes · 9d6ecce5
  Julien Signoles authored 11 years ago
  
  9d6ecce5
- simplify Typing.typ_of_integer · 3265715b
  Julien Signoles authored 11 years ago
  
  3265715b
- propagate kernel changes (split of Plugin) · aa45ddc7
  Julien Signoles authored 11 years ago
  
  aa45ddc7
Jan 28, 2014
- [E-ACSL] fix bug #1634 occuring in presence of static addresses · 80230733
  Julien Signoles authored 11 years ago
  
  [E-ACSL] fix some headers and update TODO-list
  80230733
Dec 10, 2013
- ignore .o · da0c993a
  Julien Signoles authored 11 years ago
  
  da0c993a
Dec 05, 2013
- [E-ACSL] update according to printer's changes · c7112bd6
  Julien Signoles authored 11 years ago
  
  c7112bd6
Dec 03, 2013
- [E-ACSL] update oracles according to printer's changes · 1cadec6d
  Julien Signoles authored 11 years ago
  
  1cadec6d
Nov 19, 2013
- add the .gitignore from svn:ignore · 1faa6a7b
  François Bobot authored 11 years ago
  
  1faa6a7b
Oct 25, 2013
- [E-ACSL] compatibility with warning 7 · d87c0496
  Julien Signoles authored 11 years ago
  
  d87c0496
Oct 15, 2013
- [E-ACSL] fixes oracles according to Value's changes · 043929c1
  Julien Signoles authored 11 years ago
  
  043929c1
Oct 03, 2013
- [E-acsl] Use isPointerType instead of isPtrType · d850d021
  Boris Yakobowski authored 11 years ago
  
  d850d021
Sep 26, 2013
- appels à memset remplacés par __e_acsl_memset qui fait la même chose · edc7c991
  Guillaume Petiot authored 11 years ago
  
  edc7c991
- [E-ACSL] fix incorrectness which may occur in presence of aliasing · d4856c40
  Julien Signoles authored 11 years ago
  
  d4856c40