Commit graph

4 commits

Author SHA1 Message Date
Oli Scherer 8206cffc48 Merge check_mod_impl_wf and check_mod_type_wf 2024-03-07 06:27:09 +00:00
Michael Goulet 4647aea7aa Don't record spans for predicates in coherence 2023-08-30 18:24:18 +00:00
Michael Goulet 2ae4bedd85 more span info 2023-08-15 03:40:19 +00:00
bohan b7921981d5 fix: inline predicate_may_hold_fatal 2023-06-16 11:09:53 +08:00