modus icon indicating copy to clipboard operation
modus copied to clipboard

Published 20 hours ago • verified publisher icon pku-msv-lab

Proof highlighting

Open sudoPom opened this issue 2 years ago • 4 comments

Proofs produced by the modus proof command will now contain literals that are coloured the same way that the user's terminal colours directories, so it is guaranteed to be easily visible to the user. This PR should close #185 .

Before fix:

Screenshot_20220412_165013

After fix:

Screenshot_20220412_165040

sudoPom avatar Apr 12 '22 15:04 sudoPom

Thanks, @sudoPom! @thevirtuoso1973, can you please review it?

mechtaev avatar Apr 12 '22 16:04 mechtaev

As I remember, star dependencies are not allowed if we want to publish our library on crates.io:

https://github.com/modus-continens/modus/blob/5199e3acd8409a1ba3a1b02b53787ce9e5bf5f03/modus-lib/Cargo.toml#L24

mechtaev avatar Apr 12 '22 16:04 mechtaev

Will do!

sudoPom avatar Apr 12 '22 16:04 sudoPom

I like the idea of using directory color.

Also generally use rustfmt and check any notable clippy suggestions.

thevirtuoso1973 avatar Apr 12 '22 16:04 thevirtuoso1973