wip: podspec2 - #31

Draft

robknight wants to merge 20 commits into

mainfrom

Commits on Jan 27, 2025

WIP
robknight
committed
cd02b5a

Commits on Jan 28, 2025

Rename constraints -> statements
robknight
committed
c1dfb86
Try out validation
robknight
committed
f87c964

Commits on Jan 29, 2025

Start building out validator
robknight
committed
bde0221
Try out Typia
robknight
committed
baac297
Clean up unused files
robknight
committed
6975f41

Commits on Jan 31, 2025

Assorted WIP
robknight
committed
c1e8332

Commits on Feb 1, 2025

Commits on Feb 2, 2025

Add validation to membership list tuples
robknight
committed
be2c857
Formatting fix
robknight
committed
84d2d64
Basic property-based tests
robknight
committed
64af846

Commits on Feb 3, 2025

more wip
robknight
committed
9923e16

Commits on Feb 4, 2025

Basically working validation and querying
robknight
committed
6d29fbc

Commits on Feb 5, 2025

Basic narrative-form end-to-end test
robknight
committed
be4df5a

Commits on Feb 6, 2025

Separate out un-typed implementation of builders, with property-based tests
robknight
committed
989c386
More complete end-to-end test
robknight
committed
7a70949
Allow adding multiple entries at once
robknight
committed
926d8fb