#412

Builds	Branch	Commit	Type	Ran	Committer	Coverage
#412	#122-owlapi_OWLDisjointObjectPropertiesAxiom_support	rework after code review	push	22 Sep 2021 01:45PM UTC	irina-dragoste	pending completion set done
#411	master	rewrote unit test such that VLog receives input generated by Rulewerk	push	15 Sep 2021 03:48PM UTC	irina-dragoste	pending completion set done
#410	master	fix .nix typo	push	15 Sep 2021 02:12PM UTC	irina-dragoste	pending completion set done
#409	acyclicity-add-RMFC	added RMFC integration tests	push	08 Sep 2021 11:50AM UTC	irina-dragoste	pending completion set done
#408	acyclicity-add-RMFC	use checkCyclicityProperty	push	04 Sep 2021 02:01PM UTC	irina-dragoste	pending completion set done
#407	acyclicity-add-RMFC	Refactor cyclicity and acyclicity properties enums	push	04 Sep 2021 01:50PM UTC	irina-dragoste	pending completion set done
#406	master	Merge pull request #214 from knowsys/acyclicity-tests Acyclicity tests JA, RJA, MFA, RMFA, MFC	push	04 Sep 2021 01:35PM UTC	web-flow	pending completion set done
#405	d5faecd12201bc5255053ace43577153f2810e3e	Merge 7a923a3c5 into a84f9ddb6	push	04 Sep 2021 01:33PM UTC	web-flow	pending completion set done
#404	acyclicity-tests	ignore failing integration tests	push	04 Sep 2021 01:31PM UTC	irina-dragoste	pending completion set done
#403	acyclicity-tests	added MFC test set	push	01 Sep 2021 04:46PM UTC	irina-dragoste	pending completion set done
#402	acyclicity-tests	added license headers	push	01 Sep 2021 03:13PM UTC	irina-dragoste	pending completion set done
#401	acyclicity-add-RMFC	refactor cyclicity and acyclicity notions	push	31 Aug 2021 04:22PM UTC	irina-dragoste	pending completion set done
#400	acyclicity-tests	added acyclicity test for Datalog ruleset	push	31 Aug 2021 02:19PM UTC	irina-dragoste	pending completion set done
#399	f1f991c633edb1a617003b0a01a1a22adfbcb221	Merge eb66fd178 into a84f9ddb6	push	28 Aug 2021 06:45PM UTC	web-flow	pending completion set done
#398	#122-owlapi_OWLDisjointObjectPropertiesAxiom_support	Merge remote-tracking branch 'origin/master' into #122-owlapi_OWLDisjointObjectPropertiesAxiom_support	push	28 Aug 2021 06:45PM UTC	irina-dragoste	pending completion set done

← Previous
1
2
3
4
5
6
7
8
9
10
…
32
33
Next →