Patrick Lühne
|
70bef152a4
|
Improve proof output
|
2020-05-06 21:38:48 +02:00 |
Patrick Lühne
|
b14f620235
|
Implement proof mechanism
|
2020-05-06 00:13:43 +02:00 |
Patrick Lühne
|
e118442e16
|
Work in progress
|
2020-05-05 19:40:57 +02:00 |
Patrick Lühne
|
b6ecf37211
|
Add option for input constants
|
2020-02-05 19:40:21 +01:00 |
Patrick Lühne
|
caab0a618e
|
Add option for input predicates
|
2020-02-05 01:10:33 +01:00 |
Patrick Lühne
|
5ad14f8deb
|
Add option for specifying input files
|
2020-02-02 19:20:16 +01:00 |
Patrick Lühne
|
e122532fcb
|
Implement completion
|
2020-02-02 17:57:27 +01:00 |
Patrick Lühne
|
6145c2cf1a
|
Translate body of rules for verifying properties
|
2020-01-31 17:19:44 +01:00 |