 mossbiscuits
|
fd27d23a92
|
Typos
|
2026-03-24 11:51:58 -06:00 |
|
|
mossbiscuits
|
6acf2ac777
|
Close #31
|
2026-03-24 11:47:42 -06:00 |
|
|
mossbiscuits
|
faaecd37e4
|
Typo
|
2026-03-24 11:38:45 -06:00 |
|
|
mossbiscuits
|
7f70c568a4
|
Close #61
|
2026-03-24 11:38:02 -06:00 |
|
|
mossbiscuits
|
c8bdff09ca
|
Close #62
|
2026-03-24 11:35:02 -06:00 |
|
|
mossbiscuits
|
fd63249e99
|
Fix #65
|
2026-03-24 11:22:42 -06:00 |
|
|
mossbiscuits
|
993f806c54
|
Fix #66
|
2026-03-24 11:18:39 -06:00 |
|
|
mossbiscuits
|
0d0f7a7cda
|
Fix #29
|
2025-08-22 13:50:11 -06:00 |
|
|
mossbiscuits
|
15ac900894
|
Close #28
|
2025-08-22 13:44:11 -06:00 |
|
|
mossbiscuits
|
3a9f16c0cc
|
Close #26
|
2025-08-22 13:42:01 -06:00 |
|
|
mossbiscuits
|
867b966f74
|
Close #24
|
2025-08-22 13:39:37 -06:00 |
|
|
mossbiscuits
|
d63b97d62b
|
Close #23
|
2025-08-22 13:24:48 -06:00 |
|
|
mossbiscuits
|
65e02d39e1
|
Close #22
|
2025-08-22 13:09:52 -06:00 |
|
|
mossbiscuits
|
52735b97c6
|
Close #20
|
2025-08-22 13:00:04 -06:00 |
|
|
mossbiscuits
|
8e760b44e3
|
Close #19
|
2025-08-22 12:42:35 -06:00 |
|
|
mossbiscuits
|
2c1587a006
|
Close #18
|
2025-08-21 18:02:34 -06:00 |
|
|
mossbiscuits
|
1b28b1b8b4
|
fix new tool generator and add rcoq for #18
|
2025-08-21 17:38:12 -06:00 |
|
|
mossbiscuits
|
1b3dfad81e
|
Fix listeners
|
2025-08-21 17:34:44 -06:00 |
|
|
mossbiscuits
|
3e9b8f84b3
|
Add new tool generator
|
2025-08-21 17:24:52 -06:00 |
|
|
mossbiscuits
|
0cb4f7ed82
|
fix icon
|
2025-08-21 16:15:06 -06:00 |
|
|
mossbiscuits
|
97a87a1679
|
Close #17, add tools
|
2025-08-21 16:14:46 -06:00 |
|
|
mossbiscuits
|
f1f2354db2
|
Add Why3, close #16
|
2025-08-21 15:49:03 -06:00 |
|
|
mossbiscuits
|
0e74e27d2c
|
Fix #15
|
2025-07-10 12:52:26 -06:00 |
|
|
mossbiscuits
|
b7cd52b5c2
|
Fix #14
|
2025-07-10 12:39:36 -06:00 |
|
|
mossbiscuits
|
68e5a64e71
|
Fix #14
|
2025-07-10 12:39:01 -06:00 |
|
|
mossbiscuits
|
ed0a3044fb
|
Fix #13
|
2025-07-10 12:34:50 -06:00 |
|
|
mossbiscuits
|
c16fe09c6a
|
Fix #12
|
2025-07-10 12:32:53 -06:00 |
|
|
mossbiscuits
|
bce698e1ca
|
Fix #11
|
2025-07-10 12:31:04 -06:00 |
|
|
mossbiscuits
|
07cc6ae617
|
Fix #10
|
2025-07-10 12:28:02 -06:00 |
|
|
mossbiscuits
|
34c52fdf8c
|
Fix #32
|
2025-07-10 12:25:27 -06:00 |
|
|
mossbiscuits
|
0c38415d66
|
Fix #9
|
2025-06-23 14:03:48 -06:00 |
|
|
mossbiscuits
|
54c1b82f8e
|
Fix #8
|
2025-06-23 14:01:37 -06:00 |
|
|
mossbiscuits
|
43de28834c
|
Fix #7
|
2025-06-23 13:58:04 -06:00 |
|
|
mossbiscuits
|
6ec860fed1
|
Fix #6
|
2025-06-23 13:51:39 -06:00 |
|
|
mossbiscuits
|
2cd5f6e702
|
Fix #5
|
2025-06-23 13:48:18 -06:00 |
|
|
mossbiscuits
|
65d784163e
|
Fix #5
|
2025-06-23 13:48:02 -06:00 |
|
|
mossbiscuits
|
691fc05f9a
|
Fix #4
|
2025-06-23 13:45:09 -06:00 |
|
|
mossbiscuits
|
67276e8e46
|
Add model checkers. Close #2
|
2025-06-23 13:44:10 -06:00 |
|
|
mossbiscuits
|
2545c47377
|
Resolve #27
|
2025-06-23 12:49:01 -06:00 |
|
|
mossbiscuits
|
16ca5a7b04
|
Merge branch 'main' of https://gitmoss.fyi/fmtools/content
|
2025-06-13 16:47:08 -06:00 |
|
|
mossbiscuits
|
a591cca1cd
|
partial work toward #2
|
2025-06-13 16:46:24 -06:00 |
|
|
mossbiscuits
|
3956933ba8
|
Update .gitea/issue_template/add_tool.md
|
2025-06-13 21:32:55 +00:00 |
|
|
mossbiscuits
|
b6cc09e6e1
|
add dates
|
2025-06-13 15:13:55 -06:00 |
|
|
mossbiscuits
|
d29e2086dd
|
Add More Tools
|
2025-06-13 15:05:11 -06:00 |
|
|
mossbiscuits
|
cee940b083
|
Add E Theorem Prover for #1
|
2025-06-13 14:50:27 -06:00 |
|
|
mossbiscuits
|
6af9acff12
|
add alt-ergo. Closes #1
|
2025-06-13 14:28:33 -06:00 |
|
|
mossbiscuits
|
224a339a38
|
Add some tools and categories
|
2025-06-13 13:09:14 -06:00 |
|
|
mossbiscuits
|
ef7e26d248
|
Add git links
|
2025-06-12 15:31:37 -06:00 |
|
|
mossbiscuits
|
51367f7178
|
Add Issue Templates
|
2025-06-12 15:25:10 -06:00 |
|
|
mossbiscuits
|
589a55d8cd
|
Wrap up SAT/SMT
|
2025-06-12 15:13:07 -06:00 |
|