Commits · 1217e8fe5e29feda404e7920381a3e5ac6b2e870 · pub / frama-c · GitLab

Snippets Groups Projects

Oct 11, 2021
- Add to_int*_exn functions, deprecate to_int*, and migrate code · 1217e8fe
  Andre Maroneze authored 3 years ago and David Bühler committed 3 years ago
  
  1217e8fe
- [Cabs2cil] fix issue with excessively large integer attribute · 82fdb838
  Andre Maroneze authored 3 years ago and David Bühler committed 3 years ago
  
  82fdb838
- [Kernel] avoid another issue when parsing integers in Cabs2cil · e42c989b
  Andre Maroneze authored 3 years ago and David Bühler committed 3 years ago
  
  e42c989b
- [Aorai] properly handle int parsing errors · d24d2250
  Andre Maroneze authored 3 years ago and David Bühler committed 3 years ago
  
  d24d2250
- [Logic] avoid crashes due to large integers or invalid digits in literal · 753c8a1d
  Andre Maroneze authored 3 years ago and David Bühler committed 3 years ago
  
  753c8a1d
- [Kernel] export ParseIntError and simplify/extend parseInt* functions · fcfa4a0a
  Andre Maroneze authored 3 years ago and David Bühler committed 3 years ago
  
  fcfa4a0a
- [Kernel] Minor simplification in unroll_loops; replaces a fatal by a warning. · e3f264a2
  David Bühler authored 3 years ago
  
  e3f264a2
- [cabs2cil] Minor simplifications; changes some [Kernel.fatal] into errors. · d0f96b1f
  David Bühler authored 3 years ago
  
  d0f96b1f
- [Eva] Minor simplifications when using Integer.to_int[_opt]. · 86589b84
  David Bühler authored 3 years ago
  
  86589b84
- update test oracles · 5bdf95a6
  Andre Maroneze authored 3 years ago and David Bühler committed 3 years ago
  
  5bdf95a6
- [tests] add test case for very large integers · e1e2fb0d
  Andre Maroneze authored 3 years ago and David Bühler committed 3 years ago
  
  e1e2fb0d
- [Kernel] handle some integer-related errors as caused by the user · b715927e
  Andre Maroneze authored 3 years ago and David Bühler committed 3 years ago
  
  b715927e
- [Kernel] fix several crashes related to very large integers · f163e727
  Andre Maroneze authored 3 years ago and David Bühler committed 3 years ago
  
  f163e727
- [Eva] avoid crash due to overly large integers · 8ae76c17
  Andre Maroneze authored 3 years ago and David Bühler committed 3 years ago
  
  8ae76c17
- [Kernel] avoid crash in unroll pragma with large integer · 4f07a48b
  Andre Maroneze authored 3 years ago and David Bühler committed 3 years ago
  
  4f07a48b
- [Libs] add Integer.to_int*_opt functions · 7c3b535a
  Andre Maroneze authored 3 years ago and David Bühler committed 3 years ago
  
  7c3b535a
Oct 08, 2021
- Update nix/frama-ci.* · 9075eed0
  Virgile Prevosto authored 3 years ago
  
  9075eed0
- Merge branch 'fix/interface-files' into 'master' · 04a937f1
  Virgile Prevosto authored 3 years ago
  
  Creates missing .mli interface files See merge request frama-c/frama-c!3349
  04a937f1
- Merge branch 'fix/wp/add-lops-axioms' into 'master' · 83f13fb5
  Allan Blanchard authored 3 years ago
  
  [wp] Add axioms about bitwise operator idempotence See merge request frama-c/frama-c!3306
  83f13fb5
- [wp] Add axioms about bitwise operator idempotence · 6126f7c4
  Allan Blanchard authored 3 years ago
  
  6126f7c4
- [wp-qualif] remove obsolete test · 397fba64
  Virgile Prevosto authored 3 years ago
  
  397fba64
- Merge branch 'feature/andre/warn-local-typedefs' into 'master' · b391bfbd
  Allan Blanchard authored 3 years ago
  
  [Cabs2cil] warn about local typedefs See merge request frama-c/frama-c!3376
  b391bfbd
- Merge branch 'fix/andre/dev-null-windows' into 'master' · 18cb51c5
  Patrick Baudin authored 3 years ago
  
  [dev] replace hard-coded usage of /dev/null in Sys.command call Closes #1061 See merge request frama-c/frama-c!3287
  18cb51c5
Oct 07, 2021
- Merge branch 'feature/e-acsl/extended-quantifier-product-numof' into 'master' · 7a41b684
  Julien Signoles authored 3 years ago
  
  [E-ACSL] Support of \product and \numof See merge request frama-c/frama-c!3303
  7a41b684
- [e-acsl:tests] update oracles for config 'dev' · f03623db
  Julien Signoles authored 3 years ago
  
  f03623db
- Merge branch 'fix/andre/offsetof-error-message' into 'master' · c38bb30f
  Allan Blanchard authored 3 years ago
  
  [Cabs2cil] improve error message for __builtin_offsetof See merge request frama-c/frama-c!3370
  c38bb30f
- [e-acsl:typing] fix bug for \prod in one corner case · 36e3bafc
  Julien Signoles authored 3 years ago
  
  36e3bafc
- [e-acsl:tests] lint · 9a9028de
  Julien Signoles authored 3 years ago
  
  9a9028de
- [Cabs2cil] improve error message for __builtin_offsetof · 9effdbad
  Andre Maroneze authored 3 years ago and Allan Blanchard committed 3 years ago
  
  9effdbad
- [e-acsl:tests] do not break macros in tests to get deterministic behaviors · b1a2bb67
  Julien Signoles authored 3 years ago
  
  b1a2bb67
- [Cabs2cil] warn about local typedefs · 5e6dbe9b
  Andre Maroneze authored 3 years ago
  
  5e6dbe9b
- [e-acsl:tests] update oracle wrt rebase's changes · 0cb6d45c
  Julien Signoles authored 3 years ago
  
  0cb6d45c
- [e-acsl:doc] update wrt \sum, \prod, and \numof · 028b948d
  Julien Signoles authored 3 years ago
  
  028b948d
- [e-acsl:tests] lint · 50fde8dc
  Julien Signoles authored 3 years ago
  
  50fde8dc
- [e-acsl] changelog · 1673c0d4
  Julien Signoles authored 3 years ago
  
  1673c0d4
- [e-acsl] remove useless comment · 025382cb
  Julien Signoles authored 3 years ago
  
  025382cb
- [e-acsl:tests] one more test case for \sum · 8423a09c
  Julien Signoles authored 3 years ago
  
  8423a09c
- [e-acsl:tests] remove trailing spaces · b0d76f32
  Julien Signoles authored 3 years ago
  
  b0d76f32
- [e-acsl:typing] optimized intervals for \prod · bc7a4365
  Julien Signoles authored 3 years ago
  
  bc7a4365
- [e-acsl] improved comments and code simplification in Translate.extended_quantifier_to_exp · de17b8c7
  Julien Signoles authored 3 years ago
  
  de17b8c7