Age | Commit message (Expand) | Author |
---|---|---|
2020-02-28 | crates: update URLs in Cargo.toml | chip |
2020-02-28 | ignore/types: add coq type | Wolf Honore |
2020-02-20 | ignore: another simplification | Andrew Gallant |
2020-02-20 | ignore: simplify parallel worker initialization | Andrew Gallant |
2020-02-20 | ignore: fix parallel traversal | Andrew Gallant |
2020-02-19 | ignore/types: add K type | asymmetric |
2020-02-17 | repo: move all source code in crates directory | Andrew Gallant |