nickg / nvc

92%

master: 92%

LAST BUILD ON BRANCH psl-seq-instance-2

branch: psl-seq-instance-2

CHANGE BRANCH

x

Reset

• psl-seq-instance-2
• add-werror
• ansiparams
• bit-string-literal-quote-replacement
• bootstrap-order
• cover-embed-source-files
• cover-fix-generate-scope
• cover-fix-long-report-names
• cover-fix-sort
• cover-highlight-multiline-expressions
• cover-merge-modes
• cover-split
• cover_packages
• coverage-1
• coverage-2
• coverage-3
• coverage-cleanups
• coverage-minor-fixes
• coveralls
• crash_hash
• debug
• defaultnettype
• define-vlog-macro-from-command-line
• dev
• docfixes
• event
• extend-prev-to-arbitrary-clock-cycles
• fix-alias-attributes
• fix-boolean-array-dump
• fix-cover-pragma-around-generate
• fix-coverage-crash
• fix-coverage-hierarchy-sum
• fix-issue-1338
• fix-issue-1537
• fix-jit-test-compile-on-rhel
• fix-windows
• fix/internal-ffi-signatures
• fix/invalid_indexing
• fix/mode_view_typo
• fix/open_actual
• fix/vhpi-array-record-fields-upstream
• fix/vlog-repl-const-eval
• fix_aggregate_choice
• fix_alias_dup
• fix_alias_overload_check
• fix_arr_agg
• fix_binding_indication
• fix_file_index_constraint
• fix_foreign_data_string_copy
• fix_generic_ops
• fix_illegal_formal_part
• fix_instance_copy
• fix_named_args
• fix_rec_agg
• fix_subgen_all
• foo
• fuzz/09cc85b
• fuzz/4b927a9
• fuzz/4f9dd1c
• fuzz/59487d4
• fuzz/6d83562
• github-actions
• gitmodimo/vlog-genblock-scope
• initialfixup
• int_fold
• issue-1185
• issue-1425
• issue-1506
• issue-1517
• issue-1522
• issue-1529
• issue-1535
• issue-1569
• issue867
• jit_textio
• libdwarf
• libs-only-zstd
• llvm-update
• macrodef
• macroexp
• master
• more-actions
• mul_add_speed
• netparse
• nop
• parse-timing-check-condition
• parse-vlog-empty-port
• parse-vlog-event
• parse-vlog-min-typ-max
• parse-vlog-resetall
• parse-vlog-vector-enums
• patch-1
• period-tc-parsing
• prepro
• psl-add-feature-table
• psl-assert-message
• psl-mark-onehot-done
• psl-next-a
• psl-next-e
• psl-nondet
• psl-rose-and-fell
• r1.5.0
• race-test
• random-initialization
• range-records
• ranged_int_fold
• readme
• readme-wip
• reflection-fix
• refs/heads/master
• refs/heads/test
• refs/tags/r1.10.0
• refs/tags/r1.10.1
• refs/tags/r1.10.2
• refs/tags/r1.10.3
• refs/tags/r1.10.4
• refs/tags/r1.11.0
• refs/tags/r1.11.1
• refs/tags/r1.11.2
• refs/tags/r1.11.3
• refs/tags/r1.12.0
• refs/tags/r1.12.1
• refs/tags/r1.13.0
• refs/tags/r1.13.1
• refs/tags/r1.13.2
• refs/tags/r1.13.3
• refs/tags/r1.14.0
• refs/tags/r1.14.1
• refs/tags/r1.14.2
• refs/tags/r1.15.0
• refs/tags/r1.15.1
• refs/tags/r1.15.2
• refs/tags/r1.16.0
• refs/tags/r1.16.1
• refs/tags/r1.16.2
• refs/tags/r1.5.1
• refs/tags/r1.5.2
• refs/tags/r1.5.3
• refs/tags/r1.6.0
• refs/tags/r1.6.1
• refs/tags/r1.6.2
• refs/tags/r1.7.0
• refs/tags/r1.7.1
• refs/tags/r1.7.2
• refs/tags/r1.8.0
• refs/tags/r1.8.1
• refs/tags/r1.8.2
• refs/tags/r1.9.0
• refs/tags/r1.9.1
• refs/tags/r1.9.2
• runtime-randomizer
• sneaky-sneaky
• sup_gen_label_path
• test
• test-bsd
• test-fix
• test-windows
• ucis
• uncntdrive
• v1.10-branch
• v1.11-branch
• v1.12-branch
• v1.13-branch
• v1.14-branch
• v1.15-branch
• v1.16-branch
• v1.17-branch
• v1.18-branch
• v1.19-branch
• v1.20-branch
• v1.21-branch
• v1.5-branch
• v1.6-branch
• v1.7-branch
• v1.8-branch
• v1.9-branch
• vcode-denest
• verilog-const-func-ifgen
• verilog-fix-macro-precise
• verilog-gen-case-elseif
• verilog-severity-tasks
• vhpi-nested-record-array
• vhpiphysval
• vhpitime
• vlog-casez-question-mark
• vlog-define-comment
• vlog-fold-concat-replication
• vlog-parse-always-ff
• vlog-parse-package
• vlog-parse-power-operator
• vlog-parse-timing-checks
• vlog-string-compare-fix
• vlog_for_loop_sensitivity
• vlog_param_non_ansi_header
• vlog_repetition_braces
• vlog_unsigned
• wasmbuild
• wip

Build # 24671457357

Build Type

Pull #1510

github

Committed by web-flow

Commit Message

Merge cd47001f7 into d88f5611a

Pull Request Pull Request #1510: PSL sequence instances support

Coverage Stats

108 of 152 new or added lines in 7 files covered. (71.05%)

76872 of 83257 relevant lines covered (92.33%)

608545.43 hits per line