Skip to content
Snippets Groups Projects
Commit d660df76 authored by David Bühler's avatar David Bühler
Browse files

Updates VERSION and Changelog files for the master branch.

parent c4c5818e
No related branches found
No related tags found
No related merge requests found
......@@ -13,6 +13,11 @@
# '#?nnn' : OLD-BTS entry #nnn #
###############################################################################
##################################
Open Source Release <next-release>
##################################
################################
Open Source Release 18.0 (Argon)
################################
......
18.0
\ No newline at end of file
18.0+dev
\ No newline at end of file
......@@ -9,7 +9,7 @@
Plug-in test aborted: internal error.
Please report as 'crash' at http://bts.frama-c.com/.
Your Frama-C version is 18.0 (Argon).
Your Frama-C version is 18.0+dev (Argon).
Note that a version and a backtrace alone often do not contain enough
information to understand the bug. Guidelines for reporting bugs are at:
http://bts.frama-c.com/dokuwiki/doku.php?id=mantis:frama-c:bug_reporting_guidelines
......@@ -14,7 +14,7 @@
Frama-C aborted: internal error.
Please report as 'crash' at http://bts.frama-c.com/.
Your Frama-C version is 18.0 (Argon).
Your Frama-C version is 18.0+dev (Argon).
Note that a version and a backtrace alone often do not contain enough
information to understand the bug. Guidelines for reporting bugs are at:
http://bts.frama-c.com/dokuwiki/doku.php?id=mantis:frama-c:bug_reporting_guidelines
......@@ -14,7 +14,7 @@ The full backtrace is:
Frama-C aborted: internal error.
Please report as 'crash' at http://bts.frama-c.com/.
Your Frama-C version is 18.0 (Argon).
Your Frama-C version is 18.0+dev (Argon).
Note that a version and a backtrace alone often do not contain enough
information to understand the bug. Guidelines for reporting bugs are at:
http://bts.frama-c.com/dokuwiki/doku.php?id=mantis:frama-c:bug_reporting_guidelines
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment