Zander671/truth-table
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
40 Commits 1 Branch 0 Tags
main
Commit Graph
40 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Zander671 c37532b9eb Fix last commit 2026-04-17 16:01:50 -07:00
Zander671 c744d397fa Better eval.lisp 2026-04-17 02:40:20 -07:00
Zander671 5c73f19177 Update Makefile 2026-02-13 03:43:54 -08:00
Zander671 def2caadd1 Update makefile 2026-02-13 03:29:51 -08:00
Zander671 7bbbadaf3c Update build.lisp 2026-02-13 03:29:26 -08:00
Zander671 2ba02e821e Redo web server build 2026-02-13 03:24:48 -08:00
Zander671 7f6872c0ea Add a cap to th number of variables supported 2025-12-20 16:35:32 -08:00
Zander671 65970adfe1 Fix parser 2025-10-05 19:55:28 -07:00
Zander671 87b47f9c94 Fix website title 2024-09-16 15:10:31 -07:00
Zander671 a78e132b72 Add better documentation 2024-09-16 12:50:05 -07:00
Zander671 7a21f853da Clean up something 2024-09-16 04:23:37 -07:00
Zander671 421eff906d Add operands to syntax help message 2024-09-16 04:17:24 -07:00
Zander671 f9091ad7c1 Fix some bugs with the web server 2024-09-16 03:25:36 -07:00
Zander671 53388e6d56 Fix operator parsing 2024-09-16 03:08:29 -07:00
Zander671 6f8135238b Add syntax help menu and cli option 2024-09-16 02:38:09 -07:00
Zander671 627c62772b Update README.md 2024-09-14 01:18:20 -07:00
Zander671 bbc02349af Fix handling of empty propositions on the command line 2024-09-11 01:07:52 -07:00
Zander671 c52706e4b2 Fix a very *REDACTED* mistake 2024-09-10 23:08:18 -07:00
Zander671 2bdf936160 Fix incorrect parenthesis 2024-09-10 23:05:14 -07:00
Zander671 edd4f53a68 Add pretty print and latin truth values support 2024-09-10 22:19:43 -07:00
Zander671 c86b38db09 Small error in arguments.lisp 2024-09-06 21:42:45 -07:00
Zander671 3fc927fee8 Fix some typos 2024-09-06 14:58:47 -07:00
Zander671 0a73cf3295 Move to new parser 2024-09-06 14:21:17 -07:00
Zander671 0d9b68a75a Remove prefix option 2024-09-05 19:01:22 -07:00
Zander671 76ae43160a Add a prefix option to web app 2024-09-05 18:46:26 -07:00
Zander671 85fbd9e5cd Update truth-table-web-wrapper 2024-09-05 16:41:04 -07:00
Zander671 6171d18d8a Clean up tree-table-web-wrapper 2024-09-05 15:55:11 -07:00
Zander671 c6cadc3123 Make web server 2024-09-05 14:46:05 -07:00
Zander671 9e35fed164 Cleanup some functions in table.lisp 2024-09-04 12:33:12 -07:00
Zander671 d85f58adf2 Finish port to asdf and make webserer template files 2024-09-04 03:49:47 -07:00
Zander671 b09948d77c Update README.md 2024-09-04 03:16:05 -07:00
Zander671 24904e73b5 Refactor to use ASDF 2024-09-04 03:14:57 -07:00
Zander671 24c1a03b35 Fix --subexps 2024-09-03 22:18:35 -07:00
Zander671 da53ad73a1 Add extra documentation to truth-table.lisp 2024-09-03 19:44:07 -07:00
Zander671 5a0371ae15 Add nor and nand operators 2024-09-03 18:47:44 -07:00
Zander671 51f99a87ab Add README.md 2024-09-03 18:25:54 -07:00
Zander671 4d71df6d7e Fix type in help output 2024-09-03 18:24:08 -07:00
Zander671 7a80c02bc8 Add converse operation 2024-09-03 18:13:16 -07:00
Zander671 6be3a3b816 Add license notice to top of truth-table.lisp 2024-09-03 17:58:41 -07:00
Zander671 62347e8b4d Initial commit 2024-09-03 17:50:58 -07:00