From e990233a1bbb257883fcfb3dde6ce2c8de34e4d1 Mon Sep 17 00:00:00 2001 From: KappaBot Date: Mon, 8 Apr 2024 12:17:49 +0000 Subject: [PATCH] Sync website for native with Kappa-Dev/KaSim@ --- docs/KaSim-manual-/KaSim_manual.htm | 26 +++++++++++++------------- 1 file changed, 13 insertions(+), 13 deletions(-) diff --git a/docs/KaSim-manual-/KaSim_manual.htm b/docs/KaSim-manual-/KaSim_manual.htm index 9ecf1daa7..40f7ca65f 100644 --- a/docs/KaSim-manual-/KaSim_manual.htm +++ b/docs/KaSim-manual-/KaSim_manual.htm @@ -1,7 +1,7 @@ Kappa tools reference manual -(release df48d4f) +(release e9e29aa) @@ -19,7 +19,7 @@

Kappa tools reference manual
-(release df48d4f)

+(release e9e29aa)
Pierre Boutillier, Jé6.3 -Kappa Static Analyzer (df48d4f) (without Tk interface) -Analysis launched at 2024/04/04 14:02:06 (GMT+0) on -fv-az1208-621 +Kappa Static Analyzer (e9e29aa) (without Tk interface) +Analysis launched at 2024/04/08 12:15:20 (GMT+0) on +fv-az1380-61 Parsing ../kappa/reachability.ka... done Compiling... @@ -8362,9 +8362,9 @@

6.3 -Kappa Static Analyzer (df48d4f) (without Tk interface) -Analysis launched at 2024/04/04 14:02:06 (GMT+0) on -fv-az1208-621 +Kappa Static Analyzer (e9e29aa) (without Tk interface) +Analysis launched at 2024/04/08 12:15:20 (GMT+0) on +fv-az1380-61 Parsing ../kappa/reachability.ka... done Compiling... @@ -11550,9 +11550,9 @@

6.6 -Kappa Static Analyzer (df48d4f) (without Tk interface) -Analysis launched at 2024/04/04 14:02:06 (GMT+0) on -fv-az1208-621 +Kappa Static Analyzer (e9e29aa) (without Tk interface) +Analysis launched at 2024/04/08 12:15:20 (GMT+0) on +fv-az1380-61 Parsing ../kappa/influence.ka... done Compiling... @@ -12987,7 +12987,7 @@
-seed 47277440062873510 
 : "20551556""947332461"