From 5b7d09b37f072b5a6bfb0842c03b98bb35c084ba Mon Sep 17 00:00:00 2001 From: imandraci Date: Wed, 17 Jan 2024 22:26:00 +0000 Subject: [PATCH] Docs update from c969c7df7c2b15a02ace7c0270b10fbe1d96e33b --- index.html | 2523 +-- .../a-comparison-with-tla-plus/index.html | 2871 +-- .../concurrent-conflict-detection/index.html | 4300 ++-- notebooks/countdown/index.html | 6414 +++--- notebooks/crossing-river-safely/index.html | 2757 +-- notebooks/decomposition-intro/index.html | 2579 +-- notebooks/decomposition/index.html | 2521 +-- notebooks/examples/index.html | 2521 +-- notebooks/exchange-implied-trading/index.html | 13415 ++++++------- .../index.html | 2521 +-- notebooks/idf/index.html | 2503 +-- notebooks/imandra-diaries-0/index.html | 6388 +++--- notebooks/imandra-discover/index.html | 3564 ++-- notebooks/imandra-tools-intro/index.html | 2585 +-- notebooks/imandravs/index.html | 2521 +-- notebooks/installation-docker/index.html | 2521 +-- notebooks/installation-jupyter/index.html | 2521 +-- notebooks/installation-manual-opam/index.html | 2521 +-- .../installation-server-image/index.html | 2521 +-- notebooks/installation-simple/index.html | 2521 +-- notebooks/installation-vscode/index.html | 2521 +-- notebooks/installation/index.html | 2521 +-- notebooks/introduction/index.html | 2523 +-- notebooks/key-pair-security/index.html | 2537 +-- notebooks/loading-files/index.html | 2521 +-- notebooks/logic-and-program-modes/index.html | 2529 +-- notebooks/plugins/index.html | 2521 +-- .../index.html | 2709 +-- .../index.html | 2799 +-- .../proving-program-termination/index.html | 3099 +-- notebooks/python-api/index.html | 2521 +-- .../index.html | 3516 ++-- notebooks/reasonml-tic-tac-toe/index.html | 3648 ++-- .../index.html | 7238 +++---- notebooks/reference/index.html | 2521 +-- .../region-probabilities-example/index.html | 2547 +-- notebooks/region-probabilities/index.html | 2547 +-- notebooks/ripple-carry-adder/index.html | 3151 +-- notebooks/school-scheduler/index.html | 2521 +-- notebooks/simple-stoplight-model/index.html | 4366 ++-- .../simple-vehicle-controller/index.html | 2815 +-- notebooks/singasong/index.html | 2807 +-- .../six-swiss-exchange-pricing/index.html | 2866 +-- notebooks/solver-synthesis/index.html | 2505 +-- notebooks/sudoku/index.html | 3112 +-- notebooks/supervised-learning/index.html | 16475 ++++++++-------- notebooks/ubs-case-study/index.html | 2934 +-- notebooks/verification-attributes/index.html | 2653 +-- notebooks/verification-blast/index.html | 2523 +-- notebooks/verification-commands/index.html | 2601 +-- notebooks/verification-induction/index.html | 3000 +-- .../verification-simplification/index.html | 3065 +-- notebooks/verification-unrolling/index.html | 3143 +-- notebooks/verification-waterfall/index.html | 2547 +-- notebooks/verification/index.html | 2521 +-- notebooks/verifying-an-ros-node/index.html | 3076 +-- notebooks/verifying-merge-sort/index.html | 5164 ++--- notebooks/webservice-auth-logic/index.html | 2572 +-- notebooks/welcome/index.html | 4277 ++-- .../wip-recursion-induction-intro/index.html | 4367 ++-- 60 files changed, 105318 insertions(+), 103149 deletions(-) diff --git a/index.html b/index.html index bb5ab3ab..92ce2e81 100644 --- a/index.html +++ b/index.html @@ -904,7 +904,7 @@ -
+
- -
- -
+
+ -
- - Site image - +
- @@ -3330,12 +3357,12 @@
User Area
let menuArrowOffsetX; let cardCloseSwitch = false; - const siteMenuSettings = [ + const siteMenuSettings = [ { type:"products", pageNavMenuOffset: 0, pageNavMenuWidth: 672, - pageNavMenuHeight: 352, + pageNavMenuHeight: 390, cardOffset: 0, }, { @@ -3349,14 +3376,14 @@
User Area
type:"docs", pageNavMenuOffset: 0, pageNavMenuWidth: 672, - pageNavMenuHeight: 288, + pageNavMenuHeight: 230, cardOffset: 0, }, { type:"company", pageNavMenuOffset: 0, pageNavMenuWidth: 672, - pageNavMenuHeight: 266, + pageNavMenuHeight: 216, cardOffset: 0, }, ]; @@ -3711,7 +3738,7 @@

User interfacesPython APIs

Check out the installation instructions.

How to get started

The best way to get started is by going through the tutorials and the demonstrations. A basic knowledge of OCaml is preferred - luckily there are quite a few tutorials online that teach OCaml and the offical website offers great tutorials. There's also the excellent "Real World OCaml" available online for free.

@@ -3724,7 +3751,7 @@

How to get started - Ⓒ 2018 - 2023 Imandra Inc. All rights reserved. + Ⓒ 2018 - 2024 Imandra Inc. All rights reserved. diff --git a/notebooks/a-comparison-with-tla-plus/index.html b/notebooks/a-comparison-with-tla-plus/index.html index cef05e18..d6c43eb5 100644 --- a/notebooks/a-comparison-with-tla-plus/index.html +++ b/notebooks/a-comparison-with-tla-plus/index.html @@ -938,7 +938,7 @@ -
+
- -
- -
+
+ -
- - Site image - +
- @@ -3364,12 +3391,12 @@
User Area
let menuArrowOffsetX; let cardCloseSwitch = false; - const siteMenuSettings = [ + const siteMenuSettings = [ { type:"products", pageNavMenuOffset: 0, pageNavMenuWidth: 672, - pageNavMenuHeight: 352, + pageNavMenuHeight: 390, cardOffset: 0, }, { @@ -3383,14 +3410,14 @@
User Area
type:"docs", pageNavMenuOffset: 0, pageNavMenuWidth: 672, - pageNavMenuHeight: 288, + pageNavMenuHeight: 230, cardOffset: 0, }, { type:"company", pageNavMenuOffset: 0, pageNavMenuWidth: 672, - pageNavMenuHeight: 266, + pageNavMenuHeight: 216, cardOffset: 0, }, ]; @@ -3832,12 +3859,12 @@

Step One

-
Proved
proof
ground_instances:0
definitions:0
inductions:0
search_time:
0.018s
details:
Expand
smt_stats:
rlimit count:232
num allocs:5935323
time:0.008000
memory:15.960000
max memory:15.960000
Expand
  • start[0.018s]
+
Expand