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
15 workflow runs
15 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
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: don't route internal callers through the notModelled 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
OptionalInt model: deterministic of/empty/isPresent/isEmpty/getAsInt 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
OptionalInt model: deterministic of/empty/isPresent/isEmpty/getAsInt 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