Skip to content

Actions: nickg/nvc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,370 workflow runs
1,370 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix handling of records in lower_constrain_port Build and test #4418: Commit 7c5b5e8 pushed by nickg
12m 16s master
master
12m 16s
Fix handling of records in lower_constrain_port Build and test #4417: Commit afdf98e pushed by nickg
15m 59s test
test
15m 59s
Partial support of PSL next_a Build and test #4416: Pull request #1319 synchronize by Blebowski
14m 5s Blebowski:psl-next-a
Blebowski:psl-next-a
14m 5s
Handle record element constraints in get_subtype_for Build and test #4415: Commit c5bc228 pushed by nickg
17m 11s master
master
17m 11s
Handle record element constraints in get_subtype_for Build and test #4414: Commit f7ea259 pushed by nickg
13m 24s test
test
13m 24s
Test LLVM releases Test LLVM releases #27: Scheduled
3m 5s master
master
3m 5s
Partial support of PSL next_a Build and test #4413: Pull request #1319 synchronize by Blebowski
12m 35s Blebowski:psl-next-a
Blebowski:psl-next-a
12m 35s
Partial support of PSL next_a Build and test #4412: Pull request #1319 opened by Blebowski
12m 41s Blebowski:psl-next-a
Blebowski:psl-next-a
12m 41s
Test OSVVM on Windows Test OSVVM on Windows #155: Scheduled
1m 25s master
master
1m 25s
System function $clog2 is constant. Fixes #1312 Build and test #4411: Commit e82225c pushed by nickg
12m 45s master
master
12m 45s
System function $clog2 is constant Build and test #4410: Commit 87ce2d9 pushed by nickg
13m 2s test
test
13m 2s
System function $clog2 is constant Build and test #4409: Commit fe3dad4 pushed by nickg
13m 7s test
test
13m 7s
Improve type checking for Verilog binary operators Build and test #4408: Commit 6435336 pushed by nickg
12m 40s master
master
12m 40s
Improve type checking for Verilog binary operators Build and test #4407: Commit 6435336 pushed by nickg
12m 22s test
test
12m 22s
Parse more class and method syntax Build and test #4406: Commit 2eb98d5 pushed by nickg
13m 43s master
master
13m 43s
Fix required argument calculation for subprograms with mode view Build and test #4405: Commit 59cc34e pushed by nickg
12m 45s v1.18-branch
v1.18-branch
12m 45s
Fix required argument calculation for subprograms with mode view Build and test #4404: Commit d4fdc7e pushed by nickg
12m 23s master
master
12m 23s
Fix required argument calculation for subprograms with mode view Build and test #4403: Commit d0e478d pushed by nickg
12m 33s test
test
12m 33s
Fix crash when releasing record signal Build and test #4402: Commit 14888b9 pushed by nickg
12m 21s test
test
12m 21s
Support nondet PSL function call (#1295) Build and test #4401: Commit 71d1e2e pushed by nickg
12m 30s master
master
12m 30s
Support nondet PSL function call Build and test #4400: Pull request #1295 synchronize by nickg
12m 21s Blebowski:psl-nondet
Blebowski:psl-nondet
12m 21s
Update psl23 expected output Build and test #4399: Commit cb497b4 pushed by nickg
13m 27s master
master
13m 27s
Add custom message for PSL assert (#1309) Build and test #4398: Commit 9029ec2 pushed by nickg
5m 49s master
master
5m 49s
add custom message for PSL assert Build and test #4397: Pull request #1309 synchronize by nickg
6m 59s Blebowski:psl-assert-message
Blebowski:psl-assert-message
6m 59s
add custom message for PSL assert Build and test #4396: Pull request #1309 synchronize by nickg
1m 1s Blebowski:psl-assert-message
Blebowski:psl-assert-message
1m 1s