Skip to content

Actions: katydid/validator-lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
217 workflow runs
217 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

move functor proofs about extract replace into Functor file Check Proofs #192: Commit 8a1bbec pushed by awalterschulze
3m 25s main
main
3m 25s
move derive functions from Symbol to Room Check Proofs #191: Commit bf72bd8 pushed by awalterschulze
2m 46s main
main
2m 46s
add leave function that uses extractFrom and replaceFrom Check Proofs #190: Commit c3e048f pushed by awalterschulze
2m 32s main
main
2m 32s
rename deriveLeaves and deriveEnter to leaves and enters respectively Check Proofs #189: Commit 8321325 pushed by awalterschulze
2m 40s main
main
2m 40s
move deriveEnter and deriveLeave from Symbol Check Proofs #188: Commit 81631ba pushed by awalterschulze
2m 45s main
main
2m 45s
move Compress from Hedge to Regex Check Proofs #187: Commit f2cc4f2 pushed by awalterschulze
2m 39s main
main
2m 39s
make compress generic for regexes and not just for hedges Check Proofs #186: Commit b9af159 pushed by awalterschulze
2m 41s main
main
2m 41s
make mementer and memleave generic for regexes and not just hedges Check Proofs #185: Commit bf9f96f pushed by awalterschulze
3m 18s main
main
3m 18s
make deriveEnter and deriveLeave generic for regex and not specific t… Check Proofs #184: Commit 36d5db9 pushed by awalterschulze
2m 29s main
main
2m 29s
delete TokenPred Check Proofs #183: Commit 3c7e14a pushed by awalterschulze
2m 21s main
main
2m 21s
move Pred to AnyEq Check Proofs #182: Commit 8425e16 pushed by awalterschulze
2m 48s main
main
2m 48s
rename Closure to Partial Check Proofs #181: Commit bd7ae61 pushed by awalterschulze
2m 39s main
main
2m 39s
move Regex.Pair to Regex.Point Check Proofs #180: Commit 4afa8d9 pushed by awalterschulze
3m 46s main
main
3m 46s
move replace function into its own file Check Proofs #179: Commit ef56402 pushed by awalterschulze
2m 34s main
main
2m 34s
move extract into its own file Check Proofs #178: Commit f69b1ca pushed by awalterschulze
2m 32s main
main
2m 32s
move RegexID into its own file Check Proofs #177: Commit 69fbc94 pushed by awalterschulze
2m 40s main
main
2m 40s
move Symbol.num into its own file Num.lean Check Proofs #176: Commit 5d3b31c pushed by awalterschulze
2m 34s main
main
2m 34s
introduce Vec.foldl and start using it in nums Check Proofs #175: Commit 8f31d58 pushed by awalterschulze
2m 47s main
main
2m 47s
generalize Vec to any type universe and add foldl Check Proofs #174: Commit c53389a pushed by awalterschulze
2m 29s main
main
2m 29s
add example for derive closure Check Proofs #173: Commit b639379 pushed by awalterschulze
2m 28s main
main
2m 28s
prove validate commutes Check Proofs #172: Commit 335bec0 pushed by awalterschulze
2m 31s main
main
2m 31s
add smart derive Check Proofs #171: Commit 4362290 pushed by awalterschulze
2m 32s main
main
2m 32s
regex closure commutes Check Proofs #170: Commit 8ea6758 pushed by awalterschulze
2m 32s main
main
2m 32s
proof simple Regex.derive commutes Check Proofs #169: Commit 6a1e6d7 pushed by awalterschulze
2m 29s main
main
2m 29s
pull back change from Prop to Bool Check Proofs #168: Commit 7685875 pushed by awalterschulze
2m 34s main
main
2m 34s