Skip to content

Actions: hazelgrove/hazel

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,909 workflow runs
2,909 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Hide stepper filters & bring back function names (#1532) Build and Deploy Hazel #6912: Commit 38f9222 pushed by cyrus-
February 22, 2025 01:46 3m 49s dev
dev
February 22, 2025 01:46 3m 49s
Prover tidy (#1527) Build and Deploy Hazel #6911: Commit c7fd601 pushed by Negabinary
February 21, 2025 19:59 4m 1s proof-steps
proof-steps
February 21, 2025 19:59 4m 1s
Bring back function names in stepper Build and Deploy Hazel #6910: Commit cd94802 pushed by Negabinary
February 21, 2025 19:45 3m 39s hide-stepper-filters
hide-stepper-filters
February 21, 2025 19:45 3m 39s
Hide filters in stepper Build and Deploy Hazel #6909: Commit c78af28 pushed by Negabinary
February 21, 2025 19:20 4m 7s hide-stepper-filters
hide-stepper-filters
February 21, 2025 19:20 4m 7s
Add buttons Build and Deploy Hazel #6908: Commit 81c90b4 pushed by Negabinary
February 21, 2025 19:07 3m 30s prover-axiom-box
prover-axiom-box
February 21, 2025 19:07 3m 30s
added unbound livelit error state, context searching matches existing… Build and Deploy Hazel #6907: Commit 0cf8f26 pushed by gcrois
February 21, 2025 18:15 11m 10s livelit
livelit
February 21, 2025 18:15 11m 10s
added unbound livelit error state, context switching matches existing… Build and Deploy Hazel #6906: Commit 9a9c948 pushed by gcrois
February 21, 2025 18:14 10m 42s livelit
livelit
February 21, 2025 18:14 10m 42s
init commit Build and Deploy Hazel #6905: Commit 3e693c2 pushed by shprasad10
February 21, 2025 05:19 8m 40s shprasad/impforalls
shprasad/impforalls
February 21, 2025 05:19 8m 40s
rebase rule spec Build and Deploy Hazel #6904: Commit 1362b62 pushed by GuoDCZ
February 21, 2025 03:29 4m 12s derivation
derivation
February 21, 2025 03:29 4m 12s
merge with dev + fix bug with constructor elaboration Build and Deploy Hazel #6903: Commit 530386c pushed by cyrus-
February 21, 2025 01:32 5m 5s faster-exhaustiveness-and-redundancy
faster-exhaustiveness-and-redundancy
February 21, 2025 01:32 5m 5s
Make the code structure more intuitive. Build and Deploy Hazel #6902: Commit e4477fb pushed by DavidFangWJ
February 20, 2025 23:39 3m 19s haz3l-new-func-syntax
haz3l-new-func-syntax
February 20, 2025 23:39 3m 19s
Success in first experiments under new syntax. Build and Deploy Hazel #6901: Commit f1c9bbe pushed by DavidFangWJ
February 20, 2025 22:06 3m 49s haz3l-new-func-syntax
haz3l-new-func-syntax
February 20, 2025 22:06 3m 49s
Added optional annotation params to factory methods and rewrite some … Build and Deploy Hazel #6900: Commit 168ee58 pushed by 7h3kk1d
February 20, 2025 21:57 4m 13s syntax_factory
syntax_factory
February 20, 2025 21:57 4m 13s
Tried to add "linked item" to map. Build and Deploy Hazel #6899: Commit cb4afe1 pushed by DavidFangWJ
February 20, 2025 15:55 11m 1s haz3l-new-func-syntax
haz3l-new-func-syntax
February 20, 2025 15:55 11m 1s
merge ut dev Build and Deploy Hazel #6898: Commit a75b610 pushed by GuoDCZ
February 20, 2025 07:06 4m 27s derivation
derivation
February 20, 2025 07:06 4m 27s
fix mold err; fix drv transistion error Build and Deploy Hazel #6897: Commit f3ec13a pushed by GuoDCZ
February 20, 2025 07:02 2m 1s derivation
derivation
February 20, 2025 07:02 2m 1s
merged in cards, added card slide Build and Deploy Hazel #6896: Commit e65f34b pushed by disconcision
February 20, 2025 04:48 4m 15s projectors-live
projectors-live
February 20, 2025 04:48 4m 15s
remove drvsymbols (buggy version) Build and Deploy Hazel #6895: Commit 0e645ec pushed by GuoDCZ
February 20, 2025 04:33 3m 32s derivation
derivation
February 20, 2025 04:33 3m 32s
Card cleanup Build and Deploy Hazel #6894: Commit 6be63d9 pushed by disconcision
February 20, 2025 04:32 3m 58s cards
cards
February 20, 2025 04:32 3m 58s
Use probe_test for labeled tuple Build and Deploy Hazel #6893: Commit c248c61 pushed by 7h3kk1d
February 19, 2025 22:37 4m 8s projectors-live-sp
projectors-live-sp
February 19, 2025 22:37 4m 8s
Add probe tests for factorial evaluation Build and Deploy Hazel #6892: Commit 6c929c0 pushed by 7h3kk1d
February 19, 2025 22:24 3m 57s projectors-live-sp
projectors-live-sp
February 19, 2025 22:24 3m 57s
Merge branch 'syntax_playground' into projectors-live Build and Deploy Hazel #6891: Commit 6ed91d5 pushed by 7h3kk1d
February 19, 2025 21:36 4m 23s projectors-live-sp
projectors-live-sp
February 19, 2025 21:36 4m 23s
add evaluation probe for inferred labeled tuple in tests Build and Deploy Hazel #6890: Commit 351c8ac pushed by 7h3kk1d
February 19, 2025 21:00 3m 17s projectors-live
projectors-live
February 19, 2025 21:00 3m 17s
Prover tidy (#1527) Build and Deploy Hazel #6889: Commit c7fd601 pushed by Negabinary
February 19, 2025 20:34 3m 42s induction-attempt-3
induction-attempt-3
February 19, 2025 20:34 3m 42s
Prover selection (#1525) Build and Deploy Hazel #6888: Commit 6409d47 pushed by Negabinary
February 19, 2025 20:30 3m 23s induction-attempt-3
induction-attempt-3
February 19, 2025 20:30 3m 23s