Commit 8d10fc0d authored by Georgio Nicolas's avatar Georgio Nicolas
Browse files

Release Noise Explorer v1.0.1

parent 499479c6
## Noise Explorer v1.0.1
- Rust:
- _fix(rust): Removed the ability to clone traits (#37)_.
- WebAssembly:
- _fix(wasm): Removed the ability to clone traits (#37)_.
## Noise Explorer v1.0.0
- Miscelaneous:
- _Added initial automation scripts._
......
# [Noise Explorer](https://noiseexplorer.com)
## Version 0.3, based on Noise Protocol Revision 34.
## Version 1.0.1, based on Noise Protocol Revision 34.
### Overview
The Noise Explorer command-line tool can parse Noise Handshake Patterns according to the original specification. It can generate cryptographic models for formal verification, including security queries, top-level processes and malicious principals, for testing against an active or passive attacker. Noise Explorer can also generate fully functional discrete implementations for any Noise Handshake Pattern, written in the [Go](https://golang.org) and [Rust](https://www.rust-lang.org) programming languages, as well as [WebAssembly](https://webassembly.org) binaries.
......
[package]
name = "noiseexplorer"
version = "1.0.0"
version = "1.0.1"
authors = ["Symbolic Software <georgio@symbolic.software>"]
edition = "2018"
[dependencies]
noiseexplorer_i1k = {version = "1.0.0", path = "./I1K"}
noiseexplorer_i1k1 = {version = "1.0.0", path = "./I1K1"}
noiseexplorer_i1n = {version = "1.0.0", path = "./I1N"}
noiseexplorer_i1x = {version = "1.0.0", path = "./I1X"}
noiseexplorer_i1x1 = {version = "1.0.0", path = "./I1X1"}
noiseexplorer_ik = {version = "1.0.0", path = "./IK"}
noiseexplorer_ik1 = {version = "1.0.0", path = "./IK1"}
noiseexplorer_ikpsk1 = {version = "1.0.0", path = "./IKpsk1"}
noiseexplorer_ikpsk2 = {version = "1.0.0", path = "./IKpsk2"}
noiseexplorer_in = {version = "1.0.0", path = "./IN"}
noiseexplorer_inpsk1 = {version = "1.0.0", path = "./INpsk1"}
noiseexplorer_inpsk2 = {version = "1.0.0", path = "./INpsk2"}
noiseexplorer_ix = {version = "1.0.0", path = "./IX"}
noiseexplorer_ix1 = {version = "1.0.0", path = "./IX1"}
noiseexplorer_ixpsk2 = {version = "1.0.0", path = "./IXpsk2"}
noiseexplorer_k = {version = "1.0.0", path = "./K"}
noiseexplorer_k1k = {version = "1.0.0", path = "./K1K"}
noiseexplorer_k1k1 = {version = "1.0.0", path = "./K1K1"}
noiseexplorer_k1n = {version = "1.0.0", path = "./K1N"}
noiseexplorer_k1x = {version = "1.0.0", path = "./K1X"}
noiseexplorer_k1x1 = {version = "1.0.0", path = "./K1X1"}
noiseexplorer_kk = {version = "1.0.0", path = "./KK"}
noiseexplorer_kk1 = {version = "1.0.0", path = "./KK1"}
noiseexplorer_kkpsk0 = {version = "1.0.0", path = "./KKpsk0"}
noiseexplorer_kkpsk2 = {version = "1.0.0", path = "./KKpsk2"}
noiseexplorer_kn = {version = "1.0.0", path = "./KN"}
noiseexplorer_knpsk0 = {version = "1.0.0", path = "./KNpsk0"}
noiseexplorer_knpsk2 = {version = "1.0.0", path = "./KNpsk2"}
noiseexplorer_kpsk0 = {version = "1.0.0", path = "./Kpsk0"}
noiseexplorer_kx1 = {version = "1.0.0", path = "./KX1"}
noiseexplorer_kxpsk2 = {version = "1.0.0", path = "./KXpsk2"}
noiseexplorer_kx = {version = "1.0.0", path = "./KX"}
noiseexplorer_n = {version = "1.0.0", path = "./N"}
noiseexplorer_npsk0 = {version = "1.0.0", path = "./Npsk0"}
noiseexplorer_nxpsk2 = {version = "1.0.0", path = "./NXpsk2"}
noiseexplorer_nk1 = {version = "1.0.0", path = "./NK1"}
noiseexplorer_nk = {version = "1.0.0", path = "./NK"}
noiseexplorer_nkpsk0 = {version = "1.0.0", path = "./NKpsk0"}
noiseexplorer_nn = {version = "1.0.0", path = "./NN"}
noiseexplorer_nnpsk0 = {version = "1.0.0", path = "./NNpsk0"}
noiseexplorer_nkpsk2 = {version = "1.0.0", path = "./NKpsk2"}
noiseexplorer_nnpsk2 = {version = "1.0.0", path = "./NNpsk2"}
noiseexplorer_nx = {version = "1.0.0", path = "./NX"}
noiseexplorer_nx1 = {version = "1.0.0", path = "./NX1"}
noiseexplorer_x = {version = "1.0.0", path = "./X"}
noiseexplorer_xk = {version = "1.0.0", path = "./XK"}
noiseexplorer_xkpsk3 = {version = "1.0.0", path = "./XKpsk3"}
noiseexplorer_xk1 = {version = "1.0.0", path = "./XK1"}
noiseexplorer_xpsk1 = {version = "1.0.0", path = "./Xpsk1"}
noiseexplorer_xn = {version = "1.0.0", path = "./XN"}
noiseexplorer_xnpsk3 = {version = "1.0.0", path = "./XNpsk3"}
noiseexplorer_xx = {version = "1.0.0", path = "./XX"}
noiseexplorer_xxpsk3 = {version = "1.0.0", path = "./XXpsk3"}
noiseexplorer_xx1 = {version = "1.0.0", path = "./XX1"}
noiseexplorer_x1x1 = {version = "1.0.0", path = "./X1X1"}
noiseexplorer_x1n = {version = "1.0.0", path = "./X1N"}
noiseexplorer_x1k = {version = "1.0.0", path = "./X1K"}
noiseexplorer_x1k1 = {version = "1.0.0", path = "./X1K1"}
noiseexplorer_x1x = {version = "1.0.0", path = "./X1X"}
noiseexplorer_i1k = {version = "1.0.1", path = "./I1K"}
noiseexplorer_i1k1 = {version = "1.0.1", path = "./I1K1"}
noiseexplorer_i1n = {version = "1.0.1", path = "./I1N"}
noiseexplorer_i1x = {version = "1.0.1", path = "./I1X"}
noiseexplorer_i1x1 = {version = "1.0.1", path = "./I1X1"}
noiseexplorer_ik = {version = "1.0.1", path = "./IK"}
noiseexplorer_ik1 = {version = "1.0.1", path = "./IK1"}
noiseexplorer_ikpsk1 = {version = "1.0.1", path = "./IKpsk1"}
noiseexplorer_ikpsk2 = {version = "1.0.1", path = "./IKpsk2"}
noiseexplorer_in = {version = "1.0.1", path = "./IN"}
noiseexplorer_inpsk1 = {version = "1.0.1", path = "./INpsk1"}
noiseexplorer_inpsk2 = {version = "1.0.1", path = "./INpsk2"}
noiseexplorer_ix = {version = "1.0.1", path = "./IX"}
noiseexplorer_ix1 = {version = "1.0.1", path = "./IX1"}
noiseexplorer_ixpsk2 = {version = "1.0.1", path = "./IXpsk2"}
noiseexplorer_k = {version = "1.0.1", path = "./K"}
noiseexplorer_k1k = {version = "1.0.1", path = "./K1K"}
noiseexplorer_k1k1 = {version = "1.0.1", path = "./K1K1"}
noiseexplorer_k1n = {version = "1.0.1", path = "./K1N"}
noiseexplorer_k1x = {version = "1.0.1", path = "./K1X"}
noiseexplorer_k1x1 = {version = "1.0.1", path = "./K1X1"}
noiseexplorer_kk = {version = "1.0.1", path = "./KK"}
noiseexplorer_kk1 = {version = "1.0.1", path = "./KK1"}
noiseexplorer_kkpsk0 = {version = "1.0.1", path = "./KKpsk0"}
noiseexplorer_kkpsk2 = {version = "1.0.1", path = "./KKpsk2"}
noiseexplorer_kn = {version = "1.0.1", path = "./KN"}
noiseexplorer_knpsk0 = {version = "1.0.1", path = "./KNpsk0"}
noiseexplorer_knpsk2 = {version = "1.0.1", path = "./KNpsk2"}
noiseexplorer_kpsk0 = {version = "1.0.1", path = "./Kpsk0"}
noiseexplorer_kx1 = {version = "1.0.1", path = "./KX1"}
noiseexplorer_kxpsk2 = {version = "1.0.1", path = "./KXpsk2"}
noiseexplorer_kx = {version = "1.0.1", path = "./KX"}
noiseexplorer_n = {version = "1.0.1", path = "./N"}
noiseexplorer_npsk0 = {version = "1.0.1", path = "./Npsk0"}
noiseexplorer_nxpsk2 = {version = "1.0.1", path = "./NXpsk2"}
noiseexplorer_nk1 = {version = "1.0.1", path = "./NK1"}
noiseexplorer_nk = {version = "1.0.1", path = "./NK"}
noiseexplorer_nkpsk0 = {version = "1.0.1", path = "./NKpsk0"}
noiseexplorer_nn = {version = "1.0.1", path = "./NN"}
noiseexplorer_nnpsk0 = {version = "1.0.1", path = "./NNpsk0"}
noiseexplorer_nkpsk2 = {version = "1.0.1", path = "./NKpsk2"}
noiseexplorer_nnpsk2 = {version = "1.0.1", path = "./NNpsk2"}
noiseexplorer_nx = {version = "1.0.1", path = "./NX"}
noiseexplorer_nx1 = {version = "1.0.1", path = "./NX1"}
noiseexplorer_x = {version = "1.0.1", path = "./X"}
noiseexplorer_xk = {version = "1.0.1", path = "./XK"}
noiseexplorer_xkpsk3 = {version = "1.0.1", path = "./XKpsk3"}
noiseexplorer_xk1 = {version = "1.0.1", path = "./XK1"}
noiseexplorer_xpsk1 = {version = "1.0.1", path = "./Xpsk1"}
noiseexplorer_xn = {version = "1.0.1", path = "./XN"}
noiseexplorer_xnpsk3 = {version = "1.0.1", path = "./XNpsk3"}
noiseexplorer_xx = {version = "1.0.1", path = "./XX"}
noiseexplorer_xxpsk3 = {version = "1.0.1", path = "./XXpsk3"}
noiseexplorer_xx1 = {version = "1.0.1", path = "./XX1"}
noiseexplorer_x1x1 = {version = "1.0.1", path = "./X1X1"}
noiseexplorer_x1n = {version = "1.0.1", path = "./X1N"}
noiseexplorer_x1k = {version = "1.0.1", path = "./X1K"}
noiseexplorer_x1k1 = {version = "1.0.1", path = "./X1K1"}
noiseexplorer_x1x = {version = "1.0.1", path = "./X1X"}
hex = "0.3.2"
\ No newline at end of file
[package]
name = "noiseexplorer_i1k"
version = "1.0.0"
version = "1.0.1"
authors = ["Symbolic Software <georgio@symbolic.software>"]
edition = "2018"
......
[package]
name = "noiseexplorer_i1k1"
version = "1.0.0"
version = "1.0.1"
authors = ["Symbolic Software <georgio@symbolic.software>"]
edition = "2018"
......
[package]
name = "noiseexplorer_i1n"
version = "1.0.0"
version = "1.0.1"
authors = ["Symbolic Software <georgio@symbolic.software>"]
edition = "2018"
......
[package]
name = "noiseexplorer_i1x"
version = "1.0.0"
version = "1.0.1"
authors = ["Symbolic Software <georgio@symbolic.software>"]
edition = "2018"
......
[package]
name = "noiseexplorer_i1x1"
version = "1.0.0"
version = "1.0.1"
authors = ["Symbolic Software <georgio@symbolic.software>"]
edition = "2018"
......
[package]
name = "noiseexplorer_ik"
version = "1.0.0"
version = "1.0.1"
authors = ["Symbolic Software <georgio@symbolic.software>"]
edition = "2018"
......
[package]
name = "noiseexplorer_ik1"
version = "1.0.0"
version = "1.0.1"
authors = ["Symbolic Software <georgio@symbolic.software>"]
edition = "2018"
......
[package]
name = "noiseexplorer_ikpsk1"
version = "1.0.0"
version = "1.0.1"
authors = ["Symbolic Software <georgio@symbolic.software>"]
edition = "2018"
......
[package]
name = "noiseexplorer_ikpsk2"
version = "1.0.0"
version = "1.0.1"
authors = ["Symbolic Software <georgio@symbolic.software>"]
edition = "2018"
......
[package]
name = "noiseexplorer_in"
version = "1.0.0"
version = "1.0.1"
authors = ["Symbolic Software <georgio@symbolic.software>"]
edition = "2018"
......
[package]
name = "noiseexplorer_inpsk1"
version = "1.0.0"
version = "1.0.1"
authors = ["Symbolic Software <georgio@symbolic.software>"]
edition = "2018"
......
[package]
name = "noiseexplorer_inpsk2"
version = "1.0.0"
version = "1.0.1"
authors = ["Symbolic Software <georgio@symbolic.software>"]
edition = "2018"
......
[package]
name = "noiseexplorer_ix"
version = "1.0.0"
version = "1.0.1"
authors = ["Symbolic Software <georgio@symbolic.software>"]
edition = "2018"
......
[package]
name = "noiseexplorer_ix1"
version = "1.0.0"
version = "1.0.1"
authors = ["Symbolic Software <georgio@symbolic.software>"]
edition = "2018"
......
[package]
name = "noiseexplorer_ixpsk2"
version = "1.0.0"
version = "1.0.1"
authors = ["Symbolic Software <georgio@symbolic.software>"]
edition = "2018"
......
[package]
name = "noiseexplorer_k"
version = "1.0.0"
version = "1.0.1"
authors = ["Symbolic Software <georgio@symbolic.software>"]
edition = "2018"
......
[package]
name = "noiseexplorer_k1k"
version = "1.0.0"
version = "1.0.1"
authors = ["Symbolic Software <georgio@symbolic.software>"]
edition = "2018"
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment