Skip to content

Actions: antmicro/verilator

Actions

build-test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-test.yml
570 workflow runs
570 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Extract case with forcing struct to separate test build-test #570: Commit 2471f55 pushed by RRozak
34m 8s rrozak/force-struct-array
rrozak/force-struct-array
34m 8s
Apply more suggestions build-test #569: Commit 6d28249 pushed by pawel-kojma
37m 38s 88804_fix_internal_error_init_array
88804_fix_internal_error_init_array
37m 38s
change description build-test #568: Commit e71dadf pushed by pawel-kojma
39m 18s 89567_internal_error_bugfix
89567_internal_error_bugfix
39m 18s
Fix WIDTHEXTEND suppression on add/sub with single-bit signal. build-test #567: Commit 3b1a7af pushed by ArturBieniek4
45m 1s master
master
45m 1s
Review fixes build-test #566: Commit a9147f3 pushed by b-chmiel
35m 13s dotted-trace-decls
dotted-trace-decls
35m 13s
Delete m_disableSeqIfp build-test #565: Commit 02d802d pushed by RRozak
49m 19s rrozak/disable-iff-sequences
rrozak/disable-iff-sequences
49m 19s
Remove unneeded comment build-test #564: Commit b4f3b0c pushed by RRozak
50m 54s rrozak/randomize-dyn-array
rrozak/randomize-dyn-array
50m 54s
Delete m_disableSeqIfp build-test #563: Commit db091b9 pushed by RRozak
31m 23s rrozak/disable-iff-sequences
rrozak/disable-iff-sequences
31m 23s
Use string instead of std::string build-test #562: Commit 29ef482 pushed by b-chmiel
42m 15s dotted-trace-decls
dotted-trace-decls
42m 15s
Reimplementation of V3Force - C++ helper looping only through active … build-test #561: Commit de395f8 pushed by ArturBieniek4
54m 30s 89452-force-rework-v5
89452-force-rework-v5
54m 30s
[#89221] Fix regression from #6730, use #0 delays to control fork sch… build-test #560: Commit 09dac50 pushed by ArturBieniek4
40m 27s 82036-fix-regression
82036-fix-regression
40m 27s
Fix disable iff in simple properties (#6890) build-test #559: Commit da14e7c pushed by b-chmiel
35m 1s master
master
35m 1s
Add support for dynamic array elements in std::randomize build-test #558: Commit bd52303 pushed by RRozak
46m 51s rrozak/randomize-dyn-array
rrozak/randomize-dyn-array
46m 51s
[#89221] Fix regression from #6730, use #0 delays to control fork sch… build-test #557: Commit 9f91e77 pushed by ArturBieniek4
15m 18s 82036-fix-regression
82036-fix-regression
15m 18s
[#89221] Fix regression from #6730, use #0 delays to control fork sch… build-test #556: Commit 01c5ae3 pushed by ArturBieniek4
12m 47s 82036-fix-regression
82036-fix-regression
12m 47s
Add Sampled only to propp() of concurrent assertions build-test #555: Commit 21b50cc pushed by RRozak
50m 22s rrozak/disable-iff-dont-sample
rrozak/disable-iff-dont-sample
50m 22s
Reimplementation of V3Force - C++ helper looping only through active … build-test #554: Commit 05cf900 pushed by ArturBieniek4
45m 19s 89452-force-rework-v5
89452-force-rework-v5
45m 19s
Reimplementation of V3Force - C++ helper looping only through active … build-test #553: Commit a2e9ea7 pushed by ArturBieniek4
1m 11s 89452-force-rework-v5
89452-force-rework-v5
1m 11s
TMP: Check if concurrent assertion always have propp() being AstPropSpec build-test #552: Commit 573949a pushed by RRozak
45m 48s rrozak/disable-iff-dont-sample
rrozak/disable-iff-dont-sample
45m 48s
Separate trace scope of cell and parent with '.' build-test #551: Commit 6eef9be pushed by b-chmiel
42m 49s dotted-trace-decls
dotted-trace-decls
42m 49s
TMP: Check if PropSpec is always child of concurrent assertion build-test #550: Commit 515e6a7 pushed by RRozak
33m 28s rrozak/disable-iff-dont-sample
rrozak/disable-iff-dont-sample
33m 28s
Fix overlapping case item expressions (#6825) (#6886) build-test #549: Commit 112e1e3 pushed by b-chmiel
45m 16s master
master
45m 16s
Add support for StructSel build-test #548: Commit 9f594b1 pushed by RRozak
44m 55s jwas/88749-randomize-complex-args
jwas/88749-randomize-complex-args
44m 55s
Add support for StructSel build-test #547: Commit 9f594b1 pushed by RRozak
36m 35s rrozak/randomize-complex-args
rrozak/randomize-complex-args
36m 35s
Add comment and move assert before comparison build-test #546: Commit 8044cdc pushed by RRozak
39m 16s rrozak/randomize-complex-args
rrozak/randomize-complex-args
39m 16s