Releases: LedgerProject/safepkt_backend
Releases · LedgerProject/safepkt_backend
safepkt-backend-v0.2.11
3b6c304
This commit was signed with the committer’s verified signature.
thierrymarianne
Th. Ma.
Revert back the optional use of verification-annotations dep
safepkt-backend-v0.2.10
3a805e2
This commit was signed with the committer’s verified signature.
thierrymarianne
Th. Ma.
Update safepkt_assert to 3e8ad592df9d2138387eab43a6e37793eec66675
safepkt-backend-v0.2.4
62748e8
This commit was signed with the committer’s verified signature.
thierrymarianne
Th. Ma.
Add missing logo
safepkt-backend-v0.2.3
a6d757c
This commit was signed with the committer’s verified signature.
thierrymarianne
Th. Ma.
Add program fuzzing section to table of contents
safepkt-backend-v0.2.2
b8d1a11
This commit was signed with the committer’s verified signature.
thierrymarianne
Th. Ma.
Merge remote-tracking branch 'origin/main' into main
safepkt-backend-v0.2.1
ba8a6c3
This commit was signed with the committer’s verified signature.
thierrymarianne
Th. Ma.
Allow binding of most up-to-date verification script
safepkt-backend-v0.2.0
59f58a0
This commit was signed with the committer’s verified signature.
thierrymarianne
Th. Ma.
Move module name insertion into source as comment from backend to fro…
safepkt-backend-v0.1.0
75a8bf4
This commit was signed with the committer’s verified signature.
thierrymarianne
Th. Ma.
Update documentation