Patrick Lühne d77c7648b3

Ensure that statements are proven in right order

2020-05-19 12:56:21 +02:00

..

commands

Only warn if private predicates are used in specification

2020-05-19 12:18:11 +02:00

input

Add to-do note

2020-05-12 06:10:52 +02:00

output

Add to-do notes

2020-05-19 12:49:57 +02:00

problem

Ensure that statements are proven in right order

2020-05-19 12:56:21 +02:00

translate

Ignore built-in predicates in completion

2020-05-19 12:54:51 +02:00

utils

Check that only input/output predicates are used in specification

2020-05-18 02:17:30 +02:00

commands.rs

Implement proof mechanism

2020-05-06 00:13:43 +02:00

error.rs

Improve warning when using private predicates in specification

2020-05-19 12:47:24 +02:00

input.rs

Work in progress

2020-05-05 19:40:57 +02:00

lib.rs

Support hiding auxiliary predicates

2020-05-13 08:02:04 +02:00

main.rs

Move ProofDirection type to separate module

2020-05-11 03:46:11 +02:00

output.rs

Color output

2020-05-12 04:51:51 +02:00

problem.rs

Ensure that statements are proven in right order

2020-05-19 12:56:21 +02:00

traits.rs

Use foliage traits

2020-04-17 04:10:23 +02:00

translate.rs

Refactoring to support TPTP output

2020-02-03 02:57:45 +01:00

utils.rs

Support hiding auxiliary predicates

2020-05-13 08:02:04 +02:00