Compare commits

..

2 Commits

Author SHA1 Message Date
ef7e26d248 Add git links 2025-06-12 15:31:37 -06:00
51367f7178 Add Issue Templates 2025-06-12 15:25:10 -06:00
3 changed files with 91 additions and 1 deletions

View File

@@ -0,0 +1,42 @@
---
name: "Add Tool"
about: "This template is used to request a new tool be added."
title: "[ADD] "
ref: "main"
assignees: ["mossbiscuits"]
labels:
- "new tool"
- "enhancement"
---
Fill in as little or as much information as you like, but more information increases my ability to add your tool effectively.
Tool Name:
Actively maintained? yes/no
Tool Links: (add as many as you need)
- [Homepage]()
- [Source Code]()
- [Online Playground]()
Applications: (think SMT Solver, Theorem Prover, Probabilistic Model Checker, etc.)
-
Developers: (institutions or individuals)
-
Licenses:
-
Input Formats: (think SMTLIB2, DIMACS, etc.)
-
Interfaces: (think CLI, GUI, Online, Python Bindings, etc.)
-
Publications: (a DOI or URL is sufficient)
-
Additional Details or Description:

View File

@@ -0,0 +1,42 @@
---
name: "Fix Tool"
about: "This template is used to request a new tool be fixed."
title: "[FIX] "
ref: "main"
assignees: ["mossbiscuits"]
labels:
- "fix tool"
- "bug"
---
Fill in as little or as much information as you like, but more information increases my ability to add your tool effectively.
Tool Name:
Actively maintained? yes/no
Tool Links: (add as many as you need)
- [Homepage]()
- [Source Code]()
- [Online Playground]()
Applications: (think SMT Solver, Theorem Prover, Probabilistic Model Checker, etc.)
-
Developers: (institutions or individuals)
-
Licenses:
-
Input Formats: (think SMTLIB2, DIMACS, etc.)
-
Interfaces: (think CLI, GUI, Online, Python Bindings, etc.)
-
Publications: (a DOI or URL is sufficient)
-
Additional Details or Description:

View File

@@ -2,4 +2,10 @@
title = 'Contribute' title = 'Contribute'
+++ +++
Instructions coming soon. Please see https://gitmoss.fyi/fmtools/content/wiki/Contribute for temporary instructions. Instructions coming soon. Please see https://gitmoss.fyi/fmtools/content/wiki/Contribute for temporary instructions.
## Quick Links
- Request addding a tool: [Submit Git Issue](https://gitmoss.fyi/fmtools/content/issues/new?template=.gitea%2fissue_template%2fadd_tool.md)
- Request fixing a tool: [Submit Git Issue](https://gitmoss.fyi/fmtools/content/issues/new?template=.gitea%2fissue_template%2ffix_tool.md)