Skip to content

Issues: thahmann/macleod

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

26 Open 22 Closed
26 Open 22 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

Generating DL existential restrictions from CLIF is incomplete
#52 opened Sep 28, 2024 by cmungall
Add more flexibility for configuration
#51 opened Feb 14, 2024 by Eugenio2192
Make a PyPI release
#50 opened Sep 16, 2022 by cmungall
Error in rewriting of nested biconditionals during parsing bug
#46 opened Apr 25, 2021 by thahmann
@Fxhnd
Implement OWL pattern "ObjectHasSelf"
#45 opened Apr 14, 2021 by thahmann
@thahmann
dl/translations.py: Are all the property/class declarations still needed?
#43 opened Mar 11, 2021 by thahmann
@Fxhnd
Simplify configuration after install
#41 opened Dec 29, 2020 by Fxhnd
multiprocessing error with python and osx
#38 opened Jun 26, 2019 by carmenchui
Error messages that arise from parsing CLIF files need to be more descriptive enhancement
#37 opened May 29, 2019 by carmenchui
Need to update CLIF BNF grammar
#36 opened Mar 22, 2019 by Fxhnd
Parser should handle doc blocks in middle of file
#34 opened Mar 22, 2019 by Fxhnd
Use psutil instead of PyWin32 and wmi for process info
#32 opened Nov 2, 2018 by Fxhnd
Feature request: Collate import closure into a single CLIF file enhancement
#31 opened Jun 30, 2018 by carmenchui
2
symbols (+, -) in comments and axioms
#29 opened Jun 13, 2018 by carmenchui
@thahmann @Fxhnd @evanmrsampson
4
Cleanup GUI
#28 opened Jun 6, 2018 by thahmann
@evanmrsampson
Error recovery using PLY enhancement
#27 opened Apr 25, 2018 by evanmrsampson
@thahmann @Fxhnd @evanmrsampson
4
analyze_logicals in Axiom.py crashes the parser when dealing w/ functions
#26 opened Apr 23, 2018 by evanmrsampson
@Fxhnd @evanmrsampson
1
pyparsing dependency
#23 opened Apr 4, 2018 by thahmann
@Fxhnd @evanmrsampson
10
Parser.py doesn't use prefix when importing
#20 opened Feb 12, 2018 by evanmrsampson
2
Parser doesn't like the /** <comment> **/ comments
#19 opened Dec 12, 2017 by Fxhnd
Uses different loggers for each reasoner enhancement
#17 opened Nov 16, 2017 by Fxhnd
2
Fix/Test setup.py bug question
#15 opened Oct 24, 2017 by Fxhnd
See if it's possible to remove pyWin and Win32 dependencies enhancement
#14 opened Oct 15, 2017 by Fxhnd
1
Consolidate configuration files enhancement
#12 opened Oct 15, 2017 by Fxhnd
@evanmrsampson
4
1 Shift/Reduce conflict enhancement
#9 opened Oct 3, 2017 by Fxhnd
10
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.