about summary refs log tree commit diff
path: root/src/test/ui/chalkify/lower_env2.rs
AgeCommit message (Expand)AuthorLines
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-02-25 15:37:06 +0000