Age | Commit message (Expand) | Author |
---|---|---|
2021-12-15 | idb-bridge: faster indices, various correctness fixes and tests | Florian Dold |
2021-04-27 | fix spelling issues | Christian Grothoff |
2021-02-08 | idb-bridge: remove cyclic dependencies, rip out api extractor | Florian Dold |
2020-09-08 | use cheaper denom structure for auto-refresh test | Florian Dold |
2020-08-03 | modularize repo, use pnpm, improve typechecking | Florian Dold |
2019-11-19 | idb-bridge: fix typo in rollback | Florian Dold |
2019-06-25 | idb: extend test case | Florian Dold |
2019-06-15 | idb wip | Florian Dold |