Commits · 28887ed49140a9795823304ce5105e3f514505b2 · pub / frama-c

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
- known_bugs · 10e8d6c3
  Julien Signoles authored 10 years ago
  
  10e8d6c3
- changelog · 005d9720
  Julien Signoles authored 10 years ago
  
  005d9720
- changelog · c5808568
  Julien Signoles authored 10 years ago
  
  c5808568
- changelog + few comments + coding style · 6f86b9e9
  Julien Signoles authored 10 years ago
  
  6f86b9e9
- merge with stable/neon · 35bd9dc4
  Julien Signoles authored 10 years ago
  
  35bd9dc4
- changelog + few comments + coding style · 8d82ee5f
  Julien Signoles authored 10 years ago
  
  8d82ee5f
- [configure] compatibility with Neon, whatever the release number is · 07f1261f
  Julien Signoles authored 10 years ago
  
  07f1261f
- Merge branch 'bug/bts1831' into 'stable/neon' · 9ed6bffd
  Julien Signoles authored 10 years ago
  
  Bug/bts1831 (argc / argv) Implements 1831
  9ed6bffd
- Fixes to Juliens remarks, clearer code · 6f7e6c00
  Arvid Jakobsson authored 10 years ago
  
  - fix indentation - follow the model of must_init, build_initializer - only generated code if generate is set, - generate code "on project". - rename mainargs.i -> mainargs.c
  6f7e6c00
Jul 20, 2014
- patch the fix of bug #1715 in a way that __memory_size is still usable (no more ghost) · a705f9e9
  Julien Signoles authored 10 years ago
  
  a705f9e9
- patch the fix of bug #1715 in a way that __memory_size is still usable (no more ghost) · 56a7f14e
  Julien Signoles authored 10 years ago
  
  56a7f14e
Jul 19, 2014
- Merge branch 'bug/bts1836' into 'stable/neon' · b4dc2e8b
  Julien Signoles authored 10 years ago
  
  Bug/bts1836 (off by one in bittree)
  b4dc2e8b
- Merge branch 'bug/bts1836' into 'stable/neon' · f1160074
  Julien Signoles authored 10 years ago
  
  Bug/bts1836 (off by one in bittree)
  f1160074
- propagate change according to kernel changes about vlogic/vgenerated; but... · 15838895
  Julien Signoles authored 10 years ago
  
  propagate change according to kernel changes about vlogic/vgenerated; but Misc.is_generated_varinfo is much less efficient than before
  15838895
Jul 16, 2014
- fixes #1836 , includes unittests in check · c0318895
  Arvid Jakobsson authored 10 years ago
  
  c0318895
- fix bug #1381 , adds argc and argv to memory model when present · ee58e767
  Arvid Jakobsson authored 10 years ago
  
  also change gcc_test.sh so that one can pass arguments to program under test.
  ee58e767
Jul 08, 2014
- fix bug when using Frama-C-specific names of the libc which prevent linking the generated code · bc153f5c
  Julien Signoles authored 10 years ago
  
  bc153f5c
- fix bug when using Frama-C-specific names of the libc which prevent linking the generated code · 361a4fa8
  Julien Signoles authored 10 years ago
  
  361a4fa8
Jun 30, 2014
- [tests] updated according to pretty printer changes · 3384b7f8
  Julien Signoles authored 10 years ago
  
  [quantif] updated according to AST changes: && is now left-associative
  3384b7f8
Jun 16, 2014
- [csrv'14] benchmarks of the other teams · 62b67bd2
  Julien Signoles authored 10 years ago
  
  62b67bd2
- update code and oracles according to Frama-C changes, in particular... · a8078208
  Julien Signoles authored 10 years ago
  
  update code and oracles according to Frama-C changes, in particular interpretation of \valid in presence of const
  a8078208
Jun 10, 2014
- [e-acsl] improve a bit the Frama-C script of the demo · 87c81ea1
  Julien Signoles authored 10 years ago
  
  87c81ea1
- update oracles · 6e110768
  Julien Signoles authored 10 years ago
  
  6e110768
May 21, 2014

Merge remote-tracking branch 'stable/stable/neon' · cc4157bd
Julien Signoles authored 10 years ago

cc4157bd

Merge commit 'd042deb1f67320d7283399bad1d76f0973947220' · f9e2f928

Julien Signoles authored 10 years ago

resync master and stable/neon

Conflicts:
	label.ml
	pre_analysis.ml
	tests/e-acsl-runtime/oracle/bts1399.1.res.oracle
	tests/e-acsl-runtime/oracle/bts1399.res.oracle
	tests/e-acsl-runtime/oracle/call.1.res.oracle
	tests/e-acsl-runtime/oracle/localvar.1.res.oracle
	tests/e-acsl-runtime/oracle/ptr_init.1.res.oracle
	tests/e-acsl-runtime/oracle/valid.1.res.oracle
	tests/e-acsl-runtime/oracle/valid.res.oracle
	tests/e-acsl-runtime/oracle/valid_alias.1.res.oracle
	tests/e-acsl-runtime/oracle/valid_alias.res.oracle
	tests/e-acsl-runtime/oracle/vector.1.res.oracle
	tests/e-acsl-runtime/oracle/vector.res.oracle

f9e2f928