pj/sanderling

0 Fork 0

mirror of https://github.com/priyanshujain/sanderling.git synced 2026-10-02 19:17:10 +00:00

T

pj 88295fc02e feat(ltl): negation normal form pass

nnf/pushNot rewrite a formula so every Not wraps only a Thunk or Error
leaf, dualizing Always<->Eventually and preserving bounds.

2026-06-01 13:49:32 +05:30

.github/workflows

Remove in-app SDK (#43 )

2026-04-25 20:04:29 +07:00

cmd

refactoring default action layer (#51 )

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

docs

refactoring default action layer (#51 )

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

examples

refactoring default action layer (#51 )

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

gradle/wrapper

chore(gradle): add Gradle wrapper 9.4.1

2026-04-17 22:37:51 +07:00

inspect-ui

refactoring default action layer (#51 )

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

internal

feat(ltl): negation normal form pass

2026-06-01 13:49:32 +05:30

pkg/spec

refactoring default action layer (#51 )

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

proto/driverpb

refactoring default action layer (#51 )

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

sidecar

refactoring default action layer (#51 )

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

.env.local.example

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

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

.gitignore

fix: WDA startup flakiness - warmup + connection drop message (#40 )

2026-04-25 17:39:39 +07:00

.goreleaser.yaml

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

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

buf.gen.yaml

chore(proto): add buf config for codegen and lint

2026-04-17 22:26:23 +07:00

buf.yaml

chore(proto): add buf config for codegen and lint

2026-04-17 22:26:23 +07:00

build.gradle.kts

chore(gradle): add root settings for uatu multi-project build

2026-04-17 22:37:53 +07:00

CLAUDE.md

docs: pandoc-based site and v0.1.0 groundwork (#5 )

2026-04-18 14:00:57 +07:00

go.mod

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

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

go.sum

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

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

gradle.properties

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

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

gradlew

chore(gradle): add Gradle wrapper 9.4.1

2026-04-17 22:37:51 +07:00

gradlew.bat

chore(gradle): add Gradle wrapper 9.4.1

2026-04-17 22:37:51 +07:00

install.sh

docs+install: post-rename docs polish, install script, d2 architecture diagram (#26 )

2026-04-21 15:05:00 +07:00

Makefile

refactoring default action layer (#51 )

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

README.md

WIP: docs: refresh after iOS + web support (#50 )

2026-05-25 16:17:21 +05:30

settings.gradle.kts

Remove in-app SDK (#43 )

2026-04-25 20:04:29 +07:00

README.md

sanderling

Autonomous property-based testing for mobile and web apps. Specs in TypeScript. Core in Go.

Alpha. Android, iOS, and web (Chrome). Full scope in the v0.1.0 roadmap.

Docs

Getting started
Writing specs
sanderling inspect UI
Examples: folio (KMP, Android/iOS/web), folio-web (React + Vite)
Architecture

After a sanderling test run, browse traces locally with sanderling inspect. It opens a web UI for stepping through actions, screenshots, snapshots, residual formulas, and exceptions.

sanderling, a wading bird that probes the shoreline for bugs that lie beneath.