Skip to content

Actions: abdoo8080/lean-cvc5

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
171 workflow runs
171 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
feat: feature-complete Sort API, minor ffi-level Except Error-han… CI #343: Commit 61fd12e pushed by abdoo8080
4m 12s main
main
4m 12s
feat: feature-complete Sort API, minor ffi-level Except Error-handling improvements CI #342: Pull request #39 opened by AdrienChampion
3m 43s anzenlang:sort_api
anzenlang:sort_api
3m 43s
Term api and io world (#38) CI #341: Commit 7d1894b pushed by abdoo8080
3m 41s main
main
3m 41s
Term api and io world CI #340: Pull request #38 opened by AdrienChampion
3m 29s anzenlang:term_api_and_ioWorld
anzenlang:term_api_and_ioWorld
3m 29s
Update proof rules and skolem ids. CI #339: Commit a34a4ad pushed by abdoo8080
49s finite-fields-tag
finite-fields-tag
49s
CI CI #338: published by abdoo8080
1m 48s
1m 48s
Update proof rules and skolem ids. CI #337: Commit a34a4ad pushed by abdoo8080
21s finite-fields
finite-fields
21s
feat: add most of the term constructors in the term manager API (#37) CI #336: Commit 478b1ed pushed by abdoo8080
3m 39s main
main
3m 39s
feat: add most of the term constructors in the term manager API CI #335: Pull request #37 synchronize by AdrienChampion
3m 29s anzenlang:manager_api
anzenlang:manager_api
3m 29s
feat: add most of the term constructors in the term manager API CI #334: Pull request #37 opened by AdrienChampion
4m 7s anzenlang:manager_api
anzenlang:manager_api
4m 7s
0cfacc8 CI #333: Release 0cfacc8 published by abdoo8080
3m 31s
3m 31s
chore: add datatype-related tests to term manager's unit tests (#36) CI #332: Commit 0cfacc8 pushed by abdoo8080
3m 23s 0cfacc8
0cfacc8
3m 23s
chore: add datatype-related tests to term manager's unit tests (#36) CI #331: Commit 0cfacc8 pushed by abdoo8080
3m 40s main
main
3m 40s
Upgrade to Lean toolchain to v4.27.0. (#35) CI #330: Commit e01a08a pushed by abdoo8080
3m 32s main
main
3m 32s
fix: memory-safety bug in TermManager.mkRecordSort (#34) CI #329: Commit 0745123 pushed by abdoo8080
3m 49s main
main
3m 49s
chore: add datatype-related tests to term manager's unit tests CI #328: Pull request #36 opened by AdrienChampion
3m 19s anzenlang:manager_api
anzenlang:manager_api
3m 19s
Upgrade to Lean toolchain to v4.27.0. CI #327: Pull request #35 synchronize by zqy1018
4m 10s zqy1018:v4.27.0
zqy1018:v4.27.0
4m 10s
6754354 CI #325: Release 6754354 published by abdoo8080
1m 31s
1m 31s
Add function to get finite-field value. CI #324: Commit 6754354 pushed by abdoo8080
1m 57s 6754354
6754354
1m 57s
Add function to get finite-field value. CI #323: Commit 6754354 pushed by abdoo8080
1m 50s finite-fields
finite-fields
1m 50s
fix: memory-safety bug in TermManager.mkRecordSort CI #322: Pull request #34 opened by AdrienChampion
3m 33s anzenlang:issue33
anzenlang:issue33
3m 33s
Remove temporary parseCommands function from API. CI #321: Commit 8d6d02b pushed by abdoo8080
3m 23s main
main
3m 23s
Use Pedro's cvc5 release. CI #320: Commit 8a879a9 pushed by abdoo8080
1m 49s finite-fields
finite-fields
1m 49s
be011cf CI #319: Release be011cf published by abdoo8080
4m 12s
4m 12s
Update cvc5 version. (#32) CI #318: Commit be011cf pushed by abdoo8080
4m 5s be011cf
be011cf
4m 5s