Skip to content

Actions: antmicro/verilator

msbuild

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
733 workflow run results
733 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add missing const
msbuild #2658: Commit 6bd10c8 pushed by kozdra
August 27, 2024 16:13 14m 57s simpler-randomize-constraint
August 27, 2024 16:13 14m 57s
Basic constrained queue randomization
msbuild #2657: Commit 1667826 pushed by kozdra
August 27, 2024 15:45 11m 19s basic-randq
August 27, 2024 15:45 11m 19s
Setup CI
msbuild #2654: Commit ac4092e pushed by b-chmiel
August 27, 2024 12:35 23m 51s 64409-parallelize-variableorder
August 27, 2024 12:35 23m 51s
Fix empty foreach in if in constraints
msbuild #2651: Commit 69cce9e pushed by kbieganski
August 27, 2024 11:38 12m 36s constraints-fix-empty-foreach
August 27, 2024 11:38 12m 36s
Fix empty foreach in constraints
msbuild #2649: Commit cd2fab7 pushed by kbieganski
August 27, 2024 11:22 11m 38s constraints-fix-empty-foreach
August 27, 2024 11:22 11m 38s
Fix MT annotations
msbuild #2648: Commit 31832e8 pushed by b-chmiel
August 27, 2024 07:21 11m 43s parallelize-variableorder
August 27, 2024 07:21 11m 43s
Fix empty foreach in constraints
msbuild #2647: Commit 5c8b0bc pushed by kbieganski
August 26, 2024 17:51 11m 37s axi-vip
August 26, 2024 17:51 11m 37s
Fix empty foreach in constraints
msbuild #2646: Commit 6acf0ab pushed by kbieganski
August 26, 2024 17:44 11m 29s constraints-fix-empty-foreach
August 26, 2024 17:44 11m 29s
Normalize types in constraints
msbuild #2645: Commit 0c8689c pushed by kbieganski
August 26, 2024 17:43 11m 21s constraints-smtlib-typing
August 26, 2024 17:43 11m 21s
Normalize types in constraints
msbuild #2643: Commit 7e54f0e pushed by kbieganski
August 26, 2024 14:55 25m 43s constraints-smtlib-typing
August 26, 2024 14:55 25m 43s
Remove -Wno-lint from test
msbuild #2642: Commit fe99e51 pushed by kbieganski
August 26, 2024 14:39 40m 23s fix-infinite-recursion
August 26, 2024 14:39 40m 23s
Parallelize V3VariableOrder
msbuild #2641: Commit 1a87cf8 pushed by b-chmiel
August 26, 2024 14:39 20m 17s parallelize-variableorder
August 26, 2024 14:39 20m 17s
Parallelize V3VariableOrder
msbuild #2640: Commit 279620a pushed by b-chmiel
August 26, 2024 14:18 10m 35s parallelize-variableorder
August 26, 2024 14:18 10m 35s
Fix infinite recursion due to recursive functions/tasks
msbuild #2639: Commit 50b40d0 pushed by kbieganski
August 26, 2024 14:10 10m 54s fix-infinite-recursion
August 26, 2024 14:10 10m 54s
Use uint64_t in for condition too
msbuild #2638: Commit e33b1fa pushed by RRozak
August 26, 2024 13:32 14m 18s mglb/ParallelConcatenatedBuild
August 26, 2024 13:32 14m 18s
Fix infinite recursion due to recursive functions/tasks
msbuild #2637: Commit 09e9939 pushed by kbieganski
August 26, 2024 13:15 19m 14s fix-infinite-recursion
August 26, 2024 13:15 19m 14s
Normalize types in constraints
msbuild #2636: Commit 5a47b11 pushed by kbieganski
August 26, 2024 13:08 11m 44s constraints-smtlib-typing
August 26, 2024 13:08 11m 44s
Return bitvectors everywhere in constraints
msbuild #2635: Commit 34072a1 pushed by kbieganski
August 26, 2024 11:03 17m 21s constraints-smtlib-typing
August 26, 2024 11:03 17m 21s
Use uint64_t type for storing score
msbuild #2634: Commit c3f55a8 pushed by RRozak
August 26, 2024 10:40 11m 22s mglb/ParallelConcatenatedBuild
August 26, 2024 10:40 11m 22s