Skip to content

Issues: spechub/Hets

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

639 Open 1,155 Closed
639 Open 1,155 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Make Proving cancable in Python GUI
#2164 opened Jul 11, 2024 by b-gehrke
Add disprove window to Python GUI
#2163 opened Jul 11, 2024 by b-gehrke
add analysis for FOWL ontologies C:OWL thesis issue
#2161 opened Jul 10, 2024 by tillmo
Use Data.PartialOrd
#2159 opened Jun 12, 2024 by tillmo
Ubuntu packages for Noble 24.04
#2158 opened Apr 24, 2024 by tillmo
@jelmd
more sublogics for Propositional Hiwi
#2157 opened Apr 24, 2024 by tillmo
@b-gehrke
integrate OnePoint conservativity checker for CASL
#2156 opened Sep 14, 2023 by tillmo
@b-gehrke
Prover Ubuntu packages for Jammy
#2148 opened Jul 13, 2023 by tillmo
@jelmd
1
New mailing list in source code
#2147 opened Jun 22, 2023 by b-gehrke
Comorphism paths in prove window
#2146 opened Jun 22, 2023 by b-gehrke
integrate Alloy as model finder
#2144 opened May 24, 2023 by tillmo
integrate Z3 as model finder
#2143 opened May 24, 2023 by tillmo
CLIF parser throws error when it encounters an '@' symbol in a cl:comment
#2142 opened Apr 10, 2023 by dillerm
add conservativity checks for edges to API
#2137 opened Feb 7, 2023 by tillmo
@b-gehrke
Can Common Logic text structure be mapped to DOL theories in a better way?
#2133 opened Dec 15, 2022 by tillmo
@fabianneuhaus
add checkConservativityEdge to command line interface and API
#2130 opened Dec 15, 2022 by tillmo
@b-gehrke
Shell substitution error
#2126 opened Oct 25, 2022 by rosento
regularly update Hets docker image
#2119 opened Sep 29, 2022 by tillmo
@daniilsvc
2
complete test set for NeSy patterns
#2118 opened Sep 29, 2022 by tillmo
@tillmo
Nicer concept graph for NeSy patterns
#2116 opened Sep 29, 2022 by tillmo
allow subtheories for prover selection
#2113 opened Sep 26, 2022 by tillmo
Issue warning if DOL prefixes conflict with prefixes in imported logics
#2112 opened Sep 24, 2022 by b-gehrke
1
Correctly parse multi-sentence Common Logic theories C:CommonLogic P:critical
#2110 opened Sep 21, 2022 by tillmo
@daniilsvc
2
new Hets GUI based on Python interface
#2109 opened Sep 21, 2022 by tillmo
3
define Hets core functionality
#2107 opened Sep 21, 2022 by tillmo
1
ProTip! Follow long discussions with comments:>50.