Commits · 4f26776da9a6145f814647034a309e101f7b5dac · pub / frama-c · GitLab

Snippets Groups Projects

Feb 19, 2015
- fix ocamldoc error with OCaml 4.02 · 4f26776d
  Julien Signoles authored 10 years ago
  
  4f26776d
Feb 17, 2015
- update according to kernel's and ptests' changes · fb0678fe
  Julien Signoles authored 10 years ago
  
  fb0678fe
Jan 29, 2015
- header 2015 · 69cbc062
  Julien Signoles authored 10 years ago
  
  69cbc062
Jan 27, 2015
- [tests] automatic regeneration of test_config when invoking E_ACSL_TESTS directly · c644a861
  Julien Signoles authored 10 years ago
  
  c644a861
- Merge branch 'master', remote-tracking branch 'origin' · 2908eef8
  Julien Signoles authored 10 years ago
  
  2908eef8
- [tests] fix oracles · 0c5f590b
  Julien Signoles authored 10 years ago
  
  0c5f590b
- [doc] fix ocamldoc error · 4d43d9a3
  Julien Signoles authored 10 years ago
  
  4d43d9a3
Dec 18, 2014
- Merge branch 'fix-gitignore' into 'master' · a00efb26
  Julien Signoles authored 10 years ago
  
  Fix .gitignore See merge request !7
  a00efb26
- Ignore generated ptests_config file · faa0dec1
  Benjamin Monate authored 10 years ago
  
  faa0dec1
Dec 17, 2014
- changelog · f1d69481
  Julien Signoles authored 10 years ago
  
  f1d69481
- [API] cleaner exported API · dbf302f4
  Julien Signoles authored 10 years ago
  
  dbf302f4
Dec 16, 2014
- [tests] improved oracles · 47d0d886
  Julien Signoles authored 10 years ago
  
  47d0d886
- fix compilation according to kernel changes · ab49e183
  Julien Signoles authored 10 years ago
  
  ab49e183
- Merge branch 'feature/preprocessor-fc-libc' into 'master' · 1c2227d4
  Julien Signoles authored 10 years ago
  
  Feature/preprocessor fc libc Mise à jour des oracles suite au commit frama-c/frama-c@4f01d985 . À merger quand frama-c/frama-c!201 sera elle-même mergée dans le noyau. See merge request !6
  1c2227d4
Dec 02, 2014
- update oracles · 83a3fec4
  Virgile Prevosto authored 10 years ago
  
  83a3fec4
- update to new File API · ded8ec1f
  Virgile Prevosto authored 10 years ago
  
  ded8ec1f
Nov 27, 2014
- [configure] Rte plug-in name have changed in configure :-( · 7f4546b6
  Julien Signoles authored 10 years ago
  
  7f4546b6
Nov 12, 2014
- [tests] update according to libc changes · 7556ef08
  Julien Signoles authored 10 years ago
  
  7556ef08
Oct 27, 2014
- [translation] add a missing cast when an integer is used in a floating... · e3dfc90e
  Julien Signoles authored 10 years ago
  
  [translation] add a missing cast when an integer is used in a floating point/real context (was revealed by a Value's change, and now reveals a bug with == over reals)
  e3dfc90e
- [tests] fix oracles according to libc changes · 7708e362
  Julien Signoles authored 10 years ago
  
  7708e362
Oct 16, 2014
- update oracles according to Value's changes · 753b46e3
  Julien Signoles authored 10 years ago
  
  753b46e3
Oct 08, 2014
- frama-c-config in Makefile.in + gitignore · db11826d
  Julien Signoles authored 10 years ago
  
  db11826d
Sep 04, 2014
- [tests] update oracle according to libc's changes · b49dfc34
  Julien Signoles authored 10 years ago
  
  b49dfc34
Aug 27, 2014
- update according to kernel changes (\specified) · 51790ff1
  Julien Signoles authored 10 years ago
  
  51790ff1
Aug 22, 2014
- compatibility with kernel change · 195b3c91
  Julien Signoles authored 10 years ago
  
  195b3c91
Aug 08, 2014
- [visit] fix a inter-project sharing bug, because renaming a variable instead of creating a new one · 28887ed4
  Julien Signoles authored 10 years ago
  
  [tests] update oracles according to various recent kernel changes
  28887ed4
- version number · 818ea4d9
  Julien Signoles authored 10 years ago
  
  818ea4d9
- merge with stable 0.4.1 · c8388409
  Julien Signoles authored 10 years ago
  
  c8388409
- update Changelog · ac2fc8fa
  Julien Signoles authored 10 years ago
  
  ac2fc8fa
Aug 07, 2014
- release 0.4.1 · 686783e6
  Julien Signoles authored 10 years ago
  
  686783e6
- [configure] require Neon-20140301+dev · ca0c5a1c
  Julien Signoles authored 10 years ago
  
  ca0c5a1c
Aug 05, 2014
- [memory model] fix bug #1838 about memset · 5c6e3214
  Julien Signoles authored 10 years ago
  
  5c6e3214
- [memory model] fix bug #1838 about memset · 38b36630
  Julien Signoles authored 10 years ago
  
  38b36630
- fixed bug #1818 about initialization of globals · 72f9bfb7
  Julien Signoles authored 10 years ago
  
  72f9bfb7
- fixed bug #1818 about initialization of globals · b8ce0e2a
  Julien Signoles authored 10 years ago
  
  b8ce0e2a
- fixed changelog · d42b06c2
  Julien Signoles authored 10 years ago
  
  d42b06c2
Aug 04, 2014
- fixed changelog · a3981dfb
  Julien Signoles authored 10 years ago
  
  a3981dfb
- known_bugs · 99bef35b
  Julien Signoles authored 10 years ago
  
  99bef35b
- [manual] fixed bug #1696 by clarifying the manual · f04d76b0
  Julien Signoles authored 10 years ago
  
  f04d76b0
- [manual] fixed bug #1696 by clarifying the manual · 31e32c63
  Julien Signoles authored 10 years ago
  
  31e32c63