Skip to content

Actions: cksystemsteaching/selfie

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
947 workflow runs
947 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make Everything Selfie Make Everything Selfie #1778: Scheduled
January 24, 2025 01:02 22m 23s main
main
January 24, 2025 01:02 22m 23s
Experimenting with SAT simplifier Make Everything Selfie #1777: Commit 45a576c pushed by ckirsch
January 23, 2025 16:52 21m 44s rotor
rotor
January 23, 2025 16:52 21m 44s
Naive interval SAT solver Make Everything Selfie #1776: Commit b80f8bf pushed by ckirsch
January 23, 2025 14:58 20m 56s rotor
rotor
January 23, 2025 14:58 20m 56s
Keeping track of expression depth Make Everything Selfie #1775: Commit 26d8430 pushed by ckirsch
January 21, 2025 18:36 2h 32m 9s rotor
rotor
January 21, 2025 18:36 2h 32m 9s
Improving constraint dict in value sets Make Everything Selfie #1774: Commit 4835f40 pushed by ckirsch
January 17, 2025 18:23 2h 30m 10s rotor
rotor
January 17, 2025 18:23 2h 30m 10s
Caching AND and OR commutatively Make Everything Selfie #1773: Commit f2d511d pushed by ckirsch
January 17, 2025 17:24 2h 31m 52s rotor
rotor
January 17, 2025 17:24 2h 31m 52s
Make Everything Selfie Make Everything Selfie #1772: Scheduled
January 17, 2025 01:01 2h 33m 41s main
main
January 17, 2025 01:01 2h 33m 41s
Tiny bug in value generation Make Everything Selfie #1771: Commit 7b81422 pushed by ckirsch
January 16, 2025 17:25 2h 33m 14s rotor
rotor
January 16, 2025 17:25 2h 33m 14s
Proper accounting for generated expressions through array mapping and… Make Everything Selfie #1770: Commit dce3944 pushed by ckirsch
January 16, 2025 17:23 2h 32m 49s rotor
rotor
January 16, 2025 17:23 2h 32m 49s
Fixing tiny issue in unary propagation Make Everything Selfie #1769: Commit d3e419e pushed by ckirsch
January 16, 2025 15:56 2h 34m 25s rotor
rotor
January 16, 2025 15:56 2h 34m 25s
Fixing array-to-bitvectors mapping Make Everything Selfie #1768: Commit 79b6880 pushed by ckirsch
January 16, 2025 15:45 2h 28m 46s rotor
rotor
January 16, 2025 15:45 2h 28m 46s
Improving transitioning integrated with domain propagation Make Everything Selfie #1767: Commit 09bbcd6 pushed by ckirsch
January 16, 2025 14:44 2h 31m 44s rotor
rotor
January 16, 2025 14:44 2h 31m 44s
No transitioning of value sets during initialization Make Everything Selfie #1766: Commit 9cd0079 pushed by ckirsch
January 15, 2025 21:16 2h 30m 58s rotor
rotor
January 15, 2025 21:16 2h 30m 58s
Better argument naming Make Everything Selfie #1765: Commit dbff1a2 pushed by ckirsch
January 15, 2025 21:00 2h 29m 43s rotor
rotor
January 15, 2025 21:00 2h 29m 43s
Value sets of state variables are not transitioned anymore Make Everything Selfie #1764: Commit 9b3143f pushed by ckirsch
January 15, 2025 19:54 2h 28m 18s rotor
rotor
January 15, 2025 19:54 2h 28m 18s
Fixing stupid signed integer arithmetic error Make Everything Selfie #1763: Commit 4457d5c pushed by ckirsch
January 15, 2025 16:12 2h 30m 45s rotor
rotor
January 15, 2025 16:12 2h 30m 45s
Supporting division-by-zero and division-overflow semantics Make Everything Selfie #1762: Commit 2e6e38b pushed by ckirsch
January 15, 2025 13:04 2h 31m 29s rotor
rotor
January 15, 2025 13:04 2h 31m 29s
Domain propagation for computation operators Make Everything Selfie #1761: Commit 78da0a8 pushed by ckirsch
January 15, 2025 10:41 2h 31m 48s rotor
rotor
January 15, 2025 10:41 2h 31m 48s
Lazy evaluation of implies operator Make Everything Selfie #1760: Commit a085665 pushed by ckirsch
January 15, 2025 10:11 2h 30m 50s rotor
rotor
January 15, 2025 10:11 2h 30m 50s
Lazy evaluation of ite operator Make Everything Selfie #1759: Commit 0eea271 pushed by ckirsch
January 15, 2025 09:21 2h 30m 13s rotor
rotor
January 15, 2025 09:21 2h 30m 13s
Domain propagation for comparison operators Make Everything Selfie #1758: Commit b5ef7cd pushed by ckirsch
January 14, 2025 17:57 2h 31m 14s rotor
rotor
January 14, 2025 17:57 2h 31m 14s
Domain propagation for concat Make Everything Selfie #1757: Commit aea6ab4 pushed by ckirsch
January 13, 2025 20:34 2h 31m 20s rotor
rotor
January 13, 2025 20:34 2h 31m 20s
Naive transition from domain propagation to bit blasting Make Everything Selfie #1756: Commit 1a3d916 pushed by ckirsch
January 13, 2025 19:45 2h 31m 35s rotor
rotor
January 13, 2025 19:45 2h 31m 35s
Cleaning up unary and binary operator code Make Everything Selfie #1755: Commit 2774c3c pushed by ckirsch
January 13, 2025 19:00 2h 29m 49s rotor
rotor
January 13, 2025 19:00 2h 29m 49s
First attempt at domain propagation with unary operators Make Everything Selfie #1754: Commit e2a642a pushed by ckirsch
January 13, 2025 18:20 2h 31m 37s rotor
rotor
January 13, 2025 18:20 2h 31m 37s