Skip to content

Actions: proof-ninja/BIRDS

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
128 workflow runs
128 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ast2sqlでviewのΔに対してinsert/deleteを出力しない CI #128: Pull request #49 synchronize by hiroshi-cl
October 6, 2024 15:09 6m 28s hiroshi-cl:feat/dl2u_del2
hiroshi-cl:feat/dl2u_del2
October 6, 2024 15:09 6m 28s
simplification コマンドに --prepare オプションを追加した (#48) CI #127: Commit 3b52686 pushed by cedretaber
September 25, 2024 11:26 3m 36s master
master
September 25, 2024 11:26 3m 36s
simplification コマンドに --prepare オプションを追加した CI #126: Pull request #48 synchronize by cedretaber
September 25, 2024 10:55 3m 46s add-prepare-option-on-simplification
add-prepare-option-on-simplification
September 25, 2024 10:55 3m 46s
Add some tests for simplification. CI #125: Commit 2ab8b7f pushed by cedretaber
September 25, 2024 10:55 3m 58s add-prepare-option-on-simplification
add-prepare-option-on-simplification
September 25, 2024 10:55 3m 58s
simplification コマンドに --prepare オプションを追加した CI #124: Pull request #48 reopened by cedretaber
September 19, 2024 12:15 4m 40s add-prepare-option-on-simplification
add-prepare-option-on-simplification
September 19, 2024 12:15 4m 40s
Add a sample code. CI #123: Commit 933a48a pushed by cedretaber
September 19, 2024 12:14 6m 30s add-prepare-option-on-simplification
add-prepare-option-on-simplification
September 19, 2024 12:14 6m 30s
ast2sqlでviewのΔに対してinsert/deleteを出力しない CI #122: Pull request #49 synchronize by hiroshi-cl
September 18, 2024 12:29 4m 38s hiroshi-cl:feat/dl2u_del2
hiroshi-cl:feat/dl2u_del2
September 18, 2024 12:29 4m 38s
simplification コマンドに --prepare オプションを追加した CI #121: Pull request #48 synchronize by cedretaber
September 18, 2024 11:09 4m 0s add-prepare-option-on-simplification
add-prepare-option-on-simplification
September 18, 2024 11:09 4m 0s
Add a sample code. CI #120: Commit 933a48a pushed by cedretaber
September 18, 2024 11:09 3m 53s add-prepare-option-on-simplification
add-prepare-option-on-simplification
September 18, 2024 11:09 3m 53s
ast2sqlでviewのΔに対してinsert/deleteを出力しない CI #119: Pull request #49 synchronize by hiroshi-cl
September 18, 2024 08:03 3m 59s hiroshi-cl:feat/dl2u_del2
hiroshi-cl:feat/dl2u_del2
September 18, 2024 08:03 3m 59s
ast2sqlでviewのΔに対してinsert/deleteを出力しない CI #118: Pull request #49 synchronize by hiroshi-cl
September 18, 2024 08:03 4m 1s hiroshi-cl:feat/dl2u_del2
hiroshi-cl:feat/dl2u_del2
September 18, 2024 08:03 4m 1s
ast2sqlでviewのΔに対してinsert/deleteを出力しない CI #117: Pull request #49 opened by hiroshi-cl
September 18, 2024 08:00 4m 5s hiroshi-cl:feat/dl2u_del2
hiroshi-cl:feat/dl2u_del2
September 18, 2024 08:00 4m 5s
simplification コマンドに --prepare オプションを追加した CI #116: Pull request #48 opened by cedretaber
September 11, 2024 11:15 3m 44s add-prepare-option-on-simplification
add-prepare-option-on-simplification
September 11, 2024 11:15 3m 44s
A view can be delta predicates with --prepare option. CI #115: Commit df13572 pushed by cedretaber
September 11, 2024 11:05 7m 54s add-prepare-option-on-simplification
add-prepare-option-on-simplification
September 11, 2024 11:05 7m 54s
Remove unused delta preds when simplification. (#47) CI #114: Commit 05fa4ca pushed by cedretaber
September 11, 2024 11:03 6m 12s master
master
September 11, 2024 11:03 6m 12s
inlining コマンドで対象の述語を指定できるようにした (#43) CI #113: Commit ae7981d pushed by cedretaber
September 11, 2024 11:03 6m 33s master
master
September 11, 2024 11:03 6m 33s
sources に出現せず他の述語でも使われていないΔ述語を除去するようにした CI #112: Pull request #47 opened by cedretaber
August 28, 2024 11:18 6m 45s fix-simplification-#1
fix-simplification-#1
August 28, 2024 11:18 6m 45s
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