Dmitry Tsarkov
Untitled project
factplusplus
Issues
Filter by:
All
Open
Advanced search
Search
Issues
(1–7 of 7)
Title
T
P
Status
Votes
Assignee
Created
Updated
Actions
#68: Source code with some objects already compiled
task
major
resolved
Dmitry Tsarkov
2016-11-17
2016-12-31
#70: Lisp dumping sometimes puts use of properties before their declaration
bug
major
resolved
Dmitry Tsarkov
2016-11-28
2016-12-31
#71: Cannot get instances of a class from kernel
bug
major
resolved
2016-11-30
2016-12-11
#65: Exposing the snapshot capabilities
enhancement
major
resolved
2016-09-13
2016-09-13
#39: Updates from OWL API doesn't go into the reasoner
bug
major
resolved
Dmitry Tsarkov
2011-09-13
2011-09-13
#28: FaCTPlusPlusException: Reasoner.h:671: assertion 'unreachable' fails
bug
major
resolved
Dmitry Tsarkov
2010-07-05
2010-07-05
#4: datatype reasoning
bug
major
resolved
2007-07-13
2007-07-13