Commits · 67a5c4159a621930cf8f7809bbe6eb0a6aaccf23 · pub / frama-c · GitLab

Snippets Groups Projects

Jan 12, 2023
- [lint] better error messages · 67a5c415
  Patrick Baudin authored 2 years ago and Andre Maroneze committed 2 years ago
  
  67a5c415
- [lint] handles indent formatter without update command · 3b43129b
  Patrick Baudin authored 2 years ago and Andre Maroneze committed 2 years ago
  
  3b43129b
- [lint] better error messages · 8c62390a
  Patrick Baudin authored 2 years ago and Andre Maroneze committed 2 years ago
  
  8c62390a
- [lint] use black to lint Python files by default · 70b88047
  Andre Maroneze authored 2 years ago
  
  70b88047
- [lint] reuses attribute 'indent=spec' where spec={ocp-indent,clang-format,set,unset} · f865e6ad
  Patrick Baudin authored 2 years ago and Andre Maroneze committed 2 years ago
  
  f865e6ad
- [lint] adds attribute 'indent-formatter=tool' where tool={ocp-indent,clang-format,default} · 0c717ebf
  Patrick Baudin authored 2 years ago and Andre Maroneze committed 2 years ago
  
  0c717ebf
- Merge branch 'feature/thibaut/refactor-gmp-module' into 'master' · 2705371d
  Julien Signoles authored 2 years ago
  
  Refactor module `Gmp` Closes e-acsl#193 See merge request frama-c/frama-c!3962
  2705371d
- Merge branch 'fix/andre/analysis-scripts-python3-7' into 'master' · d2b9a52e
  Allan Blanchard authored 2 years ago
  
  [analysis-scripts] ensure compatibility with Python >=3.7 See merge request frama-c/frama-c!4041
  d2b9a52e
- [e-acsl] lint · 01c5c9d2
  Julien Signoles authored 2 years ago
  
  01c5c9d2
- [e-acsl] improved style in gmp.ml* · a5e7798c
  Julien Signoles authored 2 years ago
  
  a5e7798c
- [E-ACSL] generic assign · 39ee3f67
  Julien Signoles authored 2 years ago
  
  39ee3f67
- [E-ACSL] replacing 'assert false' by 'Options.fatal' · 6014afed
  Julien Signoles authored 2 years ago
  
  6014afed
- [E-ACSL] fix too long lines · 3d2aaed2
  Julien Signoles authored 2 years ago
  
  3d2aaed2
- [E-ACSL] rename Gmp.affect to Gmp.assign · b0383b67
  Julien Signoles authored 2 years ago
  
  b0383b67
- [e-acsl] remove extra lines · d6faca50
  Thibaut Benjamin authored 2 years ago and Julien Signoles committed 2 years ago
  
  d6faca50
- [e-acsl] refactor Gmp: rename Q.new_var_and_init (consistency w/ Z) · 4aee7763
  Thibaut Benjamin authored 2 years ago and Julien Signoles committed 2 years ago
  
  4aee7763
- [e-acsl] refactor Gmp: delete file gmp_gen.ml · 35369c64
  Thibaut Benjamin authored 2 years ago and Julien Signoles committed 2 years ago
  
  35369c64
- [e-acsl] refactor Gmp: move module Gmp_gen over to Gmp · 8db4069c
  Thibaut Benjamin authored 2 years ago and Julien Signoles committed 2 years ago
  
  8db4069c
- [e-acsl] refactor Gmp: move normalize_str in module Q · 3463adeb
  Thibaut Benjamin authored 2 years ago and Julien Signoles committed 2 years ago
  
  3463adeb
- [e-acsl] refactor Gmp: rename new_var_and_mpz_init · 7909b3ed
  Thibaut Benjamin authored 2 years ago and Julien Signoles committed 2 years ago
  
  7909b3ed
- [e-acsl] refactor Gmp: remove dependency of Env over Gmp · 475ae4bc
  Thibaut Benjamin authored 2 years ago and Julien Signoles committed 2 years ago
  
  475ae4bc
- [e-acsl] refactor Gmp: delete file Rational.ml · fd73622e
  Thibaut Benjamin authored 2 years ago and Julien Signoles committed 2 years ago
  
  fd73622e
- [e-acsl] refactor Gmp: change signature of Q.cmp · 0f23b755
  Thibaut Benjamin authored 2 years ago and Julien Signoles committed 2 years ago
  
  0f23b755
- [e-acsl] refactor Gmp: add Z.cmp · 964091d1
  Thibaut Benjamin authored 2 years ago and Julien Signoles committed 2 years ago
  
  964091d1
- [e-acsl] refactor Gmp: move function Rational.cmp · b36bded7
  Thibaut Benjamin authored 2 years ago and Julien Signoles committed 2 years ago
  
  b36bded7
- [e-acsl] refactor Gmp: add Z.binop · 281f87d3
  Thibaut Benjamin authored 2 years ago and Julien Signoles committed 2 years ago
  
  281f87d3
- [e-acsl] refactor Gmp: remove Rational.binop · cbc17835
  Thibaut Benjamin authored 2 years ago and Julien Signoles committed 2 years ago
  
  cbc17835
- [e-acsl] refactor Gmp: create add_cast for type Z · ce677900
  Thibaut Benjamin authored 2 years ago and Julien Signoles committed 2 years ago
  
  ce677900
- [e-acsl] refactor Gmp: move Rational.add_cast · 6d6c45e4
  Thibaut Benjamin authored 2 years ago and Julien Signoles committed 2 years ago
  
  6d6c45e4
- [e-acsl] refactor Gmp: move Rational.cast_to_z · a3ae24a0
  Thibaut Benjamin authored 2 years ago and Julien Signoles committed 2 years ago
  
  a3ae24a0
- [e-acsl] refactor Gmp: remove Rational.name_arith_bop · 7ab09585
  Thibaut Benjamin authored 2 years ago and Julien Signoles committed 2 years ago
  
  7ab09585
- [e-acsl] refactor Gmp: move Gmp.name_of_mpz_arith_bop · e3d526b7
  Thibaut Benjamin authored 2 years ago and Julien Signoles committed 2 years ago
  
  e3d526b7
- [e-acsl] refactor Gmp: move Rational.normalize_str · 0b97814f
  Thibaut Benjamin authored 2 years ago and Julien Signoles committed 2 years ago
  
  0b97814f
- [e-acsl] refactor Gmp: remove Rational.create · cba53241
  Thibaut Benjamin authored 2 years ago and Julien Signoles committed 2 years ago
  
  cba53241
Jan 11, 2023
- Merge branch... · 6ef7f48b
  David Bühler authored 2 years ago
  
  Merge branch '1198-messages-perdus-informations-manquantes-lors-de-changements-de-vue-pendant-une-analyse' into 'master' [ivette] Consolidation of states Closes #1198 See merge request frama-c/frama-c!4013
  6ef7f48b
- [Ivette] States: documents the default Frama-C project. · 9de3cd33
  David Bühler authored 2 years ago
  
  9de3cd33
- [states] refactor states with global states · 9a390412
  Loïc Correnson authored 2 years ago and David Bühler committed 2 years ago
  
  9a390412
- [ivette] avoid synchronizing arrays for undefined project · cde633c4
  Loïc Correnson authored 2 years ago and David Bühler committed 2 years ago
  
  cde633c4
- [dome] optional forced update on GlobalStates · 759fdd31
  Loïc Correnson authored 2 years ago and David Bühler committed 2 years ago
  
  759fdd31
- [ivette] fix documentation issues · 978a687e
  Loïc Correnson authored 2 years ago and David Bühler committed 2 years ago
  
  978a687e