Skip to content

Actions: formalsec/smtml

Actions

Test cvc5

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-cvc5.yml
268 workflow runs
268 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix binary list operators Test cvc5 #143: Commit 9a9c26d pushed by filipeom
September 17, 2024 17:46 34m 27s main
main
September 17, 2024 17:46 34m 27s
Fix binary list operators Test cvc5 #142: Pull request #215 synchronize by filipeom
September 17, 2024 17:29 34m 48s list-simpl
list-simpl
September 17, 2024 17:29 34m 48s
Fix binary list operators Test cvc5 #141: Pull request #215 opened by filipeom
September 17, 2024 17:14 34m 27s list-simpl
list-simpl
September 17, 2024 17:14 34m 27s
Adds missing string operators: < and <= Test cvc5 #140: Commit 24435b5 pushed by filipeom
September 17, 2024 14:44 16m 10s main
main
September 17, 2024 14:44 16m 10s
Fix Colibri2 mapping of cvtop operations Test cvc5 #139: Commit 8b16db4 pushed by filipeom
September 16, 2024 21:18 16m 13s main
main
September 16, 2024 21:18 16m 13s
Fix Colibri2 mapping of cvtop operations Test cvc5 #138: Pull request #214 opened by hra687261
September 16, 2024 20:41 16m 55s hra687261:fix_colibri2_cvtop
hra687261:fix_colibri2_cvtop
September 16, 2024 20:41 16m 55s
This has to fix CI Test cvc5 #137: Commit 30dc99f pushed by filipeom
September 15, 2024 19:33 16m 10s main
main
September 15, 2024 19:33 16m 10s
Try to fix CI again Test cvc5 #136: Commit 519f165 pushed by filipeom
September 14, 2024 18:01 15m 49s main
main
September 14, 2024 18:01 15m 49s
Try to fix CI again Test cvc5 #135: Commit a2c0895 pushed by filipeom
September 14, 2024 17:43 16m 49s main
main
September 14, 2024 17:43 16m 49s
Remove unecessary output in doc and fix deploy CI Test cvc5 #134: Commit c60f6b5 pushed by filipeom
September 14, 2024 15:46 15m 36s main
main
September 14, 2024 15:46 15m 36s
Format Test cvc5 #133: Commit 801e36e pushed by filipeom
September 14, 2024 10:29 16m 5s main
main
September 14, 2024 10:29 16m 5s
Use mdx in doc and fix unresolved refs Test cvc5 #132: Pull request #213 synchronize by filipeom
September 14, 2024 10:12 16m 55s use-mdx-in-doc
use-mdx-in-doc
September 14, 2024 10:12 16m 55s
Use mdx in doc and fix unresolved refs Test cvc5 #131: Pull request #213 synchronize by filipeom
September 14, 2024 09:31 15m 56s use-mdx-in-doc
use-mdx-in-doc
September 14, 2024 09:31 15m 56s
Use mdx in doc and fix unresolved refs Test cvc5 #130: Pull request #213 opened by filipeom
September 14, 2024 09:23 17m 17s use-mdx-in-doc
use-mdx-in-doc
September 14, 2024 09:23 17m 17s
Fixes benchpress config Test cvc5 #129: Commit 789c8c0 pushed by filipeom
September 14, 2024 08:49 15m 40s main
main
September 14, 2024 08:49 15m 40s
Update benchpress pin Test cvc5 #128: Commit 6c8c2b1 pushed by filipeom
September 13, 2024 16:47 17m 33s main
main
September 13, 2024 16:47 17m 33s
Add remaining parsing for Bitvectors and Floating-point arithmetic Test cvc5 #127: Pull request #209 synchronize by filipeom
September 13, 2024 16:27 16m 18s bitv-and-fpa
bitv-and-fpa
September 13, 2024 16:27 16m 18s
Add remaining parsing for Bitvectors and Floating-point arithmetic Test cvc5 #126: Pull request #209 synchronize by filipeom
September 13, 2024 16:17 4m 34s bitv-and-fpa
bitv-and-fpa
September 13, 2024 16:17 4m 34s
Add remaining parsing for Bitvectors and Floating-point arithmetic Test cvc5 #125: Pull request #209 synchronize by filipeom
September 13, 2024 11:37 4m 32s bitv-and-fpa
bitv-and-fpa
September 13, 2024 11:37 4m 32s
Add remaining parsing for Bitvectors and Floating-point arithmetic Test cvc5 #124: Pull request #209 synchronize by filipeom
September 13, 2024 09:14 4m 17s bitv-and-fpa
bitv-and-fpa
September 13, 2024 09:14 4m 17s
Add remaining parsing for Bitvectors and Floating-point arithmetic Test cvc5 #123: Pull request #209 synchronize by filipeom
September 12, 2024 19:47 15m 10s bitv-and-fpa
bitv-and-fpa
September 12, 2024 19:47 15m 10s
Add remaining parsing for Bitvectors and Floating-point arithmetic Test cvc5 #122: Pull request #209 synchronize by filipeom
September 12, 2024 18:27 15m 5s bitv-and-fpa
bitv-and-fpa
September 12, 2024 18:27 15m 5s
Add remaining parsing for Bitvectors and Floating-point arithmetic Test cvc5 #121: Pull request #209 synchronize by filipeom
September 11, 2024 23:11 15m 21s bitv-and-fpa
bitv-and-fpa
September 11, 2024 23:11 15m 21s
Add remaining parsing for Bitvectors and Floating-point arithmetic Test cvc5 #120: Pull request #209 opened by filipeom
September 11, 2024 18:04 14m 23s bitv-and-fpa
bitv-and-fpa
September 11, 2024 18:04 14m 23s
Add ALL logic Test cvc5 #119: Commit 282dd79 pushed by filipeom
September 9, 2024 23:22 14m 39s main
main
September 9, 2024 23:22 14m 39s