refactoring the ics23 spec#975

Open

konnov wants to merge 27 commits intomainfrom igor/ics23-fix

+896-1,429

Commits on Jul 26, 2023

refactor the ICS23 spec

konnov
authored and
thpani
committed
ignore empty leaf keys

konnov
authored and
thpani
committed
lowcase definitions and remove isTree

konnov
authored and
thpani
committed
clean up the specs

konnov
authored and
thpani
committed
fix the test

konnov
authored and
thpani
committed
symbolic hashing

konnov
authored and
thpani
committed
fix the comments

konnov
authored and
thpani
committed
rename words to hashes

konnov
authored and
thpani
committed
refactoring the spec

konnov
authored and
thpani
committed
refactored hashes, ics23, and ics23 tests

konnov
authored and
thpani
committed
uncomment one test

konnov
authored and
thpani
committed
fix all the tests in ics23test

konnov
authored and
thpani
committed
clean unneeded files and update the readme

konnov
authored and
thpani
committed
Apply suggestions from code review

konnov
and
thpani
committed
apply comments and fix the spec

konnov
authored and
thpani
committed
fix lessThan

konnov
authored and
thpani
committed
fix the type error in termConcat

konnov
authored and
thpani
committed
fixing tests

konnov
authored and
thpani
committed
fix all but one test

konnov
authored and
thpani
committed

Commits on Sep 4, 2023

Merge branch 'main' into igor/ics23-fix
konnov
authored

Commits on Sep 10, 2024

Commits on Dec 11, 2024

Merge remote-tracking branch 'origin/main' into igor/ics23-fix
bugarela
committed

Commits on Dec 20, 2024