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: | ||||||
|  |  | ||||||
| @@ -3,3 +3,9 @@ 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