Releases: LedgerProject/safepkt
Releases · LedgerProject/safepkt
safepkt-v1.1.0
d8c5271
This commit was signed with the committer’s verified signature.
thierrymarianne
Th. Ma.
Bump SafePKT frontend version to v1.2.0
safepkt-v1.0.0
6ec65ed
This commit was signed with the committer’s verified signature.
thierrymarianne
Th. Ma.
Fix typos
safepkt-v0.2.30
f98c106
This commit was signed with the committer’s verified signature.
thierrymarianne
Th. Ma.
Bump SafePKT backend version to v0.2.15
safepkt-v0.2.29
e26f60d
This commit was signed with the committer’s verified signature.
thierrymarianne
Th. Ma.
Switch to erc20-based Smart Contract project example for verification
safepkt-v0.2.28
97523d1
This commit was signed with the committer’s verified signature.
thierrymarianne
Th. Ma.
Add paragraph about conclusive result validating base hypothesis ...regarding the usefulness of running pre-existing tests by leveraging symbolic execution means offered by klee in the context of smart contract quality assurance testing
safepkt-v0.2.27
60fd4a9
This commit was signed with the committer’s verified signature.
thierrymarianne
Th. Ma.
Add SafePKT CLI as git submodule
safepkt-v0.2.26
09ee178
This commit was signed with the committer’s verified signature.
thierrymarianne
Th. Ma.
Add missing comma
safepkt-v0.2.25
2137e32
This commit was signed with the committer’s verified signature.
thierrymarianne
Th. Ma.
Bump SafePKT frontend version to v0.2.7
safepkt-v0.2.24
cdabe54
This commit was signed with the committer’s verified signature.
thierrymarianne
Th. Ma.
Add notes about how to install the backend with nginx as a proxy
safepkt-v0.2.23
522f620
This commit was signed with the committer’s verified signature.
thierrymarianne
Th. Ma.
Revise documentation to reflect the latest HTTP routes added to the b… …ackend API