sanderling/internal/verifier at d253d68b52cd456a0897a47e6bed52436656d6e8 - sanderling - Gitea: Git with a cup of tea

pj/sanderling

0 Fork 0

mirror of https://github.com/priyanshujain/sanderling.git synced 2026-10-03 03:27:10 +00:00

Files

T

History

pj 283bf44920 test(verifier): finalize surfaces unmet eventually with witness

2026-06-01 13:58:45 +05:30

..

refactor: rename project uatu -> sanderling (#24 )

2026-04-21 11:57:49 +07:00

ax_integration_test.go

WIP: folio refactor - KotlinConf-style production-app shape (#47 )

2026-04-27 00:33:57 +07:00

bindings.go

refactor(verifier): replace predicate err side-channel with violation witness

2026-06-01 13:56:11 +05:30

hierarchies_test.go

feat: Maestro driver integration + DeviceDriver architecture (#32 )

2026-04-22 19:02:39 +07:00

marshal.go

refactoring default action layer (#51 )

2026-06-01 12:48:51 +05:30

scope_test.go

refactoring default action layer (#51 )

2026-06-01 12:48:51 +05:30

spec_integration_test.go

refactor: code organization cleanup (#35 )

2026-04-22 20:35:34 +07:00

types.go

refactoring default action layer (#51 )

2026-06-01 12:48:51 +05:30

verifier_test.go

test(verifier): finalize surfaces unmet eventually with witness

2026-06-01 13:58:45 +05:30

worker.go

refactor(verifier): replace predicate err side-channel with violation witness

2026-06-01 13:56:11 +05:30