Skip to content

Actions: teorth/equational_theories

Actions

Disclaim Issue

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
02-disclaim-issue.yml
1,162 workflow runs
1,162 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

GREEDY: Refute 3308 -> 3456 Disclaim Issue #1162: Issue comment #666 (comment) created by b-reinke
November 24, 2024 13:33 2s
November 24, 2024 13:33 2s
refactoring fresh generators Disclaim Issue #1161: Issue comment #871 (comment) created by b-reinke
November 24, 2024 06:52 3s
November 24, 2024 06:52 3s
WRITING: Organize the greedy arguments in Section 7.4 of the blueprint Disclaim Issue #1160: Issue comment #902 (comment) created by mjtb49
November 23, 2024 23:42 3s
November 23, 2024 23:42 3s
Codyroux/boolean ring Disclaim Issue #1159: Issue comment #708 (comment) created by Shreyas4991
November 23, 2024 23:02 2s
November 23, 2024 23:02 2s
WRITING: Write the directed link prediction sub-section of the ML section Disclaim Issue #1158: Issue comment #897 (comment) created by pitmonticone
November 23, 2024 22:44 2s
November 23, 2024 22:44 2s
WRITING: Write the directed link prediction sub-section of the ML section Disclaim Issue #1157: Issue comment #897 (comment) created by pitmonticone
November 23, 2024 21:48 2s
November 23, 2024 21:48 2s
TREE: Refute 1447 -> 1429, 4269 Disclaim Issue #1156: Issue comment #832 (comment) created by goens
November 23, 2024 21:04 1s
November 23, 2024 21:04 1s
[CONTRIBUTIONS]: Pietro Monticone Disclaim Issue #1155: Issue comment #891 (comment) created by teorth
November 23, 2024 18:17 2s
November 23, 2024 18:17 2s
TREE: Refute 1447 -> 1429, 4269 Disclaim Issue #1154: Issue comment #832 (comment) created by goens
November 23, 2024 07:16 3s
November 23, 2024 07:16 3s
refactoring fresh generators Disclaim Issue #1153: Issue comment #871 (comment) created by teorth
November 22, 2024 16:08 4s
November 22, 2024 16:08 4s
refactoring fresh generators Disclaim Issue #1152: Issue comment #871 (comment) created by b-reinke
November 22, 2024 14:59 3s
November 22, 2024 14:59 3s
refactoring fresh generators Disclaim Issue #1151: Issue comment #871 (comment) created by madvorak
November 22, 2024 08:19 2s
November 22, 2024 08:19 2s
refactoring fresh generators Disclaim Issue #1150: Issue comment #871 (comment) created by b-reinke
November 22, 2024 07:49 2s
November 22, 2024 07:49 2s
refactoring fresh generators Disclaim Issue #1149: Issue comment #871 (comment) created by b-reinke
November 22, 2024 07:42 3s
November 22, 2024 07:42 3s
LARGE GREEDY: Refute all implications from 713, 1289, 1447 Disclaim Issue #1148: Issue comment #771 (comment) created by teorth
November 21, 2024 21:45 2s
November 21, 2024 21:45 2s
WRITING: create a more precise structure for project.tex Disclaim Issue #1147: Issue comment #873 (comment) created by Shreyas4991
November 21, 2024 18:42 2s
November 21, 2024 18:42 2s
refactoring fresh generators Disclaim Issue #1146: Issue comment #871 (comment) created by teorth
November 21, 2024 15:54 4s
November 21, 2024 15:54 4s
GREEDY: Refute 3308 -> 3456 Disclaim Issue #1145: Issue comment #666 (comment) created by b-reinke
November 20, 2024 07:37 2s
November 20, 2024 07:37 2s
GREEDY: Refute 1722 -> 644, 3050, 1832 Disclaim Issue #1144: Issue comment #659 (comment) created by b-reinke
November 19, 2024 11:16 19s
November 19, 2024 11:16 19s
GREEDY: Refute 1722 -> 644, 3050, 1832 Disclaim Issue #1143: Issue comment #659 (comment) created by b-reinke
November 19, 2024 11:16 3s
November 19, 2024 11:16 3s
FINITE MAGMA EXPLORER: Use the finite magma graph rather than the general magma graph to detect new refutations Disclaim Issue #1142: Issue comment #855 (comment) created by vlad902
November 19, 2024 07:29 2s
November 19, 2024 07:29 2s
FINITE MAGMA EXPLORER: Use the finite magma graph rather than the general magma graph to detect new refutations Disclaim Issue #1141: Issue comment #855 (comment) created by vlad902
November 19, 2024 07:21 2s
November 19, 2024 07:21 2s
FINITE MAGMA EXPLORER: Use the finite magma graph rather than the general magma graph to detect new refutations Disclaim Issue #1140: Issue comment #855 (comment) created by vlad902
November 19, 2024 07:21 2s
November 19, 2024 07:21 2s
FINITE MAGMA EXPLORER: Use the finite magma graph rather than the general magma graph to detect new refutations Disclaim Issue #1139: Issue comment #855 (comment) created by vlad902
November 19, 2024 07:19 3s
November 19, 2024 07:19 3s
GREEDY: Refute 1722 -> 644, 3050, 1832 Disclaim Issue #1138: Issue comment #659 (comment) created by b-reinke
November 19, 2024 06:30 3s
November 19, 2024 06:30 3s