Skip to content

Actions: philzook58/knuckledragger

Actions

documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
documentation.yml
326 workflow runs
326 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

made name overlap more strict. maybe this makes external solvers easier? documentation #378: Commit 57d6aad pushed by philzook58
2m 39s main
main
2m 39s
generic tuple documentation #377: Commit 06b2d1d pushed by philzook58
2m 58s main
main
2m 58s
block ir, cache lark, made tests a little faster. rset documentation #376: Commit 56ed515 pushed by philzook58
2m 32s main
main
2m 32s
better errors. lim theorems documentation #375: Commit e061702 pushed by philzook58
2m 51s main
main
2m 51s
lim algebra theorems documentation #374: Commit cf8f7ee pushed by philzook58
2m 29s main
main
2m 29s
better error messages, sequence maximum documentation #373: Commit 6d5a220 pushed by philzook58
2m 33s main
main
2m 33s
better error messages, sequence maximum documentation #372: Commit 391c2fd pushed by philzook58
2m 22s main
main
2m 22s
obtain and sepeicliaze can now take fomrula and produce better error … documentation #371: Commit f74eeb0 pushed by philzook58
2m 21s main
main
2m 21s
better error messages and decimal constants documentation #370: Commit 69f0600 pushed by philzook58
2m 38s main
main
2m 38s
some seq defns, egglog is broken? documentation #369: Commit c249d3b pushed by philzook58
2m 41s main
main
2m 41s
moved complex up. Universal type as open datatype documentation #368: Commit 3a6a962 pushed by philzook58
2m 46s main
main
2m 46s
well formed. plugged in more microlean documentation #367: Commit 5e34b48 pushed by philzook58
2m 41s main
main
2m 41s
improved pcode documentation #366: Commit 79b454d pushed by philzook58
1m 57s main
main
1m 57s
lock update documentation #365: Commit 42fa6f1 pushed by philzook58
1m 57s main
main
1m 57s
type check documentation #364: Commit 33cf617 pushed by philzook58
2m 29s main
main
2m 29s
prop idea. casting. emt tactics. pcode proof state documentation #363: Commit a6efbe3 pushed by philzook58
1m 47s main
main
1m 47s
chmod eprover documentation #362: Commit 0266c5b pushed by philzook58
2m 8s main
main
2m 8s
move eprover out of install. add dpll documentation #361: Commit 0877d73 pushed by philzook58
1m 50s main
main
1m 50s
lambda lift for solvers documentation #360: Commit 446622c pushed by philzook58
2m 2s main
main
2m 2s
pcode cace actually firing now documentation #359: Commit cb07678 pushed by philzook58
1m 57s main
main
1m 57s
folded version + cached memory in pypocde. universal type documentation #358: Commit c4c0be2 pushed by philzook58
1m 48s main
main
1m 48s
more lean parser madness documentation #357: Commit c0529bf pushed by philzook58
1m 51s main
main
1m 51s
cached array in pcode. opening up lean parser documentation #356: Commit 6e497eb pushed by philzook58
1m 54s main
main
1m 54s
pcode interpreter uses folded expressions. Moved tptp and smtlib func… documentation #355: Commit 6fae002 pushed by philzook58
1m 51s main
main
1m 51s
disable testpypi builds documentation #354: Commit ffcefa9 pushed by philzook58
1m 48s main
main
1m 48s