test: create basic property test#264

Draft

Hebilicious wants to merge 41 commits intolas/testsfrom

Commits on Jan 14, 2025

wip tests
L-as
committed

Commits on Jan 15, 2025

Commits on Jan 17, 2025

Commits on Jan 18, 2025

change wording in time_promise
L-as
committed
reformat
L-as
committed
tests
L-as
committed

Commits on Jan 19, 2025

Commits on Jan 20, 2025

Fix bug in folder merge found in audit
L-as
committed

Commits on Jan 22, 2025

wip
L-as
committed

Commits on Jan 25, 2025

Force all configs to be dummy configs
L-as
committed

Commits on Jan 27, 2025

wip
L-as
committed

Commits on Feb 20, 2025

wip
L-as
committed

Commits on Feb 21, 2025

Commits on Feb 26, 2025

Commits on Feb 28, 2025

Fix bug in target ledger handling in rule_zkapp_command
L-as
committed

Commits on Mar 2, 2025

Merge two zkapp command proofs successfully
L-as
committed

Commits on Mar 6, 2025

test: add property tests
Hebilicious
committed

Commits on Mar 19, 2025

Commits on Mar 25, 2025

wip: more tests
Hebilicious
committed