Commit Graph

Select branches

Hide Pull Requests

main

Mono Color

• 0e74e27d2c Fix #15 main Landon Taylor 2025-07-10 12:52:26 -06:00
• b7cd52b5c2 Fix #14 Landon Taylor 2025-07-10 12:39:36 -06:00
• 68e5a64e71 Fix #14 Landon Taylor 2025-07-10 12:39:01 -06:00
• ed0a3044fb Fix #13 Landon Taylor 2025-07-10 12:34:50 -06:00
• c16fe09c6a Fix #12 Landon Taylor 2025-07-10 12:32:53 -06:00
• bce698e1ca Fix #11 Landon Taylor 2025-07-10 12:31:04 -06:00
• 07cc6ae617 Fix #10 Landon Taylor 2025-07-10 12:28:02 -06:00
• 34c52fdf8c Fix #32 Landon Taylor 2025-07-10 12:25:27 -06:00
• 0c38415d66 Fix #9 Landon Taylor 2025-06-23 14:03:48 -06:00
• 54c1b82f8e Fix #8 Landon Taylor 2025-06-23 14:01:37 -06:00
• 43de28834c Fix #7 Landon Taylor 2025-06-23 13:58:04 -06:00
• 6ec860fed1 Fix #6 Landon Taylor 2025-06-23 13:51:39 -06:00
• 2cd5f6e702 Fix #5 Landon Taylor 2025-06-23 13:48:18 -06:00
• 65d784163e Fix #5 Landon Taylor 2025-06-23 13:48:02 -06:00
• 691fc05f9a Fix #4 Landon Taylor 2025-06-23 13:45:09 -06:00
• 67276e8e46 Add model checkers. Close #2 Landon Taylor 2025-06-23 13:44:10 -06:00
• 2545c47377 Resolve #27 Landon Taylor 2025-06-23 12:49:01 -06:00
• 16ca5a7b04 Merge branch 'main' of https://gitmoss.fyi/fmtools/content Landon Taylor 2025-06-13 16:47:08 -06:00
• a591cca1cd partial work toward #2 Landon Taylor 2025-06-13 16:46:24 -06:00
• 3956933ba8 Update .gitea/issue_template/add_tool.md Landon Taylor 2025-06-13 21:32:55 +00:00
• b6cc09e6e1 add dates Landon Taylor 2025-06-13 15:13:55 -06:00
• d29e2086dd Add More Tools Landon Taylor 2025-06-13 15:05:11 -06:00
• cee940b083 Add E Theorem Prover for #1 Landon Taylor 2025-06-13 14:50:27 -06:00
• 6af9acff12 add alt-ergo. Closes #1 Landon Taylor 2025-06-13 14:28:33 -06:00
• 224a339a38 Add some tools and categories Landon Taylor 2025-06-13 13:09:14 -06:00
• ef7e26d248 Add git links Landon Taylor 2025-06-12 15:31:37 -06:00
• 51367f7178 Add Issue Templates Landon Taylor 2025-06-12 15:25:10 -06:00
• 589a55d8cd Wrap up SAT/SMT Landon Taylor 2025-06-12 15:13:07 -06:00
• cf41adb1f5 Update privacy policy Landon Taylor 2025-06-12 14:00:35 -06:00
• 5c5710ca6a add tools Landon Taylor 2025-06-10 14:13:34 -06:00
• a454011c40 add solvers Landon Taylor 2025-06-09 11:45:37 -06:00
• 388d5fb8f9 test updates Landon Taylor 2025-06-06 18:46:27 -06:00
• ef3224c280 add more test content Landon Taylor 2025-06-06 18:05:37 -06:00
• 7ee9f4c961 minor changes Landon Taylor 2025-06-06 17:10:10 -06:00
• 47a236c035 sample content Landon Taylor 2025-06-05 21:51:48 -06:00
• 8d9453a60b Initial commit Landon Taylor 2025-05-30 23:50:58 +00:00