knowsys / rulewerk / 1617

Builds Branch Commit Type Ran Committer Via Coverage
1617 shell also test handling of missing file push mkroetzsch travis-ci pending completion   set done
1615 shell better handling of unsupported OWL axioms push mkroetzsch travis-ci pending completion   set done
1616 shell Merge 118f50d8d into 6b792094b Pull #181 web-flow travis-ci pending completion   set done
1614 shell Merge eb26fa993 into 6b792094b Pull #181 web-flow travis-ci pending completion   set done
1613 shell Merge branch 'shell' of https://github.com/knowsys/rulewerk.git into shell push mkroetzsch travis-ci pending completion   set done
1612 shell Merge a2de5b031 into 6b792094b Pull #181 web-flow travis-ci pending completion   set done
1611 shell removed PromptProvider interface to simplify code push irina-dragoste travis-ci pending completion   set done
1610 shell Merge 27d823062 into 6b792094b Pull #181 web-flow travis-ci pending completion   set done
1609 shell remove unused imports push mkroetzsch travis-ci pending completion   set done
1608 shell Merge 9e352ee77 into 6b792094b Pull #181 web-flow travis-ci pending completion   set done
1607 shell Tests for trident source The tests are currently disabled due to VLog bugs but can be enabled when fixed push mkroetzsch travis-ci pending completion   set done
1606 shell Merge 4218319d6 into 6b792094b Pull #181 web-flow travis-ci pending completion   set done
1605 shell mention trident support push mkroetzsch travis-ci pending completion   set done
1604 shell Merge 877ba5dee into 6b792094b Pull #181 web-flow travis-ci pending completion   set done
1603 shell test trident source parsing push mkroetzsch travis-ci pending completion   set done