Skip to content

Actions: yoni206/cvc5

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
180 workflow runs
180 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

minor
CI #1499: Commit acaaab6 pushed by yoni206
November 21, 2024 08:35 54m 54s interpolation-doc-fix
November 21, 2024 08:35 54m 54s
another fix
CI #1498: Commit 45ac017 pushed by yoni206
November 21, 2024 08:03 33m 0s interpolation-doc-fix
November 21, 2024 08:03 33m 0s
math fix
CI #1497: Commit d35c051 pushed by yoni206
November 21, 2024 07:55 8m 0s interpolation-doc-fix
November 21, 2024 07:55 8m 0s
fixing interpolation documentation
CI #1496: Commit b2ecd0b pushed by yoni206
November 21, 2024 07:38 17m 33s interpolation-doc-fix
November 21, 2024 07:38 17m 33s
fix doc of skolem
CI #1495: Commit 9951c9d pushed by yoni206
October 22, 2024 16:23 33m 54s int_blasting_skolems_official
October 22, 2024 16:23 33m 54s
minor
CI #1494: Commit 745dcf0 pushed by yoni206
October 22, 2024 12:03 16m 6s int_blasting_skolems_official
October 22, 2024 12:03 16m 6s
fix printer
CI #1493: Commit 2562d3f pushed by yoni206
October 22, 2024 09:36 22m 45s int_blasting_skolems_official
October 22, 2024 09:36 22m 45s
fix
CI #1492: Commit f7abf96 pushed by yoni206
October 22, 2024 08:58 18m 52s int_blasting_skolems_official
October 22, 2024 08:58 18m 52s
clang
CI #1491: Commit b3ee8e1 pushed by yoni206
October 22, 2024 08:47 3m 52s int_blasting_skolems_official
October 22, 2024 08:47 3m 52s
adding a skolem
CI #1490: Commit e684a45 pushed by yoni206
October 22, 2024 08:33 3m 50s int_blasting_skolems_official
October 22, 2024 08:33 3m 50s
sync
CI #1489: Commit f0c3bd6 pushed by yoni206
October 20, 2024 10:19 37m 6s main
October 20, 2024 10:19 37m 6s
some examples
CI #1488: Commit ccc684a pushed by yoni206
October 1, 2024 06:49 13m 17s ofec
October 1, 2024 06:49 13m 17s
more tests
CI #1487: Commit be2536d pushed by yoni206
September 17, 2024 22:14 30m 57s overflow_tests
September 17, 2024 22:14 30m 57s
Merge branch 'main' into int_blasting_overflow
CI #1486: Commit ad74f0a pushed by yoni206
September 17, 2024 20:26 1h 2m 46s int_blasting_overflow
September 17, 2024 20:26 1h 2m 46s
sync
CI #1485: Commit f6d00a8 pushed by yoni206
September 17, 2024 20:18 38m 21s main
September 17, 2024 20:18 38m 21s
undo nonsense
CI #1484: Commit 0f5f24f pushed by yoni206
September 17, 2024 20:05 45m 48s overflow_tests
September 17, 2024 20:05 45m 48s
fix proofs issue
CI #1483: Commit dc54029 pushed by yoni206
September 17, 2024 20:03 1m 46s overflow_tests
September 17, 2024 20:03 1m 46s
merge
CI #1482: Commit 67e6d31 pushed by yoni206
September 17, 2024 19:56 7m 26s overflow_tests
September 17, 2024 19:56 7m 26s
nego tests
CI #1481: Commit 6bc2888 pushed by yoni206
September 4, 2024 19:05 23m 31s overflow_tests
September 4, 2024 19:05 23m 31s
sync
CI #1480: Commit 55e7f1f pushed by yoni206
September 4, 2024 18:58 16m 12s main
September 4, 2024 18:58 16m 12s
Merge branch 'main' into int_blasting_overflow
CI #1479: Commit d261bbb pushed by yoni206
September 4, 2024 18:44 17m 55s int_blasting_overflow
September 4, 2024 18:44 17m 55s
Merge branch 'main' into overflow_tests
CI #1478: Commit 2acf54e pushed by yoni206
September 4, 2024 18:39 9m 29s overflow_tests
September 4, 2024 18:39 9m 29s
not good
CI #1477: Commit b23a368 pushed by yoni206
August 29, 2024 13:26 27m 22s bv2nat-uf
August 29, 2024 13:26 27m 22s
sync
CI #1476: Commit dc8e6bb pushed by yoni206
August 29, 2024 11:17 40m 19s main
August 29, 2024 11:17 40m 19s
redundant true condition
CI #1475: Commit 0867592 pushed by yoni206
August 22, 2024 12:18 36m 38s int_blasting_overflow
August 22, 2024 12:18 36m 38s