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

#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

#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

#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

#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

#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