Skip to content

Actions: formalsec/smtml

Actions

Deploy documentation to Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy.yml
232 workflow runs
232 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 SMTZilla examples where different solvers are used Deploy documentation to Pages #534: Commit e13db38 pushed by hra687261
6m 35s main
main
6m 35s
Expose raw evaluation of binop and relop in eval.ml Deploy documentation to Pages #533: Commit d1f09d5 pushed by filipeom
6m 37s main
main
6m 37s
Connect String_last_index to z3 and expose to solver mappings Deploy documentation to Pages #532: Commit 3598915 pushed by filipeom
6m 30s main
main
6m 30s
Update dune-site and dune-build-info lowerbounds Deploy documentation to Pages #531: Commit 7d3e3bf pushed by filipeom
6m 20s main
main
6m 20s
Release 0.26.0 Deploy documentation to Pages #530: Commit 68ccc7c pushed by filipeom
6m 38s main
main
6m 38s
Disable implicit transitive deps Deploy documentation to Pages #529: Commit 6c0a4c0 pushed by filipeom
6m 26s main
main
6m 26s
Add rresult to dune-project Deploy documentation to Pages #528: Commit 99b67cd pushed by filipeom
6m 31s main
main
6m 31s
Bump actions/upload-pages-artifact from 4 to 5 Deploy documentation to Pages #527: Commit bc2871f pushed by filipeom
6m 36s main
main
6m 36s
refactor get_symbols to avoid duplication and remove the hastbl Deploy documentation to Pages #526: Commit 4c509f6 pushed by filipeom
6m 37s main
main
6m 37s
Optimize bitvector numeral creation in solvers Deploy documentation to Pages #525: Commit 151f3c7 pushed by redianthus
7m 11s main
main
7m 11s
Release 0.25.0 Deploy documentation to Pages #524: Commit 3d19685 pushed by filipeom
6m 29s main
main
6m 29s
Update .github/workflows/deploy.yml Deploy documentation to Pages #523: Commit 9b41478 pushed by filipeom
5m 45s main
main
5m 45s
Deploy with ocaml-4.14-z3 for better coverage statistics Deploy documentation to Pages #522: Commit 29d6c37 pushed by filipeom
6m 1s main
main
6m 1s
Minor style adjustments and fix solver tests Deploy documentation to Pages #521: Commit 54d828f pushed by filipeom
6m 14s main
main
6m 14s
Fix dolmen hard constraint Deploy documentation to Pages #520: Commit 70d01fb pushed by filipeom
6m 35s main
main
6m 35s
ci: cleanup CI and add job to run collections-c benchmarks Deploy documentation to Pages #519: Commit 21f33cd pushed by filipeom
12m 25s main
main
12m 25s
fix: lazier evaluation of naryop and proper symbolic string concat Deploy documentation to Pages #518: Commit a794659 pushed by filipeom
6m 37s main
main
6m 37s
fix: use backslash for char escaping in .smtml format Deploy documentation to Pages #517: Commit f6892f5 pushed by filipeom
6m 37s main
main
6m 37s
chore: update copyright Deploy documentation to Pages #516: Commit ce422b3 pushed by filipeom
6m 40s main
main
6m 40s
fix: str.len instead of str.length Deploy documentation to Pages #515: Commit 89ff806 pushed by filipeom
6m 52s main
main
6m 52s
feat: add API to parse smtml expressions from file/string Deploy documentation to Pages #514: Commit 0392ba2 pushed by filipeom
5m 56s main
main
5m 56s
fix: respect sexp format in Naryop Deploy documentation to Pages #513: Commit 2ebf192 pushed by filipeom
6m 12s main
main
6m 12s
Bump hc 0.3 -> 0.5 Deploy documentation to Pages #512: Commit 3f968f3 pushed by filipeom
6m 14s main
main
6m 14s
Release 0.24.0 Deploy documentation to Pages #511: Commit 547cda3 pushed by filipeom
6m 7s main
main
6m 7s
Fix invalid input 'tags' in release-pr CI Deploy documentation to Pages #510: Commit fe93288 pushed by filipeom
8m 12s main
main
8m 12s