Skip to content

Actions: proof-ninja/BIRDS

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
115 workflow runs
115 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove unused delta preds when simplification. CI #111: Commit 283ba81 pushed by cedretaber
August 28, 2024 11:11 6m 26s fix-simplification-#1
fix-simplification-#1
August 28, 2024 11:11 6m 26s
Merge pull request #44 from hiroshi-cl/bottom_constraints CI #110: Commit 02b96db pushed by cedretaber
August 28, 2024 11:08 6m 19s fix-simplification-#1
fix-simplification-#1
August 28, 2024 11:08 6m 19s
inlining コマンドで対象の述語を指定できるようにした CI #109: Pull request #43 synchronize by cedretaber
August 7, 2024 10:51 5m 46s inlining-with-target-pred
inlining-with-target-pred
August 7, 2024 10:51 5m 46s
Normal pred and delta pred are now treated as different types of rule. CI #108: Commit 0bfe601 pushed by cedretaber
August 7, 2024 10:51 3m 38s inlining-with-target-pred
inlining-with-target-pred
August 7, 2024 10:51 3m 38s
Merge pull request #44 from hiroshi-cl/bottom_constraints CI #107: Commit 02b96db pushed by hiroshi-cl
August 5, 2024 09:24 6m 36s master
master
August 5, 2024 09:24 6m 36s
inlining コマンドで対象の述語を指定できるようにした CI #106: Pull request #43 synchronize by cedretaber
July 31, 2024 10:32 6m 14s inlining-with-target-pred
inlining-with-target-pred
July 31, 2024 10:32 6m 14s
Add tests. CI #105: Commit 0e84637 pushed by cedretaber
July 31, 2024 10:32 7m 30s inlining-with-target-pred
inlining-with-target-pred
July 31, 2024 10:32 7m 30s
removebottomコマンドの追加 CI #104: Pull request #44 opened by hiroshi-cl
July 23, 2024 14:23 6m 53s hiroshi-cl:bottom_constraints
hiroshi-cl:bottom_constraints
July 23, 2024 14:23 6m 53s
inlining コマンドで対象の述語を指定できるようにした CI #103: Pull request #43 opened by cedretaber
July 21, 2024 11:44 6m 26s inlining-with-target-pred
inlining-with-target-pred
July 21, 2024 11:44 6m 26s
Inlining command can receive an target pred. CI #102: Commit 3b380ef pushed by cedretaber
July 21, 2024 11:37 6m 37s inlining-with-target-pred
inlining-with-target-pred
July 21, 2024 11:37 6m 37s
negative な場合に inlining を行わないように修正 (#41) CI #101: Commit 87090bf pushed by cedretaber
June 26, 2024 11:06 6m 31s master
master
June 26, 2024 11:06 6m 31s
Merge pull request #42 from hiroshi-cl/feat/arity0 CI #100: Commit 5340305 pushed by hiroshi-cl
June 11, 2024 12:22 6m 42s master
master
June 11, 2024 12:22 6m 42s
bodyがtrueのみのDatalog式を含むsimplification対応 CI #99: Pull request #42 synchronize by hiroshi-cl
June 7, 2024 16:02 14m 21s hiroshi-cl:feat/arity0
hiroshi-cl:feat/arity0
June 7, 2024 16:02 14m 21s
negative な場合に inlining を行わないように修正 CI #98: Pull request #41 synchronize by cedretaber
June 6, 2024 09:05 6m 13s do-not-inline-on-negative
do-not-inline-on-negative
June 6, 2024 09:05 6m 13s
Add a test. CI #97: Commit b99fe07 pushed by cedretaber
June 6, 2024 09:05 5m 59s do-not-inline-on-negative
do-not-inline-on-negative
June 6, 2024 09:05 5m 59s
negative な場合に inlining を行わないように修正 CI #96: Pull request #41 synchronize by cedretaber
June 5, 2024 10:39 10m 59s do-not-inline-on-negative
do-not-inline-on-negative
June 5, 2024 10:39 10m 59s
Do not inline on negative predicates. CI #95: Commit 4d14e84 pushed by cedretaber
June 5, 2024 10:39 6m 46s do-not-inline-on-negative
do-not-inline-on-negative
June 5, 2024 10:39 6m 46s
bodyがtrueのみのDatalog式を含むsimplification対応 CI #94: Pull request #42 opened by hiroshi-cl
June 3, 2024 15:01 7m 1s hiroshi-cl:feat/arity0
hiroshi-cl:feat/arity0
June 3, 2024 15:01 7m 1s
negative な場合に inlining を行わないように修正 CI #93: Pull request #41 opened by cedretaber
May 28, 2024 12:49 6m 45s do-not-inline-on-negative
do-not-inline-on-negative
May 28, 2024 12:49 6m 45s
Comment out inlining on negatives. CI #92: Commit 4a6f4ac pushed by cedretaber
May 28, 2024 12:38 3m 29s do-not-inline-on-negative
do-not-inline-on-negative
May 28, 2024 12:38 3m 29s
dl2u の改修 (#37) CI #91: Commit 4b25e90 pushed by cedretaber
May 25, 2024 05:18 3m 40s master
master
May 25, 2024 05:18 3m 40s
Merge pull request #39 from hiroshi-cl/feat/incrementalization_step2 CI #90: Commit ebf3a62 pushed by hiroshi-cl
May 22, 2024 11:32 13m 10s master
master
May 22, 2024 11:32 13m 10s
dl2u の改修 CI #89: Pull request #37 synchronize by cedretaber
May 22, 2024 10:41 6m 17s enhance-dl2u
enhance-dl2u
May 22, 2024 10:41 6m 17s
Add a test. CI #88: Commit 29c5955 pushed by cedretaber
May 22, 2024 10:41 7m 6s enhance-dl2u
enhance-dl2u
May 22, 2024 10:41 7m 6s
dl2u の改修 CI #87: Pull request #37 synchronize by cedretaber
May 14, 2024 18:04 3m 37s enhance-dl2u
enhance-dl2u
May 14, 2024 18:04 3m 37s