Workflow runs · diffblue/java-models-library · GitHub

Actions

All workflows
Actions
Loading...
Loading

Showing runs from all workflows

20 workflow runs

20 workflow runs

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

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

27s

Running Copilot Code Review Copilot #5: by CopilotAI

3m 56s verification-benchmarks

verification-benchmarks

3m 56s

Add verification micro-benchmarks Build JBMC Java Models Library #14: Pull request #44 opened by tautschnig

25s verification-benchmarks

verification-benchmarks

25s

Running Copilot Code Review Copilot #4: by CopilotAI

3m 14s fix-primitive-class-clinit

fix-primitive-class-clinit

3m 14s

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

Running Copilot Code Review Copilot #3: by CopilotAI

3m 42s iterator-infrastructure

iterator-infrastructure

3m 42s

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

Running Copilot Code Review Copilot #2: by CopilotAI

2m 7s model-optionalint

model-optionalint

2m 7s

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

Running Copilot Code Review Copilot #1: by CopilotAI

12m 52s regex-matcher-model

regex-matcher-model

12m 52s

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