Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / spechub/Hets issues and pull requests
#2166 - Bump actions/download-artifact from 2 to 4.1.7 in /.github/workflows
Pull Request -
State: open - Opened by dependabot[bot] 29 days ago
Labels: dependencies
#2165 - 2164 cancel button python gui
Pull Request -
State: open - Opened by JoKurth about 2 months ago
- 1 comment
#2164 - Make Proving cancable in Python GUI
Issue -
State: open - Opened by b-gehrke 3 months ago
#2163 - Add disprove window to Python GUI
Issue -
State: open - Opened by b-gehrke 3 months ago
#2162 - 2109 python gui
Pull Request -
State: open - Opened by b-gehrke 3 months ago
- 2 comments
#2161 - add analysis for FOWL ontologies
Issue -
State: open - Opened by tillmo 3 months ago
Labels: thesis issue, C:OWL
#2160 - 2157 add more sublogics for propositional
Pull Request -
State: open - Opened by JoKurth 3 months ago
#2159 - Use Data.PartialOrd
Issue -
State: open - Opened by tillmo 4 months ago
#2158 - Ubuntu packages for Noble 24.04
Issue -
State: open - Opened by tillmo 5 months ago
#2157 - more sublogics for Propositional
Issue -
State: open - Opened by tillmo 5 months ago
Labels: Hiwi
#2156 - integrate OnePoint conservativity checker for CASL
Issue -
State: open - Opened by tillmo about 1 year ago
#2155 - Uml
Pull Request -
State: open - Opened by mcodescu about 1 year ago
#2154 - 1494 parse dol standard examples
Pull Request -
State: open - Opened by tillmo about 1 year ago
#2153 - 1693 datatypes for dol
Pull Request -
State: open - Opened by mcodescu about 1 year ago
#2152 - 1693 partial fix
Pull Request -
State: closed - Opened by mcodescu about 1 year ago
#2151 - Fix reading long request bodies.
Pull Request -
State: closed - Opened by tillmo about 1 year ago
- 1 comment
#2150 - draft UML logic
Pull Request -
State: closed - Opened by tillmo about 1 year ago
#2149 - Marie Farrell's logic EVT
Pull Request -
State: closed - Opened by tillmo about 1 year ago
- 1 comment
#2148 - Prover Ubuntu packages for Jammy
Issue -
State: open - Opened by tillmo about 1 year ago
- 1 comment
#2147 - New mailing list in source code
Issue -
State: open - Opened by b-gehrke over 1 year ago
#2146 - Comorphism paths in prove window
Issue -
State: open - Opened by b-gehrke over 1 year ago
#2145 - Fixed warnings
Pull Request -
State: closed - Opened by b-gehrke over 1 year ago
#2144 - integrate Alloy as model finder
Issue -
State: open - Opened by tillmo over 1 year ago
#2143 - integrate Z3 as model finder
Issue -
State: open - Opened by tillmo over 1 year ago
#2142 - CLIF parser throws error when it encounters an '@' symbol in a cl:comment
Issue -
State: open - Opened by dillerm over 1 year ago
#2141 - Heap library package for ubuntu
Issue -
State: closed - Opened by b-gehrke over 1 year ago
- 3 comments
#2140 - problems opening gUFO ontology
Issue -
State: closed - Opened by mcodescu over 1 year ago
- 10 comments
Labels: bug, question, C:OWL
#2139 - Fix compilation errors in atermlib when using newer toolchains
Pull Request -
State: closed - Opened by neilmayhew over 1 year ago
#2138 - 2108 python api
Pull Request -
State: closed - Opened by b-gehrke over 1 year ago
- 1 comment
#2137 - add conservativity checks for edges to API
Issue -
State: open - Opened by tillmo over 1 year ago
#2136 - 2131 for the python api have a uniform datatype for sentences
Pull Request -
State: closed - Opened by b-gehrke over 1 year ago
- 1 comment
#2135 - 2100 & 2132 - command line completion issues
Pull Request -
State: closed - Opened by daniilsvc over 1 year ago
- 10 comments
#2134 - Xeno library package for ubuntu
Issue -
State: closed - Opened by daniilsvc over 1 year ago
- 4 comments
#2133 - Can Common Logic text structure be mapped to DOL theories in a better way?
Issue -
State: open - Opened by tillmo almost 2 years ago
#2132 - extend logic graph with lists of provers and cons checkers
Issue -
State: closed - Opened by tillmo almost 2 years ago
#2131 - for the Python API, have a uniform datatype for sentences
Issue -
State: closed - Opened by tillmo almost 2 years ago
- 1 comment
#2130 - add checkConservativityEdge to command line interface and API
Issue -
State: open - Opened by tillmo almost 2 years ago
#2129 - 1790 api
Pull Request -
State: closed - Opened by b-gehrke almost 2 years ago
- 1 comment
#2128 - add convertTheory for CommonLogic
Pull Request -
State: open - Opened by daniilsvc almost 2 years ago
- 1 comment
#2127 - Fix shell substitution error (##2126)
Pull Request -
State: closed - Opened by rosento almost 2 years ago
#2126 - Shell substitution error
Issue -
State: open - Opened by rosento almost 2 years ago
#2125 - check Vampire status correctly
Pull Request -
State: closed - Opened by daniilsvc almost 2 years ago
#2124 - add CI job for docker publishing
Pull Request -
State: closed - Opened by daniilsvc almost 2 years ago
- 4 comments
#2123 - Implement logics for UML state machines with outputs and UML composite structures
Pull Request -
State: closed - Opened by rosento almost 2 years ago
- 3 comments
#2122 - exhaustive pattern match
Pull Request -
State: closed - Opened by daniilsvc almost 2 years ago
#2121 - dependency problem with cvc-libs-47 1.8.0-3.18.4
Issue -
State: closed - Opened by tillmo almost 2 years ago
- 2 comments
#2120 - problems installing Hets
Issue -
State: closed - Opened by mcodescu about 2 years ago
- 6 comments
#2119 - regularly update Hets docker image
Issue -
State: open - Opened by tillmo about 2 years ago
- 2 comments
#2118 - complete test set for NeSy patterns
Issue -
State: open - Opened by tillmo about 2 years ago
#2117 - update Hets builds to focal
Issue -
State: closed - Opened by tillmo about 2 years ago
- 1 comment
#2116 - Nicer concept graph for NeSy patterns
Issue -
State: open - Opened by tillmo about 2 years ago
#2115 - 2085 nesy signature morphisms =refinements should be able to map downwards the class hierarchy
Pull Request -
State: closed - Opened by mcodescu about 2 years ago
#2114 - Fix mysql errors jammy
Pull Request -
State: closed - Opened by daniilsvc about 2 years ago
#2113 - allow subtheories for prover selection
Issue -
State: open - Opened by tillmo about 2 years ago
#2112 - Issue warning if DOL prefixes conflict with prefixes in imported logics
Issue -
State: open - Opened by b-gehrke about 2 years ago
- 1 comment
#2111 - Readded uni packages as dependencies
Pull Request -
State: closed - Opened by b-gehrke about 2 years ago
#2110 - Correctly parse multi-sentence Common Logic theories
Issue -
State: open - Opened by tillmo about 2 years ago
- 2 comments
Labels: C:CommonLogic, P:critical
#2109 - new Hets GUI based on Python interface
Issue -
State: open - Opened by tillmo about 2 years ago
- 3 comments
#2108 - Python interface
Issue -
State: closed - Opened by tillmo about 2 years ago
- 2 comments
#2107 - define Hets core functionality
Issue -
State: open - Opened by tillmo about 2 years ago
- 1 comment
#2106 - merge relevant existing forks
Issue -
State: open - Opened by tillmo about 2 years ago
- 1 comment
#2104 - cannot install hets-desktop under focal
Issue -
State: closed - Opened by tillmo about 2 years ago
- 2 comments
Labels: P:critical
#2103 - switch to version Hets 1.0
Issue -
State: open - Opened by tillmo about 2 years ago
#2100 - in command line interface, selection of cons checkers takes too long
Issue -
State: closed - Opened by tillmo about 2 years ago
#2099 - cannot find package uni-uDrawGraph
Issue -
State: closed - Opened by tillmo about 2 years ago
- 3 comments
#2098 - cannot install vampire on focal
Issue -
State: closed - Opened by tillmo about 2 years ago
- 2 comments
#2097 - fix errors while compiling dtdtohaskell
Pull Request -
State: closed - Opened by daniilsvc about 2 years ago
#2096 - 2095 undefined classes for nesy patterns
Pull Request -
State: closed - Opened by b-gehrke about 2 years ago
- 13 comments
#2095 - Undefined classes for NeSy patterns
Issue -
State: closed - Opened by tillmo about 2 years ago
- 1 comment
#2094 - Switch CASL to use IRIs instead of IDs
Issue -
State: open - Opened by b-gehrke about 2 years ago
#2089 - 1581 catch fact error concerning inconsistent ontology
Pull Request -
State: closed - Opened by b-gehrke about 2 years ago
- 4 comments
#2086 - Removing warnings
Pull Request -
State: closed - Opened by daniilsvc about 2 years ago
#2085 - NeSy signature morphisms (=refinements) should be able to map downwards the class hierarchy
Issue -
State: closed - Opened by tillmo about 2 years ago
- 18 comments
#2078 - isInfixOf import
Pull Request -
State: closed - Opened by daniilsvc about 2 years ago
#2073 - Corrections to nesypatterns printer
Pull Request -
State: closed - Opened by daniilsvc about 2 years ago
#2070 - instance Pretty GlobalEntry - non-exhaustive pattern match
Issue -
State: closed - Opened by daniilsvc about 2 years ago
- 1 comment
#2069 - remove majority of warnings
Pull Request -
State: closed - Opened by daniilsvc about 2 years ago
- 3 comments
#2067 - make hets compatible with ghc 8.8.4 and lts-16.31
Pull Request -
State: closed - Opened by daniilsvc about 2 years ago
- 10 comments
#2065 - build Focal Ubuntu packages for Hets
Issue -
State: closed - Opened by tillmo over 2 years ago
- 12 comments
#2064 - build Jammy Ubuntu packages
Issue -
State: closed - Opened by tillmo over 2 years ago
- 38 comments
#2061 - downgrade Java OWLAPI to version 4
Pull Request -
State: closed - Opened by daniilsvc over 2 years ago
#2055 - Add pellet as a dependency for hets-provers
Issue -
State: closed - Opened by tillmo over 2 years ago
#2051 - 2047 change to ghc 8.6.5
Pull Request -
State: closed - Opened by tillmo over 2 years ago
- 3 comments
#2047 - Make Hets compilable without stack (needed for Ubuntu packages)
Issue -
State: closed - Opened by tillmo over 2 years ago
- 3 comments
#2042 - Expanded Manchester Syntax Datatype keywords
Pull Request -
State: closed - Opened by b-gehrke over 2 years ago
#2040 - 1636 hets performance issues
Pull Request -
State: closed - Opened by daniilsvc over 2 years ago
- 1 comment
#2039 - improve performance of OWL static analysis
Issue -
State: closed - Opened by mcodescu over 2 years ago
Labels: enhancement, P:major, C:OWL
#2038 - 1949 update java owlapi
Pull Request -
State: closed - Opened by daniilsvc over 2 years ago
- 5 comments
#2032 - Introduce useful proof trees/proof graphs and Zipperposition as CASL prover
Pull Request -
State: closed - Opened by TpmKranz almost 3 years ago
- 3 comments
#2031 - Python bindings for Hets
Issue -
State: closed - Opened by tillmo almost 3 years ago
- 1 comment
#2030 - 1945 owl functional syntax
Pull Request -
State: closed - Opened by b-gehrke almost 3 years ago
- 11 comments
#2013 - status for Vampire prover in TPTP
Issue -
State: closed - Opened by mcodescu about 3 years ago
Labels: bug, C:provers, P:critical
#1992 - 1984. OWL2 AS printer
Pull Request -
State: closed - Opened by daniilsvc over 3 years ago
- 10 comments
#1978 - add vampire to hets-prover meta-package
Pull Request -
State: closed - Opened by jelmd over 3 years ago
#1975 - 1966 revert gtk3
Pull Request -
State: closed - Opened by tillmo almost 4 years ago
- 8 comments
#1962 - fix #1961
Pull Request -
State: closed - Opened by tillmo almost 4 years ago
- 1 comment
#1948 - avoid empty variable FIXED_GLADE
Pull Request -
State: closed - Opened by cmaeder almost 4 years ago
#1944 - travis: add make docs job
Pull Request -
State: closed - Opened by jelmd almost 4 years ago
#1942 - 1941 make haddock work
Pull Request -
State: closed - Opened by tillmo about 4 years ago
- 12 comments
#1934 - added hets-lib to package list
Pull Request -
State: closed - Opened by tillmo about 4 years ago
- 1 comment