Commits · 3054efb4b09504f9986a88505a64212dfe53c982 · pub / frama-c · GitLab

Snippets Groups Projects

Jan 16, 2020
- Make Specific_dir functions provide normalized filepaths instead of mere strings. · 3054efb4
  Michele Alberti authored 5 years ago
  
  3054efb4
Jan 15, 2020
- [tests] get rid of __FC_ASSERT_FILE__ · cef6b25b
  Virgile Prevosto authored 5 years ago
  
  cef6b25b
- [server] Replaces formatter_tag_functions by formatter_stag_functions. · 744022c4
  David Bühler authored 5 years ago
  
  Avoids a compilation warning with ocaml >= 4.08.
  744022c4
- [CI] remove old e-acsl CI config · 2d903fae
  François Bobot authored 5 years ago
  
  2d903fae
Jan 14, 2020
- [e-acsl:tests] deactive tests in dev mode that do not work on CI · 85af222e
  Julien Signoles authored 5 years ago
  
  85af222e
- [CI] remove e-acsl standalone ci configuration · 345bb518
  François Bobot authored 5 years ago and Julien Signoles committed 5 years ago
  
  345bb518
- [CI] E-acsl test the gmp version in gmp test · 492283b4
  François Bobot authored 5 years ago and Julien Signoles committed 5 years ago
  
  492283b4
- Replaces Pervasives.compare by Transitioning.Stdlib.compare. · 10494aac
  David Bühler authored 5 years ago
  
  Avoids a compilation warning with ocaml >= 4.08.
  10494aac
- [CI] Add gmp dependency to e-acsl test · 8aede8aa
  François Bobot authored 5 years ago and Julien Signoles committed 5 years ago
  
  8aede8aa
Jan 13, 2020
- [e-acsl:tests] dev_config: add a missing oracle for a recent test · c9b5b4af
  Julien Signoles authored 5 years ago
  
  c9b5b4af
- [e-acsl:tests] dev_config: specify the correct Frama-C binary · 9e30240d
  Julien Signoles authored 5 years ago
  
  9e30240d
- [Makefile] improve test dependencies · 97478e65
  Julien Signoles authored 5 years ago
  
  97478e65
- [tests] dev config: debug mode when executing the binary · 5a6ee1a0
  Julien Signoles authored 5 years ago
  
  5a6ee1a0
- [Ci] Add a more powerful tests tests-dev · dd5013a2
  François Bobot authored 5 years ago and Julien Signoles committed 5 years ago
  
  dd5013a2
- [Eva] Fixes the octagon domain with respect to the ival rewriting. · 77f80af0
  David Bühler authored 5 years ago
  
  77f80af0
- [Ival] The small_cardinal limit is only set once in int_set. · f36c3828
  David Bühler authored 6 years ago
  
  Int_val uses the limit provided by int_set.get_small_cardinal to create sets or intervals.
  f36c3828
- [Ival] Removes useless module about widen hints. · 3f793898
  David Bühler authored 6 years ago
  
  3f793898
- [Ival] Do not export the ival type. · 004d61b8
  David Bühler authored 6 years ago
  
  Exports 4 new functions in ival: - is_int and is_float - is_small_set and project_small_set
  004d61b8
Jan 09, 2020
- [e-acsl] Michele's review · 027b0d44
  Julien Signoles authored 5 years ago
  
  027b0d44
- [e-acsl] lint · 81eaf1a1
  Julien Signoles authored 5 years ago
  
  81eaf1a1
- [e-acsl] into account Michele's review · 0acbebae
  Julien Signoles authored 5 years ago
  
  [e-acsl] remove unnecessary code in Prepare_ast corresponding to type 'position'
  0acbebae
- [e-acsl] lint · 1fdecff9
  Julien Signoles authored 5 years ago
  
  1fdecff9
- [e-acsl:archi] merge stages 'prepare_ast' and 'dup_functions' · 29d304c2
  Julien Signoles authored 5 years ago
  
  29d304c2
- [e-acsl] ensure that terms of the E-ACSL ast are never shared before code... · d7616871
  Julien Signoles authored 5 years ago
  
  [e-acsl] ensure that terms of the E-ACSL ast are never shared before code injection. This invariant is required for E-ACSL typing soundness
  d7616871
- [e-acsl:prepare_ast] replace the copy visitor by an in-place visitor · 89741173
  Julien Signoles authored 5 years ago
  
  89741173
- [e-acsl:dup_function] replace the copy-visitor by an in-place visit · 7af15666
  Julien Signoles authored 5 years ago
  
  7af15666
- [e-acsl:lint] lintify dup_functions.ml before rewriting it · 518e49e6
  Julien Signoles authored 5 years ago
  
  518e49e6
- [dev] silence warning 40 and 42 · 25ecfd49
  Virgile Prevosto authored 5 years ago
  
  type-based disambiguation is not a bad thing after all.
  25ecfd49
Jan 06, 2020
- [tests] fix E-ACSL oracles · 80771a89
  Virgile Prevosto authored 5 years ago
  
  80771a89
- [gui] Use actual path of files and not their prettified versions. · 93b31968
  Michele Alberti authored 5 years ago
  
  93b31968
- [kernel] more consistent usage of Filepath.Normalized for source files · 0ce4dbfb
  Virgile Prevosto authored 5 years ago
  
  0ce4dbfb
Dec 26, 2019
- [server] compatibility between !2480 and !2487 · 376653c0
  Virgile Prevosto authored 5 years ago
  
  376653c0
Dec 20, 2019
- [Aorai] Fixes test script after changes in kernel API · f3d35fe3
  Virgile Prevosto authored 5 years ago
  
  f3d35fe3
- [Server] Resolve conflicts. · f17608e9
  Michele Alberti authored 5 years ago
  
  f17608e9
- [wp/tests] added option -wp-no-cache-env · 93fff3f8
  Loïc Correnson authored 5 years ago
  
  FRAMAC_WP_CACHE=update ./ptests.opt src/plugins/wp/tests -config qualif
  93fff3f8
- [wp/tests] suppress range-steps report · d3d05e39
  Loïc Correnson authored 5 years ago
  
  d3d05e39
- [wp] force result type of float ops · 3bb08951
  Loïc Correnson authored 5 years ago
  
  3bb08951
- [tests] don't display timings of provers in oracles · 151d43ed
  Virgile Prevosto authored 5 years ago
  
  151d43ed
Dec 19, 2019
- [tests] run test for #775 also in plain config · 0668d534
  Virgile Prevosto authored 5 years ago
  
  0668d534
- [Server] Implement proposed API for get/set/exec files. · 904ea7aa
  Michele Alberti authored 5 years ago
  
  904ea7aa