From 0cc7dfa54231b7d7d750045ed4d4c9488d57aa79 Mon Sep 17 00:00:00 2001
From: Jan Ferdinand Sauer <ferdinand@neptune.cash>
Date: Sat, 11 Nov 2023 11:28:18 +0100
Subject: [PATCH] alpha 1 for Triton VM v0.36.0

Changes to Instructions

| old            | new                   |
|:---------------|:----------------------|
| pop            | takes arg 1 <= n <= 5 |
| divine         | takes arg 1 <= n <= 5 |
| read_mem       | takes arg 1 <= n <= 5 |
| write_mem      | takes arg 1 <= n <= 5 |
| hash           | pops 5                |
| divine_sibling | pushes 5              |
| assert_vector  | pops 5                |
| sponge_absorb  | pops 10               |
| sponge_squeeze | pushes 10             |
| xxadd          | pops 3                |
| xxmul          | pops 3                |
| read_io        | takes arg 1 <= n <= 5 |
| write_io       | takes arg 1 <= n <= 5 |
---
 Cargo.toml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Cargo.toml b/Cargo.toml
index 078ccd58e..721954491 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -12,7 +12,7 @@ lto = "thin"
 lto = "thin"
 
 [workspace.package]
-version = "0.35.0"
+version = "0.36.0-alpha.1"
 edition = "2021"
 authors = ["Triton Software AG"]
 license = "Apache-2.0"
@@ -35,7 +35,7 @@ nom = "7.1"
 num-traits = "0.2"
 prettyplease = "0.2"
 proc-macro2 = "1.0"
-proptest = "1.3"
+proptest = "1.4"
 proptest-arbitrary-interop = "0.1"
 quote = "1.0"
 rand = "0.8.5"