Skip to content

Pull requests: spechub/Hets

New pull request New
11 Open 359 Closed
11 Open 359 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
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Bump actions/download-artifact from 2 to 4.1.7 in /.github/workflows dependencies Pull requests that update a dependency file
#2166 opened Sep 3, 2024 by dependabot bot Loading…
2164 cancel button python gui
#2165 opened Aug 14, 2024 by JoKurth • Draft
1
2109 python gui
#2162 opened Jul 11, 2024 by b-gehrke Loading…
7
2157 add more sublogics for propositional
#2160 opened Jul 8, 2024 by JoKurth Loading…
@JoKurth
Uml
#2155 opened Jul 27, 2023 by mcodescu Loading…
1494 parse dol standard examples
#2154 opened Jul 27, 2023 by tillmo Loading…
1693 datatypes for dol
#2153 opened Jul 27, 2023 by mcodescu • Draft
add convertTheory for CommonLogic
#2128 opened Dec 8, 2022 by daniilsvc Loading…
2
parser for GDOL, first attempt
#1911 opened Aug 9, 2019 by mcodescu • Draft
3
instantiation of formal parameters with only one symbol (first try to see how this would work)
#1849 opened May 11, 2018 by mcodescu • Draft
11
Rigid casl
#1845 opened Apr 23, 2018 by mcodescu Loading…
50
ProTip! Exclude everything labeled bug with -label:bug.