Skip to content

Actions: meelgroup/csb

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
75 workflow runs
75 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

remove extra print
CI #76: Commit c7565c3 pushed by arijitsh
December 11, 2024 01:36 3m 48s devel
December 11, 2024 01:36 3m 48s
in case of projected cnf, print projcnf
CI #75: Commit cf5ad33 pushed by arijitsh
December 11, 2024 01:28 5m 5s main
December 11, 2024 01:28 5m 5s
remove extra print
CI #74: Commit c7565c3 pushed by arijitsh
December 11, 2024 01:26 3m 48s ganak
December 11, 2024 01:26 3m 48s
approxmc combined with ganak
CI #73: Commit e5fab06 pushed by arijitsh
December 11, 2024 01:24 4m 7s ganak
December 11, 2024 01:24 4m 7s
Merge branch 'projection' into ganak
CI #72: Commit c8fd493 pushed by arijitsh
November 30, 2024 01:04 3m 51s ganak
November 30, 2024 01:04 3m 51s
remove one more cout
CI #71: Commit 7169e41 pushed by arijitsh
November 30, 2024 01:04 5m 59s projection
November 30, 2024 01:04 5m 59s
if no projvar declared, move to non-projection mode
CI #70: Commit fe42898 pushed by arijitsh
November 29, 2024 23:57 5m 14s projection
November 29, 2024 23:57 5m 14s
don't show projection variables
CI #69: Commit 6ba1172 pushed by arijitsh
November 29, 2024 23:25 5m 18s projection
November 29, 2024 23:25 5m 18s
ganak solving. correctly?
CI #68: Commit aa70aef pushed by arijitsh
November 29, 2024 23:12 3m 53s ganak
November 29, 2024 23:12 3m 53s
add ganak headers for stp
CI #67: Commit 05e946a pushed by arijitsh
November 29, 2024 21:47 3m 44s ganak
November 29, 2024 21:47 3m 44s
adding findgmp and findmpfr
CI #66: Commit a33824e pushed by arijitsh
November 29, 2024 20:44 3m 57s ganak
November 29, 2024 20:44 3m 57s
minor
CI #65: Commit 66c40c7 pushed by arijitsh
November 29, 2024 16:19 4m 7s ganak
November 29, 2024 16:19 4m 7s
ganak almost compiling
CI #64: Commit 50dd66e pushed by arijitsh
November 29, 2024 06:28 4m 15s ganak
November 29, 2024 06:28 4m 15s
projection variables are supported for counting
CI #63: Commit 9e3a210 pushed by arijitsh
November 24, 2024 06:03 5m 48s projection
November 24, 2024 06:03 5m 48s
move projvars to stpmanager
CI #62: Commit 4202ac9 pushed by arijitsh
November 24, 2024 00:45 6m 13s projection
November 24, 2024 00:45 6m 13s
solve memory issue
CI #61: Commit 567a0f9 pushed by arijitsh
November 22, 2024 20:56 5m 57s main
November 22, 2024 20:56 5m 57s
update readme
CI #60: Commit 73d1247 pushed by arijitsh
November 16, 2024 00:13 5m 44s main
November 16, 2024 00:13 5m 44s
update readme
CI #59: Commit 73d1247 pushed by arijitsh
November 16, 2024 00:13 6m 8s projection
November 16, 2024 00:13 6m 8s
fix missing change in cmsgen
CI #58: Commit 945d41d pushed by arijitsh
November 16, 2024 00:00 6m 24s projection
November 16, 2024 00:00 6m 24s
pass sampling vars to sampling modes as well
CI #57: Commit b18d3c2 pushed by arijitsh
November 15, 2024 23:42 4m 50s projection
November 15, 2024 23:42 4m 50s
cleanup
CI #56: Commit fb2fbe1 pushed by arijitsh
November 15, 2024 22:19 5m 15s projection
November 15, 2024 22:19 5m 15s
missed few modifications
CI #55: Commit 9e724e5 pushed by arijitsh
November 15, 2024 21:22 5m 18s projection
November 15, 2024 21:22 5m 18s
pass projection vars to approxmc
CI #54: Commit 608a2d2 pushed by arijitsh
November 15, 2024 21:17 4m 45s projection
November 15, 2024 21:17 4m 45s
dummy function for projection variable addition
CI #53: Commit 27ca48d pushed by arijitsh
November 13, 2024 23:21 5m 11s projection
November 13, 2024 23:21 5m 11s
adding projection variable
CI #52: Commit 5a2b161 pushed by arijitsh
November 11, 2024 22:28 4m 47s projection
November 11, 2024 22:28 4m 47s