Commits · f4dc2445c0f45bc857ea370f06d3c062ad5afa76 · pub / frama-c · GitLab

Snippets Groups Projects

Nov 15, 2019
- Merge branch 'fix/virgile/acsl-extend-739' into 'master' · f4dc2445
  Allan Blanchard authored 5 years ago
  
  Don't trust ACSL typing extension too much Closes #739 See merge request frama-c/frama-c!2438
  f4dc2445
- [logic] fix error handling in extensions · 1ac80ff1
  Virgile Prevosto authored 5 years ago
  
  Don't treat as fatal internal error of the extension exceptions that are raised as part of the standard error mechanism provided by the typing context.
  1ac80ff1
- [logic] more precise error message when typing extension raises an exn · 9a473c43
  Virgile Prevosto authored 5 years ago
  
  9a473c43
Nov 14, 2019
- Merge branch 'fix/andre/migration-script' into 'master' · c1ca1c91
  Andre Maroneze authored 5 years ago
  
  [dev] do not stop migration script on errors See merge request frama-c/frama-c!2439
  c1ca1c91
Nov 12, 2019
- Merge branch 'fix/doc-install-wsl' into 'master' · 57f36a1b
  Allan Blanchard authored 5 years ago
  
  [Doc] update INSTALL.md for Windows See merge request frama-c/frama-c!2440
  57f36a1b
- [Doc] update INSTALL.md for Windows · 2130d50f
  Andre Maroneze authored 5 years ago
  
  2130d50f
- [dev] do not stop migration script on errors · 939a1a16
  Andre Maroneze authored 5 years ago
  
  939a1a16
Nov 08, 2019
- [logic] don't trust extension function to catch their Not_found exceptions · 2f5ceae6
  Virgile Prevosto authored 5 years ago
  
  2f5ceae6
- [tests] simplify test · e7cdfd97
  Virgile Prevosto authored 5 years ago
  
  - no 3d party module dependency - don't have a stack dump as oracle
  e7cdfd97
- [test] test case for reported issue · 714a13d3
  Virgile Prevosto authored 5 years ago
  
  714a13d3
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