Releases: LedgerProject/safepkt_backend
Releases · LedgerProject/safepkt_backend
safepkt-backend-v1.0.0
0304ac1
This commit was signed with the committer’s verified signature.
thierrymarianne
Th. Ma.
Bump SafePKT backend version to v1.0.0
safepkt-backend-v0.2.15
045c191
This commit was signed with the committer’s verified signature.
thierrymarianne
Th. Ma.
Add erc20-based Smart Contract project example failing klee-based ver…
safepkt-backend-v0.2.14
ed83a0e
This commit was signed with the committer’s verified signature.
thierrymarianne
Th. Ma.
Revise installation script substitution of env var representing path to uploaded sources listing script was broken and needed to be fixed
safepkt-backend-v0.2.13
523f1ea
This commit was signed with the committer’s verified signature.
thierrymarianne
Th. Ma.
Move raw err section
safepkt-backend-v0.2.9
732c0ae
This commit was signed with the committer’s verified signature.
thierrymarianne
Th. Ma.
Remove targets referring to rust verification tools
safepkt-backend-v0.2.8
39b4f88
This commit was signed with the committer’s verified signature.
thierrymarianne
Th. Ma.
Bump SafePKT backend version to v0.2.8
safepkt-backend-v0.2.7
b6324ef
This commit was signed with the committer’s verified signature.
thierrymarianne
Th. Ma.
Bump SafePKT backend version to v0.2.7
safepkt-backend-v0.2.6
1d163ab
This commit was signed with the committer’s verified signature.
thierrymarianne
Th. Ma.
Bump SafePKT backend version to v0.2.6
safepkt-backend-v0.2.5
b5bf886
This commit was signed with the committer’s verified signature.
thierrymarianne
Th. Ma.
Revise how running container is stopped
safepkt-backend-v0.2.12
ddfd5c2
This commit was signed with the committer’s verified signature.
thierrymarianne
Th. Ma.
Bump SafePKT backend version to v0.2.12