Commits · 22bc078f582940833567f1785027ab6dcdd57838 · pub / frama-c · GitLab

Snippets Groups Projects

Nov 21, 2019
- Merge branch 'fix/blanchard/wp/inductive-to-why3' into 'stable/calcium' · 22bc078f
  Loïc Correnson authored 5 years ago
  
  [WP/Why3] Minimal support for inductive definitions See merge request frama-c/frama-c!2449
  22bc078f
- [WP/Why3] Remove config_qualif test for inductive support · ef54e3cf
  Allan Blanchard authored 5 years ago
  
  ef54e3cf
- [WP/Why3] Test for inductive definition generation · 54367e77
  Allan Blanchard authored 5 years ago
  
  54367e77
Nov 20, 2019
- [WP/Why3] Minimal support for inductive definitions · 4176e74a
  Allan Blanchard authored 5 years ago
  
  4176e74a
- Merge branch 'fix/andre/make-template' into 'stable/calcium' · 4d7bc60c
  David Bühler authored 5 years ago
  
  [analysis-scripts] fix template when stub for 'main' is generated See merge request frama-c/frama-c!2445
  4d7bc60c
Nov 14, 2019
- Merge branch 'fix/loic/wp-gui' into 'stable/calcium' · 84387eb7
  Andre Maroneze authored 5 years ago
  
  [wp/gui] fix context when printing memory access See merge request frama-c/frama-c!2446
  84387eb7
- [wp] linting · 25365983
  Loïc Correnson authored 5 years ago
  
  25365983
- [wp/gui] more fix on context · 46da575c
  Loïc Correnson authored 5 years ago
  
  46da575c
- [wp/gui] fix context when printing memory access · afe4f100
  Loïc Correnson authored 5 years ago
  
  afe4f100
- [analysis-scripts] fix template when stub for 'main' is generated · 41a59204
  Andre Maroneze authored 5 years ago
  
  41a59204
Nov 06, 2019
- Merge branch 'fix/release/calcium-preparations' into 'master' · 7d62b3d0
  Andre Maroneze authored 5 years ago
  
  Fix/release/calcium preparations See merge request frama-c/frama-c!2435
  7d62b3d0
- update entries in Changelogs · 912a47cf
  Andre Maroneze authored 5 years ago
  
  912a47cf
- [developer] fix version in Changes · f95431e4
  Andre Maroneze authored 5 years ago
  
  f95431e4
- [opam] update link to (yet non-existing) documentation · afc0ddcb
  Andre Maroneze authored 5 years ago
  
  afc0ddcb
Nov 05, 2019
- [Server] ensure sources are distributed when zmq is not installed · 08ad1f0b
  Andre Maroneze authored 5 years ago
  
  08ad1f0b
- [release] check for distributed plugin in .tar.gz · 69e0512f
  Andre Maroneze authored 5 years ago
  
  69e0512f
- [release] add more precise instructions · bf87f4c2
  Andre Maroneze authored 5 years ago
  
  bf87f4c2
- add missing header specs · c455371f
  Andre Maroneze authored 5 years ago
  
  c455371f
- [Kernel] update @since tags · 0c58894f
  Andre Maroneze authored 5 years ago
  
  0c58894f
- Merge branch '735-e-acsl-cc-warnings' into 'master' · c0a8bb0b
  Julien Signoles authored 5 years ago
  
  Resolve "[e-acsl] cc warnings ?" Closes #735 See merge request frama-c/frama-c!2434
  c0a8bb0b
- Merge branch 'feature/julien/simplify-eacsl' into 'master' · 2d59b45b
  Virgile Prevosto authored 5 years ago
  
  Simplify E-ACSL's configure and Makefile See merge request frama-c/frama-c!2433
  2d59b45b
- [e-acsl/contrib] prevent clang from warning about <defined> · 84a8eb0d
  Loïc Correnson authored 5 years ago
  
  84a8eb0d
- [E-ACSL:Makefile] remove useless targets since E-ACSL is now included in Frama-C · 6712d8f2
  Julien Signoles authored 5 years ago
  
  6712d8f2
- [E-ACSL:configure] remove outdated substitution · 3e8f495a
  Julien Signoles authored 5 years ago
  
  3e8f495a
- [E-ACSL:configure] checking Frama-C version is now useless · 1e075660
  Julien Signoles authored 5 years ago
  
  1e075660
- [E-ACSL] remove file INSTALL · 978c897b
  Julien Signoles authored 5 years ago
  
  978c897b
- Merge branch 'fix/andre/release-20-fixes' into 'master' · a4f4b11d
  Virgile Prevosto authored 5 years ago
  
  Fix/andre/release 20 fixes See merge request frama-c/frama-c!2430
  a4f4b11d
Nov 04, 2019
- [Makefile] fix clean-doc target for disabled plug-ins · d46d3f71
  Andre Maroneze authored 5 years ago
  
  d46d3f71
- [release] force worktree in case of error during build · b2fb1b51
  Andre Maroneze authored 5 years ago
  
  b2fb1b51
- [Makefile] remove obsolete rules · 65463157
  Andre Maroneze authored 5 years ago
  
  65463157
- [Markdown-report] normalize Makefile.in/configure.ac from template · 76625e1a
  Andre Maroneze authored 5 years ago
  
  76625e1a
- [opam] add optional dependencies for markdown-report · dad20225
  Andre Maroneze authored 5 years ago
  
  dad20225
- update VERSION for beta release · f2b23c1e
  Andre Maroneze authored 5 years ago
  
  f2b23c1e
- [opam] add zmq as optional dependency · 5474d12b
  Andre Maroneze authored 5 years ago
  
  5474d12b
- add new Frama-C authors · 7955f754
  Andre Maroneze authored 5 years ago
  
  7955f754
- [release] remove obsoleted E-ACSL-specific rules · eb8ab1ad
  Andre Maroneze authored 5 years ago
  
  eb8ab1ad
- [e-acsl] remove obsoleted VERSION · b40e69de
  Andre Maroneze authored 5 years ago
  
  b40e69de
- Merge branch 'feature/bobot/frama-c-public' into 'master' · 09e7fb8c
  Virgile Prevosto authored 5 years ago
  
  Publish master to the public repository See merge request frama-c/frama-c!2431
  09e7fb8c
- Publish master to the public repository · 70544594
  François Bobot authored 5 years ago
  
  70544594
- Merge branch 'fix/remove-svn-scripts' into 'master' · 86993dfd
  Julien Signoles authored 5 years ago
  
  Remove proprietary scripts relying on SVN See merge request frama-c/frama-c!2432
  86993dfd