From 31c3c965c7b472004ff27b5cafda4bb695622052 Mon Sep 17 00:00:00 2001
From: Rodrigo Arias <rodrigo.arias@bsc.es>
Date: Wed, 13 Mar 2024 18:27:10 +0100
Subject: [PATCH] Increase Nanos6 model minor version

As Nanos6 now emits pause events for the parent task before nesting
another one, we increase the minor so the old emulator rejects new
traces that come with the new pause events.
---
 CHANGELOG.md                   | 1 +
 doc/user/emulation/events.md   | 2 +-
 doc/user/emulation/versions.md | 3 +++
 src/emu/nanos6/setup.c         | 2 +-
 4 files changed, 6 insertions(+), 2 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 71bd03c..a6ae489 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -20,6 +20,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 - The task model now requires the previous task body to be paused before nesting
   another one. A compatibility flag is still available to still allow the old
   behavior.
+- Nanos6 model version increased to 1.1.0.
 
 ## [1.7.0] - 2024-03-12
 
diff --git a/doc/user/emulation/events.md b/doc/user/emulation/events.md
index c8c2aa5..d08fea4 100644
--- a/doc/user/emulation/events.md
+++ b/doc/user/emulation/events.md
@@ -5,7 +5,7 @@ Built on Mar 13 2024.
 
 ## Model nanos6
 
-List of events for the model *nanos6* with identifier **`6`** at version `1.0.0`:
+List of events for the model *nanos6* with identifier **`6`** at version `1.1.0`:
 <dl>
 <dt><a id="6Yc" href="#6Yc"><pre>6Yc+(u32 typeid, str label)</pre></a></dt>
 <dd>creates task type %{typeid} with label &quot;%{label}&quot;</dd>
diff --git a/doc/user/emulation/versions.md b/doc/user/emulation/versions.md
index 4dffa57..a9b7d7c 100644
--- a/doc/user/emulation/versions.md
+++ b/doc/user/emulation/versions.md
@@ -8,6 +8,9 @@ Track changes in emulator model versions.
 
 ## Nanos6
 
+- nanos6 1.1.0:
+    - Deprecate running nested tasks (`6Tx`) without pausing the parent task
+      first (`6Tp`). For compatibility, the old behavior is still supported.
 - nanos6 1.0.0: Initial version
 
 ## Nodes
diff --git a/src/emu/nanos6/setup.c b/src/emu/nanos6/setup.c
index b524bd3..69d4558 100644
--- a/src/emu/nanos6/setup.c
+++ b/src/emu/nanos6/setup.c
@@ -80,7 +80,7 @@ static struct ev_decl model_evlist[] = {
 
 struct model_spec model_nanos6 = {
 	.name    = model_name,
-	.version = "1.0.0",
+	.version = "1.1.0",
 	.evlist  = model_evlist,
 	.model   = model_id,
 	.create  = model_nanos6_create,