nickg / nvc / 24927520513

Builds Branch Commit Type Ran Committer Via Coverage
24927520513 master Avoid division by zero when simplifying Verilog expression push nickg github
92.2
24927232832 test Avoid division by zero when simplifying Verilog expression push nickg github
92.2
24910867536 master Skip local variables in @(*) sensitivity list push nickg github
92.21
24909929666 test Skip local variables in @(*) sensitivity list push nickg github
92.21
24801963231 master Sync NEWS.md from 1.20 branch push nickg github
92.3
24801612897 v1.20-branch Update 1.20.1 release push nickg github
92.34
24800555114 master Partial support of PSL next_a (#1319) * psl dumping for built-in fcalls, union, and value sets. * partial support for psl_next_a * Adjust guard in build_next_a --------- Co-authored-by: Nick Gasson <nick@nickg.me.uk> push web-flow github
92.3
24800675223 v1.20-branch Fix GNU-ism in issue1444.sh test script Fixes #1496 push nickg github
92.34
24800469367 master Fix GNU-ism in issue1444.sh test script Fixes #1496 push nickg github
92.36
24800548752 psl-next-a Merge 8f040bb1c into 967264ee7 Pull #1319 web-flow github
92.3
24799882095 psl-next-a Merge d085ed3e9 into d88f5611a Pull #1319 web-flow github
92.3
24799902718 master Fix memory corruption with toggle coverage and aliased signals push nickg github
92.36
24798769811 test Fix memory corruption with toggle coverage and aliased signals push nickg github
92.36
24743598200 random-initialization Merge ef0c4c067 into d88f5611a Pull #1384 web-flow github
92.41
24743028660 random-initialization Merge 1ca0aa8fe into d88f5611a Pull #1384 web-flow github
92.41