Simon Cruanes

add `CCLocal_storage` to containers-thread

6

Basic local storage emulation using an atomic-protected map. The goal is for this to work both with 4.xx threads, 5.xx domains, and 5.xx threads running on a given domain. cc...

would make it easy to interoperate with other tools, providing json data (and accepting json payloads for things like scheduling tasks). edit: json, protobuf (ocaml-protoc), … to be decided

Probably [vega-lite](https://vega.github.io/vega-lite/) in browser, with some json obtained from the server (we can make a tiny json library for it for the server I think) would be prettier and more...

handle proof checking

1

-[x] add `(proof_produce " --some --additional --args $proof_file")` to prover stanza - [x] add `(proof_checker "checker $problem --whatever $proof")` to prover stanza (or maybe a separate stanza with the `(proof_checker...

https://component.kitchen/elix/AutoCompleteComboBox could be nice. Completion should be doable for provers and results (but not problem, too many of them).

- [ ] ability to specify stdout/stderr - [ ] match errcode instead of output (cf minisat: 10/20) - [ ] priorities to try more specify regex first cc @gbury

http://make.mad-scientist.net/papers/jobserver-implementation/