Skip to content

Actions: simon-stahlberg/mimir

Actions

Integration Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
integrationtests.yml
1,172 workflow runs
1,172 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

adapt some bindings probably some more changes needed Integration Tests #1174: Commit dc20a9a pushed by drexlerd
November 14, 2024 07:29 24m 41s main
main
November 14, 2024 07:29 24m 41s
refactored dl denotations to make it consistent with other cista rela… Integration Tests #1173: Commit dad7724 pushed by drexlerd
November 14, 2024 07:09 24m 43s main
main
November 14, 2024 07:09 24m 43s
work on bindings Integration Tests #1172: Commit 36380b4 pushed by drexlerd
November 13, 2024 14:07 24m 51s main
main
November 13, 2024 14:07 24m 51s
update bindings Integration Tests #1171: Commit 1b3328f pushed by drexlerd
November 13, 2024 09:33 25m 9s main
main
November 13, 2024 09:33 25m 9s
update bindings Integration Tests #1170: Commit 1b3328f pushed by drexlerd
November 13, 2024 09:32 26m 6s cista_refactor
cista_refactor
November 13, 2024 09:32 26m 6s
finished refactor grounded axiom and action Integration Tests #1169: Commit 405380b pushed by drexlerd
November 13, 2024 07:39 24m 33s cista_refactor
cista_refactor
November 13, 2024 07:39 24m 33s
. Integration Tests #1168: Commit de53d02 pushed by drexlerd
November 12, 2024 15:23 25m 27s cista_refactor
cista_refactor
November 12, 2024 15:23 25m 27s
work on actions and axioms Integration Tests #1167: Commit 551314f pushed by drexlerd
November 12, 2024 09:21 24m 21s cista_refactor
cista_refactor
November 12, 2024 09:21 24m 21s
refactor state Integration Tests #1166: Commit 7cc3d71 pushed by drexlerd
November 12, 2024 04:39 25m 4s cista_refactor
cista_refactor
November 12, 2024 04:39 25m 4s
added missing fmt cmakelists.txt to MANIFEST.in Integration Tests #1165: Commit 9f44726 pushed by drexlerd
October 28, 2024 21:23 24m 44s main
main
October 28, 2024 21:23 24m 44s
fix some syntax error and added comments Integration Tests #1164: Commit 4e73715 pushed by drexlerd
October 28, 2024 21:19 25m 1s main
main
October 28, 2024 21:19 25m 1s
removed support for directed graphs again. The code became too compli… Integration Tests #1163: Commit c8c3246 pushed by drexlerd
October 28, 2024 21:02 11m 52s main
main
October 28, 2024 21:02 11m 52s
added support for directed graphs in color refinement and kfwl Integration Tests #1162: Commit 954a112 pushed by drexlerd
October 28, 2024 20:30 24m 50s main
main
October 28, 2024 20:30 24m 50s
simplified computation of kfwl isomorphism types, added free function… Integration Tests #1161: Commit bf4f9d3 pushed by drexlerd
October 28, 2024 17:59 24m 34s main
main
October 28, 2024 17:59 24m 34s
added comment Integration Tests #1160: Commit 16431de pushed by drexlerd
October 28, 2024 17:02 24m 12s kfwl_test
kfwl_test
October 28, 2024 17:02 24m 12s
implementation of kfwl as described in a paper Integration Tests #1159: Commit bd95a29 pushed by drexlerd
October 28, 2024 16:47 24m 27s kfwl_test
kfwl_test
October 28, 2024 16:47 24m 27s
use L is kfwl instead of blindly iterating over all hashes Integration Tests #1158: Commit 0091fe2 pushed by drexlerd
October 28, 2024 15:23 25m 43s main
main
October 28, 2024 15:23 25m 43s
remove duplicate states from faithful abstraction when compute_comple… Integration Tests #1157: Commit ccccf38 pushed by drexlerd
October 27, 2024 22:16 24m 53s main
main
October 27, 2024 22:16 24m 53s
fix comparison and hash in gfa introduced after reworking hashing and… Integration Tests #1156: Commit 73b9462 pushed by drexlerd
October 27, 2024 20:46 24m 27s main
main
October 27, 2024 20:46 24m 27s
k-fwl tests pass Integration Tests #1155: Commit ac84ea4 pushed by drexlerd
October 27, 2024 14:42 24m 7s main
main
October 27, 2024 14:42 24m 7s
added missing final neighborhood configuration to decoding table Integration Tests #1154: Commit d0628d9 pushed by drexlerd
October 27, 2024 10:33 25m 29s main
main
October 27, 2024 10:33 25m 29s
some fixed in kfwl Integration Tests #1153: Commit 84f108f pushed by drexlerd
October 26, 2024 22:14 24m 1s main
main
October 26, 2024 22:14 24m 1s
added data Integration Tests #1152: Commit d979b2e pushed by drexlerd
October 26, 2024 21:54 24m 41s main
main
October 26, 2024 21:54 24m 41s
fix adl of operator<< Integration Tests #1151: Commit 971075d pushed by drexlerd
October 26, 2024 16:16 24m 43s main
main
October 26, 2024 16:16 24m 43s
simplification: added ostream operator<< overloads for pointer types.… Integration Tests #1150: Commit 5204fe6 pushed by drexlerd
October 26, 2024 12:43 26m 51s main
main
October 26, 2024 12:43 26m 51s