about summary refs log tree commit diff
path: root/src/test/ui/chalkify/lower_env2.rs
AgeCommit message (Collapse)AuthorLines
2023-01-11Move /src/test to /testsAlbert Larsan-16/+0
2023-01-04Update tests, etcMichael Goulet-1/+1
2020-05-07Reintegrate chalk using chalk-solveJack Huey-0/+16
2020-03-02Remove chalk integrationCAD97-16/+0
2018-12-25Remove licensesMark Rousskov-10/+0
2018-11-13Pretty print quantified goals and clausesscalexm-2/+2
2018-10-17Add tests for `program_clauses_for_env`scalexm-0/+26
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-01 07:54:31 +0000