Bump version number for ongoing development.

codespecs · May 14, 2024 · 81f8a30 · 81f8a30
1 parent 3f27b8b
commit 81f8a30
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/README b/README
@@ -1,5 +1,5 @@
 This is the distribution of Fjalar, a dynamic analysis framework for C/C++ programs
-Fjalar version 5.8.20, released May 14, 2024.
+Fjalar version 5.8.21, released May 14, 2024.
 
 The majority of this source tree is a slightly modified version of Valgrind
 (see file valgrind/REVISION for the upstream version of Valgrind).

diff --git a/valgrind/fjalar/mc_main.c b/valgrind/fjalar/mc_main.c
@@ -8601,7 +8601,7 @@ static void mc_pre_clo_init(void)
    VG_(details_name)            ("kvasir");
    /* This next line is automatically updated by the toplevel Daikon
       distribution Makefile; be careful with its formatting -SMcC */
-   VG_(details_version)         ("5.8.20");
+   VG_(details_version)         ("5.8.21");
    VG_(details_description)     ("C/C++ Language Front-End for Daikon with DynComp comparability analysis tool.");
    VG_(details_copyright_author)(
       "Copyright (C) 2007-2022, University of Washington CSE PLSE Group");