Skip to content

Actions: diffblue/java-models-library

Actions

Build JBMC Java Models Library

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
models_library_pr.yml
23 workflow runs
23 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Model Class.forName with unique Class objects Build JBMC Java Models Library #27: Pull request #50 synchronize by tautschnig
42s kiro/class-forname
kiro/class-forname
42s
Model Class.forName with unique Class objects Build JBMC Java Models Library #26: Pull request #50 synchronize by tautschnig
27s kiro/class-forname
kiro/class-forname
27s
Class: create primitive classes without calling forName Build JBMC Java Models Library #25: Pull request #43 synchronize by tautschnig
28s fix-primitive-class-clinit
fix-primitive-class-clinit
28s
Model Class.forName with unique Class objects Build JBMC Java Models Library #24: Pull request #50 synchronize by tautschnig
31s kiro/class-forname
kiro/class-forname
31s
Model Class.forName with unique Class objects Build JBMC Java Models Library #23: Pull request #50 stacked by tautschnig
26s kiro/class-forname
kiro/class-forname
26s
Add java.util.OptionalInt Build JBMC Java Models Library #22: Pull request #41 synchronize by tautschnig
26s model-optionalint
model-optionalint
26s
Make the models compile with JDK 25 Build JBMC Java Models Library #21: Pull request #49 opened by tautschnig
46s kiro/jdk25
kiro/jdk25
46s
Model additions from SV-COMP 26 Build JBMC Java Models Library #20: Pull request #48 opened by peterschrammel
29s sv-comp26
sv-comp26
29s
Add the axiomatic collection models as an in-repo maven module Build JBMC Java Models Library #19: Pull request #47 opened by tautschnig
1m 26s axiomatic-models
axiomatic-models
1m 26s
HashSet model: deterministic Object[]-backed set Build JBMC Java Models Library #18: Pull request #45 synchronize by tautschnig
31s model-hashset
model-hashset
31s
LinkedHashMap + LinkedHashSet models: insertion/access order over HashMap/HashSet Build JBMC Java Models Library #17: Pull request #46 opened by tautschnig
32s model-linkedhashmap
model-linkedhashmap
32s
Add verification micro-benchmarks Build JBMC Java Models Library #16: Pull request #44 synchronize by tautschnig
34s verification-benchmarks
verification-benchmarks
34s
HashSet model: deterministic Object[]-backed set Build JBMC Java Models Library #15: Pull request #45 opened by tautschnig
27s model-hashset
model-hashset
27s
Add verification micro-benchmarks Build JBMC Java Models Library #14: Pull request #44 opened by tautschnig
25s verification-benchmarks
verification-benchmarks
25s
Class: create primitive classes without calling forName Build JBMC Java Models Library #13: Pull request #43 opened by tautschnig
35s fix-primitive-class-clinit
fix-primitive-class-clinit
35s
Iterator infrastructure for collection models: snapshot iterators + generic-element annotation Build JBMC Java Models Library #12: Pull request #42 synchronize by tautschnig
32s iterator-infrastructure
iterator-infrastructure
32s
Add java.util.OptionalInt Build JBMC Java Models Library #11: Pull request #41 synchronize by tautschnig
29s model-optionalint
model-optionalint
29s
regex: model Pattern/Matcher for JBMC's intercepted regex machinery Build JBMC Java Models Library #10: Pull request #40 synchronize by tautschnig
1m 9s regex-matcher-model
regex-matcher-model
1m 9s
Iterator infrastructure for collection models: snapshot iterators + generic-element annotation Build JBMC Java Models Library #9: Pull request #42 opened by tautschnig
31s iterator-infrastructure
iterator-infrastructure
31s
Add java.util.OptionalInt Build JBMC Java Models Library #8: Pull request #41 opened by tautschnig
32s model-optionalint
model-optionalint
32s
regex: model Pattern/Matcher for JBMC's intercepted regex machinery Build JBMC Java Models Library #7: Pull request #40 opened by tautschnig
10m 31s regex-matcher-model
regex-matcher-model
10m 31s
Remove misplaced file and improve README Build JBMC Java Models Library #6: Pull request #39 opened by peterschrammel
55s remove-misplaced-file
remove-misplaced-file
55s
SVCOMP'23 updates Build JBMC Java Models Library #5: Pull request #38 opened by peterschrammel
38s sv-comp23
sv-comp23
38s