Skip to content

Actions: formalsec/smtml

Actions

Deploy documentation to Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy.yml
208 workflow runs
208 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Avoid integer overflow when creating Dolmen terms in Bitv.v by using … Deploy documentation to Pages #361: Commit e0f1470 pushed by github-merge-queue bot
3m 55s main
main
3m 55s
Use git-cliff for automatic changelog generation (#388) Deploy documentation to Pages #360: Commit 7f92926 pushed by github-merge-queue bot
7m 52s main
main
7m 52s
Release v0.8.0 Deploy documentation to Pages #359: Commit 6f98c49 pushed by filipeom
5m 0s main
main
5m 0s
Add Solver_dispatcher.supported_solvers list Deploy documentation to Pages #358: Commit 9955af1 pushed by github-merge-queue bot
5m 58s main
main
5m 58s
Add alt-ergo to list of available solver to check Deploy documentation to Pages #357: Commit 8e14620 pushed by github-merge-queue bot
4m 12s main
main
4m 12s
Serialize exception log output in sexp format to a temp file Deploy documentation to Pages #356: Commit b1d8e57 pushed by github-merge-queue bot
4m 53s main
main
4m 53s
Ensure (int->float)->int simplification is sound Deploy documentation to Pages #355: Commit 5181fb2 pushed by github-merge-queue bot
5m 13s main
main
5m 13s
Allow lifting arbitrary width bitvector models Deploy documentation to Pages #354: Commit 90a2bd5 pushed by github-merge-queue bot
4m 20s main
main
4m 20s
Remove OfString and ToString operators from Int module Deploy documentation to Pages #353: Commit 612d452 pushed by github-merge-queue bot
4m 11s main
main
4m 11s
Update CHANGES.md Deploy documentation to Pages #352: Commit 9b1bb13 pushed by github-merge-queue bot
4m 10s main
main
4m 10s
Update test/unit/test_expr.ml Deploy documentation to Pages #351: Commit 801e1b7 pushed by github-merge-queue bot
4m 15s main
main
4m 15s
Add support for str.replace_all operator Deploy documentation to Pages #350: Commit 7a03cdb pushed by github-merge-queue bot
4m 14s main
main
4m 14s
add support for Bv of size 16 Deploy documentation to Pages #349: Commit a6ecea0 pushed by github-merge-queue bot
4m 18s main
main
4m 18s
Add expr_raw.mli Deploy documentation to Pages #348: Commit 5187562 pushed by github-merge-queue bot
5m 29s main
main
5m 29s
Add remaining SMT-COMP's 2025 datasets to datasets.sexp Deploy documentation to Pages #347: Commit ad886a0 pushed by filipeom
4m 23s main
main
4m 23s
Add Expr_raw module that only builds unsimplified expressions Deploy documentation to Pages #346: Commit 8b69662 pushed by github-merge-queue bot
5m 11s main
main
5m 11s
Don't rewrite types of well-typed symbols Deploy documentation to Pages #345: Commit c541033 pushed by github-merge-queue bot
4m 21s main
main
4m 21s
Start making benchmark runner declarative Deploy documentation to Pages #344: Commit be62647 pushed by github-merge-queue bot
4m 15s main
main
4m 15s
More floating point value parsing Deploy documentation to Pages #343: Commit 00ea4e6 pushed by github-merge-queue bot
5m 34s main
main
5m 34s
Support FPA literals {+|-}{inf,zero} and NaN Deploy documentation to Pages #342: Commit 3860ccd pushed by github-merge-queue bot
5m 6s main
main
5m 6s
int_of_term should expect a bitvector instead of an integer Deploy documentation to Pages #341: Commit 8ec6207 pushed by github-merge-queue bot
4m 4s main
main
4m 4s
Fix model tests Deploy documentation to Pages #340: Commit 170c2c3 pushed by github-merge-queue bot
4m 11s main
main
4m 11s
Fix rotate_{left|right} order of arguments in dolmenexpr_to_expr Deploy documentation to Pages #339: Commit 8043a88 pushed by github-merge-queue bot
4m 18s main
main
4m 18s
Fix cvc5's bindings Deploy documentation to Pages #338: Commit 86a6b58 pushed by github-merge-queue bot
4m 14s main
main
4m 14s
Support of_ieee_bv in Alt-Ergo's mapping Deploy documentation to Pages #337: Commit ebb99e2 pushed by github-merge-queue bot
4m 9s main
main
4m 9s