Skip to content

Actions: philzook58/knuckledragger

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
457 workflow runs
457 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

new calc step by step, filling out real theory, abstract_arith, debug… Python package #21: Commit 560a17f pushed by philzook58
September 13, 2024 04:20 24s main
main
September 13, 2024 04:20 24s
pages build and deployment pages-build-deployment #27: by github-pages bot
August 30, 2024 17:24 31s gh-pages
gh-pages
August 30, 2024 17:24 31s
filling out reals. no redefinition of records. documentation #34: Commit efa0b33 pushed by philzook58
August 30, 2024 17:24 26s main
main
August 30, 2024 17:24 26s
filling out reals. no redefinition of records. Python package #20: Commit efa0b33 pushed by philzook58
August 30, 2024 17:24 32s main
main
August 30, 2024 17:24 32s
pages build and deployment pages-build-deployment #26: by github-pages bot
August 24, 2024 14:02 22s gh-pages
gh-pages
August 24, 2024 14:02 22s
refactored cond, recrusive well formed in record, Lemma forward tactic documentation #33: Commit 3a4bf86 pushed by philzook58
August 24, 2024 14:02 31s main
main
August 24, 2024 14:02 31s
refactored cond, recrusive well formed in record, Lemma forward tactic Python package #19: Commit 3a4bf86 pushed by philzook58
August 24, 2024 14:02 23s main
main
August 24, 2024 14:02 23s
pages build and deployment pages-build-deployment #25: by github-pages bot
August 22, 2024 17:40 25s gh-pages
gh-pages
August 22, 2024 17:40 25s
initial vampire. Rec ord constructor syntax. Vec2, floor. well formed… documentation #32: Commit 4829e90 pushed by philzook58
August 22, 2024 17:39 30s main
main
August 22, 2024 17:39 30s
initial vampire. Rec ord constructor syntax. Vec2, floor. well formed… Python package #18: Commit 4829e90 pushed by philzook58
August 22, 2024 17:39 27s main
main
August 22, 2024 17:39 27s
pages build and deployment pages-build-deployment #24: by github-pages bot
August 12, 2024 13:58 31s gh-pages
gh-pages
August 12, 2024 13:58 31s
Merge pull request #2 from philzook58/cvc5 documentation #31: Commit 2f3c04f pushed by philzook58
August 12, 2024 13:58 31s main
main
August 12, 2024 13:58 31s
Merge pull request #2 from philzook58/cvc5 Python package #17: Commit 2f3c04f pushed by philzook58
August 12, 2024 13:58 30s main
main
August 12, 2024 13:58 30s
cvc5 Python package #16: Pull request #2 synchronize by philzook58
August 9, 2024 20:33 23s cvc5
cvc5
August 9, 2024 20:33 23s
cvc5 documentation #30: Pull request #2 synchronize by philzook58
August 9, 2024 20:33 28s cvc5
cvc5
August 9, 2024 20:33 28s
cvc5 depedency in CI documentation #29: Commit a2d4b9b pushed by philzook58
August 9, 2024 20:33 29s cvc5
cvc5
August 9, 2024 20:33 29s
cvc5 Python package #15: Pull request #2 opened by philzook58
August 9, 2024 20:32 33s cvc5
cvc5
August 9, 2024 20:32 33s
cvc5 documentation #28: Pull request #2 opened by philzook58
August 9, 2024 20:32 27s cvc5
cvc5
August 9, 2024 20:32 27s
cvc5 is now under env variable KNUCKLE_SOLVER documentation #27: Commit 355c19c pushed by philzook58
August 9, 2024 20:30 26s cvc5
cvc5
August 9, 2024 20:30 26s
pages build and deployment pages-build-deployment #23: by github-pages bot
August 9, 2024 14:13 23s gh-pages
gh-pages
August 9, 2024 14:13 23s
cleanup Python package #14: Commit b63ae57 pushed by philzook58
August 9, 2024 14:12 24s main
main
August 9, 2024 14:12 24s
cleanup documentation #26: Commit b63ae57 pushed by philzook58
August 9, 2024 14:12 38s main
main
August 9, 2024 14:12 38s
pages build and deployment pages-build-deployment #22: by github-pages bot
August 6, 2024 19:16 26s gh-pages
gh-pages
August 6, 2024 19:16 26s
added inequality reasoning to calc, z3_match, Cond utility documentation #25: Commit cd1557d pushed by philzook58
August 6, 2024 19:15 28s main
main
August 6, 2024 19:15 28s
added inequality reasoning to calc, z3_match, Cond utility Python package #13: Commit cd1557d pushed by philzook58
August 6, 2024 19:15 21s main
main
August 6, 2024 19:15 21s
ProTip! You can narrow down the results and go further in time using created:<2024-08-06 or the other filters available.