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'
|
||||
+++
|
||||
|
||||
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