Skip to content

Actions: PeanutProver/PeanutProver

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
137 workflow runs
137 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
combined PRs + fixed state IDs Build #137: Pull request #29 synchronize by BUYT-1
December 27, 2023 15:40 50s BUYT-1:all
BUYT-1:all
December 27, 2023 15:40 50s
combined PRs + fixed state IDs Build #136: Pull request #29 synchronize by BUYT-1
December 27, 2023 11:09 48s BUYT-1:all
BUYT-1:all
December 27, 2023 11:09 48s
combined PRs + fixed state IDs Build #135: Pull request #29 synchronize by BUYT-1
December 27, 2023 10:27 1m 0s BUYT-1:all
BUYT-1:all
December 27, 2023 10:27 1m 0s
combined PRs + fixed state IDs Build #134: Pull request #29 opened by BUYT-1
December 27, 2023 10:25 27s BUYT-1:all
BUYT-1:all
December 27, 2023 10:25 27s
NFA to DFA Build #133: Pull request #26 synchronize by IgorErin
December 22, 2023 08:34 42s IgorErin:nfa_dfa
IgorErin:nfa_dfa
December 22, 2023 08:34 42s
NFA to DFA Build #132: Pull request #26 synchronize by IgorErin
December 22, 2023 08:31 15s IgorErin:nfa_dfa
IgorErin:nfa_dfa
December 22, 2023 08:31 15s
Automaton calling Build #131: Pull request #27 synchronize by KubEF
December 9, 2023 15:35 40s automaton_calling
automaton_calling
December 9, 2023 15:35 40s
Add basic processing of \forall quantifier Build #130: Commit b5f2bf0 pushed by KubEF
December 9, 2023 15:35 47s automaton_calling
automaton_calling
December 9, 2023 15:35 47s
Add constant equality support Build #129: Commit e9a4b75 pushed by WoWaster
December 9, 2023 15:12 55s main
main
December 9, 2023 15:12 55s
Add constant equality support Build #128: Pull request #28 synchronize by BUYT-1
December 9, 2023 14:11 48s BUYT-1:constants
BUYT-1:constants
December 9, 2023 14:11 48s
Add constant equality support Build #127: Pull request #28 synchronize by BUYT-1
December 9, 2023 13:56 50s BUYT-1:constants
BUYT-1:constants
December 9, 2023 13:56 50s
Add constant equality support Build #126: Pull request #28 opened by BUYT-1
December 9, 2023 10:59 50s BUYT-1:constants
BUYT-1:constants
December 9, 2023 10:59 50s
Automaton calling Build #125: Pull request #27 opened by KubEF
December 9, 2023 08:50 43s automaton_calling
automaton_calling
December 9, 2023 08:50 43s
Add basic processing of \forall quantifier Build #124: Commit 66d3d98 pushed by KubEF
December 9, 2023 08:48 45s automaton_calling
automaton_calling
December 9, 2023 08:48 45s
Add basic processing of \forall quantifier Build #123: Commit 5c72d8f pushed by KubEF
December 8, 2023 19:59 48s automaton_calling
automaton_calling
December 8, 2023 19:59 48s
Add basic processing of \forall quantifier Build #122: Commit 5a569e2 pushed by KubEF
December 8, 2023 19:58 20s automaton_calling
automaton_calling
December 8, 2023 19:58 20s
Fix pattern-matching in NfaResultToBool Build #121: Commit 8874788 pushed by KubEF
December 6, 2023 16:27 1m 18s automaton_calling
automaton_calling
December 6, 2023 16:27 1m 18s
Add processing of formulas and preprocessing of it Build #120: Commit fe8fcd0 pushed by KubEF
December 6, 2023 16:22 50s automaton_calling
automaton_calling
December 6, 2023 16:22 50s
Add processing long chains of sum Build #119: Commit 4e6e27b pushed by KubEF
December 6, 2023 13:14 21s automaton_calling
automaton_calling
December 6, 2023 13:14 21s
Make minimization faster Build #118: Commit 8cf4bb3 pushed by WoWaster
December 6, 2023 13:06 1m 0s main
main
December 6, 2023 13:06 1m 0s
Add minimization and implement it into FolToNFA Build #117: Pull request #25 synchronize by KubEF
December 6, 2023 13:01 48s minimization
minimization
December 6, 2023 13:01 48s
Make minimization faster Build #116: Commit 0c16fa8 pushed by KubEF
December 6, 2023 13:01 58s minimization
minimization
December 6, 2023 13:01 58s
Add processing long chains of sum Build #115: Commit a892826 pushed by KubEF
December 6, 2023 11:44 4m 5s automaton_calling
automaton_calling
December 6, 2023 11:44 4m 5s
Add minimization and implement it into FolToNFA Build #114: Pull request #25 synchronize by KubEF
December 4, 2023 10:45 49s minimization
minimization
December 4, 2023 10:45 49s
Fix major mistake in main algorithm Build #113: Commit 71c9585 pushed by KubEF
December 4, 2023 10:45 48s minimization
minimization
December 4, 2023 10:45 48s