Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / knowsys/rulewerk issues and pull requests
#171 - Fix javadoc search
Pull Request -
State: closed - Opened by mmarx over 4 years ago
#171 - Fix javadoc search
Pull Request -
State: closed - Opened by mmarx over 4 years ago
#171 - Fix javadoc search
Pull Request -
State: closed - Opened by mmarx over 4 years ago
#171 - Fix javadoc search
Pull Request -
State: closed - Opened by mmarx over 4 years ago
#170 - JavaDoc search feature fails
Issue -
State: closed - Opened by mkroetzsch almost 5 years ago
- 1 comment
Labels: bug, documentation
#170 - JavaDoc search feature fails
Issue -
State: closed - Opened by mkroetzsch almost 5 years ago
- 1 comment
Labels: bug, documentation
#170 - JavaDoc search feature fails
Issue -
State: closed - Opened by mkroetzsch almost 5 years ago
- 1 comment
Labels: bug, documentation
#170 - JavaDoc search feature fails
Issue -
State: closed - Opened by mkroetzsch almost 5 years ago
- 1 comment
Labels: bug, documentation
#170 - JavaDoc search feature fails
Issue -
State: closed - Opened by mkroetzsch almost 5 years ago
- 1 comment
Labels: bug, documentation
#170 - JavaDoc search feature fails
Issue -
State: closed - Opened by mkroetzsch almost 5 years ago
- 1 comment
Labels: bug, documentation
#170 - JavaDoc search feature fails
Issue -
State: closed - Opened by mkroetzsch almost 5 years ago
- 1 comment
Labels: bug, documentation
#170 - JavaDoc search feature fails
Issue -
State: closed - Opened by mkroetzsch almost 5 years ago
- 1 comment
Labels: bug, documentation
#170 - JavaDoc search feature fails
Issue -
State: closed - Opened by mkroetzsch almost 5 years ago
- 1 comment
Labels: bug, documentation
#170 - JavaDoc search feature fails
Issue -
State: closed - Opened by mkroetzsch almost 5 years ago
- 1 comment
Labels: bug, documentation
#169 - Building rulewerk for Windows
Issue -
State: open - Opened by mrnolte almost 5 years ago
- 1 comment
Labels: documentation, upstream bug
#169 - Building rulewerk for Windows
Issue -
State: open - Opened by mrnolte almost 5 years ago
- 1 comment
Labels: documentation, upstream bug
#169 - Building rulewerk for Windows
Issue -
State: open - Opened by mrnolte almost 5 years ago
- 1 comment
Labels: documentation, upstream bug
#169 - Building rulewerk for Windows
Issue -
State: open - Opened by mrnolte almost 5 years ago
- 1 comment
Labels: documentation, upstream bug
#169 - Building rulewerk for Windows
Issue -
State: open - Opened by mrnolte almost 5 years ago
- 1 comment
Labels: documentation, upstream bug
#169 - Building rulewerk for Windows
Issue -
State: open - Opened by mrnolte almost 5 years ago
- 1 comment
Labels: documentation, upstream bug
#169 - Building rulewerk for Windows
Issue -
State: open - Opened by mrnolte almost 5 years ago
- 1 comment
Labels: documentation, upstream bug
#169 - Building rulewerk for Windows
Issue -
State: open - Opened by mrnolte almost 5 years ago
- 1 comment
Labels: documentation, upstream bug
#168 - Test failure when building rulewerk
Issue -
State: closed - Opened by mrnolte almost 5 years ago
- 3 comments
Labels: upstream bug
#168 - Test failure when building rulewerk
Issue -
State: closed - Opened by mrnolte almost 5 years ago
- 3 comments
Labels: upstream bug
#168 - Test failure when building rulewerk
Issue -
State: closed - Opened by mrnolte almost 5 years ago
- 3 comments
Labels: upstream bug
#168 - Test failure when building rulewerk
Issue -
State: closed - Opened by mrnolte almost 5 years ago
- 3 comments
Labels: upstream bug
#168 - Test failure when building rulewerk
Issue -
State: closed - Opened by mrnolte almost 5 years ago
- 3 comments
Labels: upstream bug
#168 - Test failure when building rulewerk
Issue -
State: closed - Opened by mrnolte almost 5 years ago
- 3 comments
Labels: upstream bug
#168 - Test failure when building rulewerk
Issue -
State: closed - Opened by mrnolte almost 5 years ago
- 3 comments
Labels: upstream bug
#168 - Test failure when building rulewerk
Issue -
State: closed - Opened by mrnolte almost 5 years ago
- 3 comments
Labels: upstream bug
#168 - Test failure when building rulewerk
Issue -
State: closed - Opened by mrnolte almost 5 years ago
- 3 comments
Labels: upstream bug
#168 - Test failure when building rulewerk
Issue -
State: closed - Opened by mrnolte almost 5 years ago
- 3 comments
Labels: upstream bug
#168 - Test failure when building rulewerk
Issue -
State: closed - Opened by mrnolte almost 5 years ago
- 3 comments
Labels: upstream bug
#167 - Core: get chase result as a stream/iterator/collection of Facts/PositiveLiterals
Issue -
State: closed - Opened by irina-dragoste almost 5 years ago
- 1 comment
Labels: enhancement
#167 - Core: get chase result as a stream/iterator/collection of Facts/PositiveLiterals
Issue -
State: closed - Opened by irina-dragoste almost 5 years ago
- 1 comment
Labels: enhancement
#167 - Core: get chase result as a stream/iterator/collection of Facts/PositiveLiterals
Issue -
State: closed - Opened by irina-dragoste almost 5 years ago
- 1 comment
Labels: enhancement
#167 - Core: get chase result as a stream/iterator/collection of Facts/PositiveLiterals
Issue -
State: closed - Opened by irina-dragoste almost 5 years ago
- 1 comment
Labels: enhancement
#166 - Unexpected Reasoning result
Issue -
State: closed - Opened by mrnolte almost 5 years ago
- 2 comments
Labels: upstream bug
#166 - Unexpected Reasoning result
Issue -
State: closed - Opened by mrnolte almost 5 years ago
- 2 comments
Labels: upstream bug
#166 - Unexpected Reasoning result
Issue -
State: closed - Opened by mrnolte almost 5 years ago
- 2 comments
Labels: upstream bug
#166 - Unexpected Reasoning result
Issue -
State: closed - Opened by mrnolte almost 5 years ago
- 2 comments
Labels: upstream bug
#166 - Unexpected Reasoning result
Issue -
State: closed - Opened by mrnolte almost 5 years ago
- 2 comments
Labels: upstream bug
#166 - Unexpected Reasoning result
Issue -
State: closed - Opened by mrnolte almost 5 years ago
- 2 comments
Labels: upstream bug
#166 - Unexpected Reasoning result
Issue -
State: closed - Opened by mrnolte almost 5 years ago
- 2 comments
Labels: upstream bug
#166 - Unexpected Reasoning result
Issue -
State: closed - Opened by mrnolte almost 5 years ago
- 2 comments
Labels: upstream bug
#160 - Rename all the things
Pull Request -
State: closed - Opened by mmarx almost 5 years ago
#160 - Rename all the things
Pull Request -
State: closed - Opened by mmarx almost 5 years ago
#160 - Rename all the things
Pull Request -
State: closed - Opened by mmarx almost 5 years ago
#160 - Rename all the things
Pull Request -
State: closed - Opened by mmarx almost 5 years ago
#160 - Rename all the things
Pull Request -
State: closed - Opened by mmarx almost 5 years ago
#160 - Rename all the things
Pull Request -
State: closed - Opened by mmarx almost 5 years ago
#160 - Rename all the things
Pull Request -
State: closed - Opened by mmarx almost 5 years ago
#160 - Rename all the things
Pull Request -
State: closed - Opened by mmarx almost 5 years ago
#160 - Rename all the things
Pull Request -
State: closed - Opened by mmarx almost 5 years ago
#160 - Rename all the things
Pull Request -
State: closed - Opened by mmarx almost 5 years ago
#160 - Rename all the things
Pull Request -
State: closed - Opened by mmarx almost 5 years ago
#160 - Rename all the things
Pull Request -
State: closed - Opened by mmarx almost 5 years ago
#160 - Rename all the things
Pull Request -
State: closed - Opened by mmarx almost 5 years ago
#159 - Add Xtext grammar and initial syntax highlighting
Pull Request -
State: closed - Opened by alloka almost 5 years ago
- 3 comments
#159 - Add Xtext grammar and initial syntax highlighting
Pull Request -
State: closed - Opened by alloka almost 5 years ago
- 3 comments
#159 - Add Xtext grammar and initial syntax highlighting
Pull Request -
State: closed - Opened by alloka almost 5 years ago
- 3 comments
#159 - Add Xtext grammar and initial syntax highlighting
Pull Request -
State: closed - Opened by alloka almost 5 years ago
- 3 comments
#159 - Add Xtext grammar and initial syntax highlighting
Pull Request -
State: closed - Opened by alloka almost 5 years ago
- 3 comments
#159 - Add Xtext grammar and initial syntax highlighting
Pull Request -
State: closed - Opened by alloka almost 5 years ago
- 3 comments
#156 - [vlog] Check the efficiency of VLogReasoner:writeInferences
Issue -
State: open - Opened by alloka almost 5 years ago
- 1 comment
Labels: enhancement
#156 - [vlog] Check the efficiency of VLogReasoner:writeInferences
Issue -
State: open - Opened by alloka almost 5 years ago
- 1 comment
Labels: enhancement
#156 - [vlog] Check the efficiency of VLogReasoner:writeInferences
Issue -
State: open - Opened by alloka almost 5 years ago
- 1 comment
Labels: enhancement
#156 - [vlog] Check the efficiency of VLogReasoner:writeInferences
Issue -
State: open - Opened by alloka almost 5 years ago
- 1 comment
Labels: enhancement
#156 - [vlog] Check the efficiency of VLogReasoner:writeInferences
Issue -
State: open - Opened by alloka almost 5 years ago
- 1 comment
Labels: enhancement
#156 - [vlog] Check the efficiency of VLogReasoner:writeInferences
Issue -
State: open - Opened by alloka almost 5 years ago
- 1 comment
Labels: enhancement
#156 - [vlog] Check the efficiency of VLogReasoner:writeInferences
Issue -
State: open - Opened by alloka almost 5 years ago
- 1 comment
Labels: enhancement
#155 - [core] validate AbstractConstant name
Issue -
State: open - Opened by alloka almost 5 years ago
- 1 comment
Labels: bug
#155 - [core] validate AbstractConstant name
Issue -
State: open - Opened by alloka almost 5 years ago
- 1 comment
Labels: bug
#155 - [core] validate AbstractConstant name
Issue -
State: open - Opened by alloka almost 5 years ago
- 1 comment
Labels: bug
#155 - [core] validate AbstractConstant name
Issue -
State: open - Opened by alloka almost 5 years ago
- 1 comment
Labels: bug
#155 - [core] validate AbstractConstant name
Issue -
State: open - Opened by alloka almost 5 years ago
- 1 comment
Labels: bug
#155 - [core] validate AbstractConstant name
Issue -
State: open - Opened by alloka almost 5 years ago
- 1 comment
Labels: bug
#155 - [core] validate AbstractConstant name
Issue -
State: open - Opened by alloka almost 5 years ago
- 1 comment
Labels: bug
#155 - [core] validate AbstractConstant name
Issue -
State: open - Opened by alloka almost 5 years ago
- 1 comment
Labels: bug
#155 - [core] validate AbstractConstant name
Issue -
State: open - Opened by alloka almost 5 years ago
- 1 comment
Labels: bug
#155 - [core] validate AbstractConstant name
Issue -
State: open - Opened by alloka almost 5 years ago
- 1 comment
Labels: bug
#155 - [core] validate AbstractConstant name
Issue -
State: open - Opened by alloka almost 5 years ago
- 1 comment
Labels: bug
#155 - [core] validate AbstractConstant name
Issue -
State: open - Opened by alloka almost 5 years ago
- 1 comment
Labels: bug
#155 - [core] validate AbstractConstant name
Issue -
State: open - Opened by alloka almost 5 years ago
- 1 comment
Labels: bug
#154 - [examples] Get all inferences directly
Issue -
State: open - Opened by irina-dragoste almost 5 years ago
- 1 comment
Labels: enhancement, documentation
#154 - [examples] Get all inferences directly
Issue -
State: open - Opened by irina-dragoste almost 5 years ago
- 1 comment
Labels: enhancement, documentation
#154 - [examples] Get all inferences directly
Issue -
State: open - Opened by irina-dragoste almost 5 years ago
- 1 comment
Labels: enhancement, documentation
#154 - [examples] Get all inferences directly
Issue -
State: open - Opened by irina-dragoste almost 5 years ago
- 1 comment
Labels: enhancement, documentation
#154 - [examples] Get all inferences directly
Issue -
State: open - Opened by irina-dragoste almost 5 years ago
- 1 comment
Labels: enhancement, documentation
#154 - [examples] Get all inferences directly
Issue -
State: open - Opened by irina-dragoste almost 5 years ago
- 1 comment
Labels: enhancement, documentation
#154 - [examples] Get all inferences directly
Issue -
State: open - Opened by irina-dragoste almost 5 years ago
- 1 comment
Labels: enhancement, documentation
#154 - [examples] Get all inferences directly
Issue -
State: open - Opened by irina-dragoste almost 5 years ago
- 1 comment
Labels: enhancement, documentation
#154 - [examples] Get all inferences directly
Issue -
State: open - Opened by irina-dragoste almost 5 years ago
- 1 comment
Labels: enhancement, documentation
#154 - [examples] Get all inferences directly
Issue -
State: open - Opened by irina-dragoste almost 5 years ago
- 1 comment
Labels: enhancement, documentation
#154 - [examples] Get all inferences directly
Issue -
State: open - Opened by irina-dragoste almost 5 years ago
- 1 comment
Labels: enhancement, documentation
#154 - [examples] Get all inferences directly
Issue -
State: open - Opened by irina-dragoste almost 5 years ago
- 1 comment
Labels: enhancement, documentation
#154 - [examples] Get all inferences directly
Issue -
State: open - Opened by irina-dragoste almost 5 years ago
- 1 comment
Labels: enhancement, documentation
#152 - Core: separate KB rewriting code from VLogReasoner class
Issue -
State: closed - Opened by irina-dragoste almost 5 years ago
- 1 comment
Labels: code quality
#152 - Core: separate KB rewriting code from VLogReasoner class
Issue -
State: closed - Opened by irina-dragoste almost 5 years ago
- 1 comment
Labels: code quality
#152 - Core: separate KB rewriting code from VLogReasoner class
Issue -
State: closed - Opened by irina-dragoste almost 5 years ago
- 1 comment
Labels: code quality