Build and Test the Rust API

Actions

All workflows
Workflows
- Build and Test CBMC Build and Test CBMC
- Build and Test on *BSD Build and Test on *BSD
- Build and Test the Rust API Build and Test the Rust API
- Build Doxygen Documentation Build Doxygen Documentation
- Build Linux partially with CPROVER tools Build Linux partially with CPROVER tools
- Build Xen with CPROVER tools Build Xen with CPROVER tools
- Clang Sanitizer Clang Sanitizer
- Codecov coverage report Codecov coverage report
- CodeQL CodeQL
- Create Release Create Release
Management
- Caches
- Deployments

Build and Test the Rust API

Actions

Loading...
Loading

1,012 workflow runs

Add --external-smt2-solver for custom solver path or custom options Build and Test the Rust API #4162: Pull request #8726 synchronize by tautschnig

2h 42m 42s tautschnig:smt-solver-command

tautschnig:smt-solver-command

2h 42m 42s

Merge pull request #8725 from tautschnig/macos-15 Build and Test the Rust API #4161: Commit b6caec4 pushed by tautschnig

2h 6m 1s develop

develop

2h 6m 1s

Release CBMC 6.8.0 Build and Test the Rust API #4160: Pull request #8727 opened by tautschnig

2h 48m 0s tautschnig:release-6.8.0

tautschnig:release-6.8.0

2h 48m 0s

Add --external-smt2-solver for custom solver path or custom options Build and Test the Rust API #4159: Pull request #8726 synchronize by tautschnig

23m 42s tautschnig:smt-solver-command

tautschnig:smt-solver-command

23m 42s

Add --external-smt2-solver for custom solver path or custom options Build and Test the Rust API #4158: Pull request #8726 synchronize by tautschnig

1m 33s tautschnig:smt-solver-command

tautschnig:smt-solver-command

1m 33s

Switch macos-13 CI jobs to macos-15-intel Build and Test the Rust API #4157: Pull request #8725 synchronize by tautschnig

2m 1s tautschnig:macos-15

tautschnig:macos-15

2m 1s

Add --external-smt2-solver for custom solver path or custom options Build and Test the Rust API #4156: Pull request #8726 synchronize by tautschnig

3m 30s tautschnig:smt-solver-command

tautschnig:smt-solver-command

3m 30s

Add --external-smt2-solver for custom solver path or custom options Build and Test the Rust API #4155: Pull request #8726 synchronize by tautschnig

1m 21s tautschnig:smt-solver-command

tautschnig:smt-solver-command

1m 21s

Add --external-smt2-solver for custom solver path or custom options Build and Test the Rust API #4154: Pull request #8726 opened by tautschnig

1m 42s tautschnig:smt-solver-command

tautschnig:smt-solver-command

1m 42s

Switch macos-13 CI jobs to macos-15-intel Build and Test the Rust API #4153: Pull request #8725 opened by tautschnig

16m 36s tautschnig:macos-15

tautschnig:macos-15

16m 36s

Merge pull request #8724 from tautschnig/simplify-with-single-member Build and Test the Rust API #4152: Commit c914c2c pushed by tautschnig

15m 4s develop

develop

15m 4s

Simplify WITH expression over structs with a single component Build and Test the Rust API #4151: Pull request #8724 synchronize by tautschnig

3m 23s tautschnig:simplify-with-single-member

tautschnig:simplify-with-single-member

3m 23s

Simplify WITH expression over structs with a single component Build and Test the Rust API #4150: Pull request #8724 opened by tautschnig

2m 23s tautschnig:simplify-with-single-member

tautschnig:simplify-with-single-member

2m 23s

Merge pull request #8721 from diffblue/dependabot/github_actions/acti… Build and Test the Rust API #4149: Commit 4f59921 pushed by tautschnig

2m 53s develop

develop

2m 53s

Bump actions/upload-artifact from 4 to 5 Build and Test the Rust API #4148: Pull request #8721 opened by dependabot bot

1m 57s dependabot/github_actions/actions/upload-artifact-5

dependabot/github_actions/actions/upload-artifact-5

1m 57s

Cleanup fmod vs IEEE remainder Build and Test the Rust API #4147: Pull request #7885 synchronize by tautschnig

4m 17s tautschnig:cleanup/floatbv-mod-rem

tautschnig:cleanup/floatbv-mod-rem

4m 17s

Merge pull request #8579 from tautschnig/bugfixes/field-sensitivity-u… Build and Test the Rust API #4146: Commit 147a1e3 pushed by tautschnig

3m 34s develop

develop

3m 34s

Merge pull request #8455 from tautschnig/protect-value_is_zero_string Build and Test the Rust API #4145: Commit 9d14448 pushed by tautschnig

20m 7s develop

develop

20m 7s

Field sensitivity: account for array size in all index expressions Build and Test the Rust API #4144: Pull request #8579 synchronize by tautschnig

1h 37m 35s tautschnig:bugfixes/field-sensitivity-union

tautschnig:bugfixes/field-sensitivity-union

1h 37m 35s

Field sensitivity: account for array size in all index expressions Build and Test the Rust API #4143: Pull request #8579 synchronize by tautschnig

1h 29m 20s tautschnig:bugfixes/field-sensitivity-union

tautschnig:bugfixes/field-sensitivity-union

1h 29m 20s

Mark constant_exprt::value_is_zero_string protected [depends-on: 8675] Build and Test the Rust API #4142: Pull request #8455 synchronize by tautschnig

1h 16m 50s tautschnig:protect-value_is_zero_string

tautschnig:protect-value_is_zero_string

1h 16m 50s

Field sensitivity: account for array size in all index expressions Build and Test the Rust API #4141: Pull request #8579 synchronize by tautschnig

57m 51s tautschnig:bugfixes/field-sensitivity-union

tautschnig:bugfixes/field-sensitivity-union

57m 51s

Merge pull request #8719 from tautschnig/bsd-actions Build and Test the Rust API #4140: Commit 06665e7 pushed by tautschnig

56m 11s develop

develop

56m 11s

Merge pull request #8675 from tautschnig/operator-equals Build and Test the Rust API #4139: Commit 0047c36 pushed by tautschnig

20m 20s develop

develop

20m 20s

Update *BSD CI actions to the latest OS versions Build and Test the Rust API #4138: Pull request #8719 synchronize by tautschnig

2m 43s tautschnig:bsd-actions

tautschnig:bsd-actions

2m 43s

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Actions

Workflows

Management