knowsys / rulewerk / 1441

Builds Branch Commit Type Ran Committer Via Coverage
1441 master Parser: Fix broken test on Windows push mmarx travis-ci pending completion   set done
1439 modular-reasoners VLog: Fix formatting push mmarx travis-ci pending completion   set done
1440 modular-reasoners Merge 426a07eb5 into 2ffff4048 Pull #172 web-flow travis-ci pending completion   set done
1438 modular-reasoners Merge 3b8a640cc into 2ffff4048 Pull #172 web-flow travis-ci pending completion   set done
1437 modular-reasoners VLog: Add another test case push mmarx travis-ci pending completion   set done
1436 modular-reasoners Merge 077b9dc38 into 2ffff4048 Pull #172 web-flow travis-ci pending completion   set done
1435 modular-reasoners Update documentation push mmarx travis-ci pending completion   set done
1434 modular-reasoners VLog: Add regression tests push mmarx travis-ci pending completion   set done
1433 modular-reasoners Core: Move VLog-specific part of InMemoryDataSource to rulewerk-vlog push mmarx travis-ci pending completion   set done
1432 modular-reasoners Core: Rework handling of Correctness in forEachInference push mmarx travis-ci pending completion   set done
1431 master Merge pull request #171 from knowsys/fix-javadoc-search Fix javadoc search push web-flow travis-ci pending completion   set done
1430 fix-javadoc-search Merge 3022f4155 into c941c8ab2 Pull #171 web-flow travis-ci pending completion   set done
1429 fix-javadoc-search Fix javadoc warnings push mmarx travis-ci pending completion   set done
1428 modular-reasoners Update paths for vlog-base build script push mmarx travis-ci pending completion   set done
1426 master Core: Fix script to build local VLog push mmarx travis-ci pending completion   set done