Commits · aea5a478f7a440f40cd5cad3c7129e9ff5cc029d · pub / frama-c · GitLab

Snippets Groups Projects

Mar 01, 2017
- changelog · aea5a478
  Julien Signoles authored 8 years ago
  
  aea5a478
- Merge branch 'kostyantyn/bugfix/stdstream' into 'master' · 6d93dc4b
  Julien Signoles authored 8 years ago
  
  Add stdin, stderr and stdout to safe locations See merge request !117
  6d93dc4b
- Merge branch 'bugfix/julien/force_gmp' into 'master' · 811e4f68
  Kostyantyn Vorobyov authored 8 years ago
  
  Fix a pair of issues with typing of quantifiers See merge request !115
  811e4f68
- Add stdin, stderr and stdout to safe locations · ce668e76
  Kostyantyn Vorobyov authored 8 years ago
  
  ce668e76
- [typing] fix another bug in typing of quantifiers · 3ea203e6
  Julien Signoles authored 8 years ago
  
  3ea203e6
- [tests] update oracles for previous commits · 1bb8f7bc
  Julien Signoles authored 8 years ago
  
  1bb8f7bc
- [typing] fix another typing issue with quantifiers · 8f9aad00
  Julien Signoles authored 8 years ago
  
  8f9aad00
- [typing] fix issue with -e-acsl-gmp-only and quantifier · b25866a7
  Julien Signoles authored 8 years ago
  
  b25866a7
- [typing] fix wrong 'use_gmp_opt' · 531215da
  Julien Signoles authored 8 years ago
  
  531215da
- [typing] rename label 'force' to 'use_gmp_opt' (with reverse semantics) · 5c2df65f
  Julien Signoles authored 8 years ago
  
  5c2df65f
- [typing] improve 'join' a bit (no visible effect) · 313382da
  Julien Signoles authored 8 years ago
  
  313382da
Feb 28, 2017
- Merge branch 'fix/backtrace' into 'master' · 9fb2a830
  Kostyantyn Vorobyov authored 8 years ago
  
  avoid crash when printing backtrace See merge request !116
  9fb2a830
Feb 27, 2017
- avoid crash when printing backtrace · 047c3257
  Andre Maroneze authored 8 years ago
  
  047c3257
- Merge branch 'bugfix/julien/hetegoreneous_casts' into 'master' · 9c02adc0
  Kostyantyn Vorobyov authored 8 years ago
  
  [typing] fix crash with casts from non-integral terms to integral-types See merge request !114
  9c02adc0
Feb 24, 2017
- [typing] fix crash with casts from non-integral terms to integral-types · 08a3ac6f
  Julien Signoles authored 8 years ago
  
  08a3ac6f
- Merge branch 'kostyantyn/feature/short-block-opt' into 'master' · 16116d42
  Julien Signoles authored 8 years ago
  
  Optimization for tracking short blocks in stack shadow See merge request !106
  16116d42
- fix indentation · 3b6d0010
  Julien Signoles authored 8 years ago
  
  3b6d0010
- Optimization for tracking short blocks in stack shadow · 500fcf6d
  Kostyantyn Vorobyov authored 8 years ago and Julien Signoles committed 8 years ago
  
  500fcf6d
- synchronize with frama-c/frama-c/!1169 · 4f672c4c
  Andre Maroneze authored 8 years ago
  
  4f672c4c
Feb 20, 2017
- Merge branch 'bugfix/julien/goto' into 'master' · b972468c
  Kostyantyn Vorobyov authored 8 years ago
  
  fix sharing bug (broken AST) with goto See merge request !111
  b972468c
- apply Project.on more carefully · 43bd8326
  Julien Signoles authored 8 years ago
  
  43bd8326
- fix sharing bug (broken AST) with goto which points to a labeled statement... · 5b21aefc
  Julien Signoles authored 8 years ago
  
  fix sharing bug (broken AST) with goto which points to a labeled statement which must be instrumented
  5b21aefc
Feb 17, 2017
- [debug] keep temporary projects in debug mode · bacedb2c
  Julien Signoles authored 8 years ago
  
  bacedb2c
Feb 15, 2017
- Merge branch 'feature/warnings-with-locs' into 'master' · 28350d09
  Julien Signoles authored 8 years ago
  
  add locations for warnings See merge request !110
  28350d09
Feb 14, 2017
- add locations for warnings · fd491709
  Andre Maroneze authored 8 years ago
  
  fd491709
Jan 26, 2017
- Merge branch 'feature/virgile/clean-print' into 'master' · a1961afa
  Andre Maroneze authored 8 years ago
  
  synchronize with frama-c/frama-c!1112 See merge request !104
  a1961afa
Jan 25, 2017
- synchronize with frama-c/frama-c!1112 · 7dcc51f9
  Andre Maroneze authored 8 years ago
  
  7dcc51f9
- Merge branch 'bugfix/julien/unary_minus' into 'master' · 2b16dad8
  Kostyantyn Vorobyov authored 8 years ago
  
  Fix a pair of bugs in the type system See merge request !105
  2b16dad8
- Change bts2252 test case to the original program from ITC benchmark · 52f1530d
  Kostyantyn Vorobyov authored 8 years ago
  
  52f1530d
- [typing] fix bug #2252 about pointer arithmetic with negative offsets · 37b1265b
  Julien Signoles authored 8 years ago
  
  37b1265b
- fix bug with typing of unary and binary operators (fix git issue #37) · 03cd4cee
  Julien Signoles authored 8 years ago
  
  03cd4cee
Jan 24, 2017
- [refman] improved Makefile · 176c8663
  Julien Signoles authored 8 years ago
  
  176c8663
- [refman] update biblio · 31c46c7b
  Julien Signoles authored 8 years ago
  
  31c46c7b
Jan 19, 2017
- E-ACSL 0.8+dev · 4b56dced
  Julien Signoles authored 8 years ago
  
  4b56dced
- update oracle wrt Frama-C master after merging E-ACSL v0.8 · 4bee73af
  Julien Signoles authored 8 years ago
  
  4bee73af
- readme and install · 4bdd844a
  Julien Signoles authored 8 years ago
  
  4bdd844a
- [tests] update wrt Frama-C Silicon · ca43c459
  Julien Signoles authored 8 years ago
  
  ca43c459
- [configure] fix test of Frama-C version · fc868e2f
  Julien Signoles authored 8 years ago
  
  fc868e2f
- Bugfix: create mini-gmp library in distribution · bf906c55
  Kostyantyn Vorobyov authored 8 years ago and Julien Signoles committed 8 years ago
  
  bf906c55
- Bugfix: Remove obsolete entries contrib/MANIFEST · 164a6c1c
  Kostyantyn Vorobyov authored 8 years ago and Julien Signoles committed 8 years ago
  
  164a6c1c