Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / johnyf/tool_lists issues and pull requests
#38 - Add 'Biodivine/LibBDD' and 'OxiDD'
Pull Request -
State: open - Opened by SSoelvsten 11 months ago
#38 - Add 'Biodivine/LibBDD' and 'OxiDD'
Pull Request -
State: open - Opened by SSoelvsten 11 months ago
#37 - Add PJBDD
Pull Request -
State: open - Opened by SSoelvsten 11 months ago
#37 - Add PJBDD
Pull Request -
State: open - Opened by SSoelvsten 11 months ago
#36 - Move BDDSharp to C# section
Pull Request -
State: open - Opened by SSoelvsten 11 months ago
#36 - Move BDDSharp to C# section
Pull Request -
State: open - Opened by SSoelvsten 11 months ago
#35 - Update link to CAL
Pull Request -
State: open - Opened by SSoelvsten 11 months ago
#35 - Update link to CAL
Pull Request -
State: open - Opened by SSoelvsten 11 months ago
#34 - added Reelay and lattice-mtl to the list rv tools
Pull Request -
State: closed - Opened by Agnishom about 3 years ago
#34 - added Reelay and lattice-mtl to the list rv tools
Pull Request -
State: closed - Opened by Agnishom about 3 years ago
#33 - Add DAGaml to bdd.md withing OCaml section
Pull Request -
State: closed - Opened by JoanThibault over 3 years ago
- 1 comment
Labels: enhancement
#33 - Add DAGaml to bdd.md withing OCaml section
Pull Request -
State: closed - Opened by JoanThibault over 3 years ago
- 1 comment
Labels: enhancement
#32 - correct Markdown format
Pull Request -
State: closed - Opened by MaxXSoft about 4 years ago
- 1 comment
Labels: bug
#32 - correct Markdown format
Pull Request -
State: closed - Opened by MaxXSoft about 4 years ago
- 1 comment
Labels: bug
#31 - Update static_analysis.md
Pull Request -
State: closed - Opened by bagipro over 4 years ago
- 3 comments
Labels: enhancement
#30 - Update verification_synthesis.md
Pull Request -
State: closed - Opened by bond15 over 4 years ago
- 1 comment
Labels: enhancement
#29 - Update verification_synthesis.md
Pull Request -
State: closed - Opened by iamumairs almost 5 years ago
- 2 comments
Labels: enhancement
#28 - ADD (javascript) binary-decision-diagram
Pull Request -
State: closed - Opened by pubkey almost 5 years ago
- 1 comment
Labels: enhancement
#27 - added ARCS
Pull Request -
State: closed - Opened by necozay over 5 years ago
- 1 comment
Labels: enhancement
#26 - Fixing broken link to CIF3.
Pull Request -
State: closed - Opened by krooken over 6 years ago
- 1 comment
Labels: bug
#25 - add HasCacBDD and SMCDEL
Pull Request -
State: closed - Opened by m4lvin over 7 years ago
- 1 comment
Labels: enhancement
#24 - added SCOTS
Pull Request -
State: closed - Opened by necozay over 7 years ago
- 1 comment
Labels: enhancement
#23 - Added further Saarland Univ. tools
Pull Request -
State: closed - Opened by pefaymon over 7 years ago
- 1 comment
Labels: enhancement
#22 - Uodated link to SMT tool list: verification_synthesis.md
Pull Request -
State: closed - Opened by necozay over 7 years ago
- 1 comment
Labels: bug
#21 - SCRAM
Pull Request -
State: closed - Opened by rakhimov almost 8 years ago
- 2 comments
Labels: enhancement
#20 - SpinRCP
Pull Request -
State: closed - Opened by YaakovDavis almost 8 years ago
- 1 comment
Labels: enhancement
#19 - Overture
Pull Request -
State: closed - Opened by YaakovDavis almost 8 years ago
- 2 comments
Labels: enhancement
#18 - Added IVy
Pull Request -
State: closed - Opened by YaakovDavis almost 8 years ago
- 1 comment
Labels: enhancement
#17 - added kind2, zustre
Pull Request -
State: closed - Opened by necozay over 8 years ago
- 1 comment
Labels: enhancement
#16 - The tool Montre added.
Pull Request -
State: closed - Opened by doganulus over 8 years ago
- 3 comments
Labels: enhancement
#14 - Update verification_synthesis.md
Pull Request -
State: closed - Opened by YaakovDavis almost 9 years ago
- 1 comment
Labels: enhancement
#13 - Remove one too many a's in Aalborg University
Pull Request -
State: closed - Opened by martinbjeldbak almost 9 years ago
- 1 comment
#12 - add symdivine
Pull Request -
State: closed - Opened by xlauko almost 9 years ago
- 1 comment
Labels: enhancement
#11 - + subsection "Safety specs"; + demiurge synthesis tool; moved AbsSynth into "Safety specs"
Pull Request -
State: closed - Opened by 5nizza almost 9 years ago
Labels: enhancement
#10 - add hyst tool
Pull Request -
State: closed - Opened by ttj about 9 years ago
- 1 comment
#9 - added infer to static analysis tools
Pull Request -
State: closed - Opened by astefano about 9 years ago
- 2 comments
#8 - Add ATS language
Pull Request -
State: closed - Opened by master-q about 9 years ago
- 1 comment
Labels: enhancement
#7 - 1st try to add a few refs to verif&synt, resp. static analysis
Pull Request -
State: closed - Opened by astefano about 9 years ago
- 1 comment
Labels: enhancement
#6 - replaced outdated Party with new party-elli
Pull Request -
State: closed - Opened by 5nizza over 9 years ago
#5 - fix PyPolyhedron link
Pull Request -
State: closed - Opened by necozay over 9 years ago
#4 - Add KLEE.
Pull Request -
State: closed - Opened by daemontus almost 10 years ago
- 1 comment
#3 - Summarize copying conditions in the readme file
Pull Request -
State: closed - Opened by slivingston about 10 years ago
- 1 comment
#2 - added slugs
Pull Request -
State: closed - Opened by necozay over 11 years ago
#1 - added breach toolbox; fixed a link
Pull Request -
State: closed - Opened by necozay over 11 years ago