patrick
/
anthem-rs
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
162 Commits 1 Branch 3 Tags 380 KiB
Commit Graph

23 Commits

Author SHA1 Message Date
Patrick Lühne 499fa0c667
Add option to specify output color choice 2020-05-22 19:33:06 +02:00
Patrick Lühne 81ddfd450a
Use custom foliage flavor 
With this patch, properties specific to variable, function, and
predicate declarations are directly stored within those objects rather
than external maps that need to be queried via traits. This greatly
simplifies many parts of the logic.

This is made possible by implementing a custom foliage flavor, which
makes it possible to swap the built-in declaration types for extended
versions of those types that fulfill certain requirements.
 2020-05-22 02:25:00 +02:00
Patrick Lühne 0229adef78
Add to-do notes 2020-05-19 12:49:57 +02:00
Patrick Lühne 7d06601c17
Color output 2020-05-12 04:51:51 +02:00
Patrick Lühne 7a6fab59ef
Minor refactoring 2020-05-11 03:23:25 +02:00
Patrick Lühne 6bf01db51a
Minor formatting 2020-05-11 03:21:51 +02:00
Patrick Lühne 7832f18ffd
Minor reformatting 2020-05-11 03:18:11 +02:00
Patrick Lühne ee1539e2ab
Rename variable for consistency 2020-05-11 03:15:27 +02:00
Patrick Lühne c075f99093
Remove unused code 2020-05-11 02:43:42 +02:00
Patrick Lühne b55bc82b1d
Add option for proof direction 2020-05-07 02:53:48 +02:00
Patrick Lühne 70bef152a4 Improve proof output 2020-05-06 21:38:48 +02:00
Patrick Lühne e118442e16
Work in progress 2020-05-05 19:40:57 +02:00
Patrick Lühne becd8d4c19
Upgrade to foliage 0.2 development version 2020-04-17 00:09:44 +02:00
Patrick Lühne cd7129a3fa
Add missing files 2020-02-05 04:28:02 +01:00
Patrick Lühne 2bc084d799
Finish implementing TPTP output 2020-02-05 02:14:47 +01:00
Patrick Lühne 9a519abb0d
Fix typo in TPTP output 2020-02-05 02:14:38 +01:00
Patrick Lühne 6d489e457f
Minor restructuring 2020-02-04 23:35:42 +01:00
Patrick Lühne ce19860325
Make all terms compatible in TPTP 2020-02-04 23:33:59 +01:00
Patrick Lühne d7f04da0bd
Restructure project 2020-02-04 16:53:52 +01:00
Patrick Lühne 3dbe11be61
Restructure project 2020-02-04 16:45:13 +01:00
Patrick Lühne 2ad5396488
Add option for human-readable output 2020-02-04 00:27:04 +01:00
Patrick Lühne 072fa34e69
Refactoring to support TPTP output 2020-02-03 02:57:45 +01:00
Patrick Lühne 0714bed2cc
Start supporting TPTP output 2020-02-02 20:27:30 +01:00