Compare commits
2 Commits
589a55d8cd
...
ef7e26d248
Author | SHA1 | Date | |
---|---|---|---|
ef7e26d248 | |||
51367f7178 |
42
.gitea/issue_template/add_tool.md
Normal file
42
.gitea/issue_template/add_tool.md
Normal 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:
|
||||||
|
|
42
.gitea/issue_template/fix_tool.md
Normal file
42
.gitea/issue_template/fix_tool.md
Normal 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:
|
||||||
|
|
@@ -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)
|
||||||
|
|
||||||
|
Reference in New Issue
Block a user