Repository navigation
proof 0.1.0
Initial release.
Features
- Checks for what clients need from a server's replies to
describe, unknown ops, sessions,evalandstdin, and for every message the server sends (thewire.*checks). - #4: Client profiles, which send what CIDER, Calva, Conjure, vim-fireplace, REPLy and neorepl send while connecting and evaluating code (#6, #8).
- Profiles for nREPL, Babashka, ClojureCLR, Basilisp, jank, dialtone and repartee, which come with proof, and expected failures that can't go stale.
proof matrix, which builds a compatibility matrix out of the JSON reports of several servers.- #1:
proof proxy, which checks what a client sends to a server, with-recordfor starting a client profile (#5). - #2:
proof serve, a server for the tests of clients that can behave like other servers (#3). - #10: Binaries for Linux, macOS and Windows on every release, and a GitHub Action for running proof in the CI of a server.
- #11: Checks for
interrupt, and scenarios for nREPL's interrupt bugs inproof serve. - #12: Checks for
load-file, andload-fileinproof serve. - #13: Checks for completions and lookups, and nREPL's
completionsandlookupinproof serve. - #14: Checks for requests that go wrong: frames that aren't requests, fields of the wrong type and clients that go away in the middle of an eval.