Skip to content

Actions: lambda-feedback/Propositional-logic-eval

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
42 workflow runs
42 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

evaluation_function implemented Build, Test and Deploy #9: Commit 4789c62 pushed by HarrySu123
15s main
main
15s
Test Report Test Report #8: completed by ashwin6-dev
8s
8s
implemented tree builder that builds tree given token stream Build, Test and Deploy #8: Commit 42f6e21 pushed by ashwin6-dev
10s main
main
10s
Test Report Test Report #7: completed by ashwin6-dev
13s
13s
fixed example scripts to match renamed modules Build, Test and Deploy #7: Commit dd75bf2 pushed by ashwin6-dev
13s main
main
13s
Test Report Test Report #6: completed by ashwin6-dev
8s
8s
implemented tokenizer for parser Build, Test and Deploy #6: Commit b3451f3 pushed by ashwin6-dev
12s main
main
12s
Test Report Test Report #5: completed by ashwin6-dev
6s
6s
implemented evaluators equivalence, satisfiability and tautology Build, Test and Deploy #5: Commit b3b76af pushed by ashwin6-dev
22s main
main
22s
Test Report Test Report #4: completed by HarrySu123
3m 1s
3m 1s
Implemented parser to convert string into propositional logic. Build, Test and Deploy #4: Commit 5486fd1 pushed by HarrySu123
4m 12s main
main
4m 12s
Test Report Test Report #3: completed by ashwin6-dev
7s
7s
implemented formula evaluation andexample scripts Build, Test and Deploy #3: Commit 32ce7d9 pushed by ashwin6-dev
9s main
main
9s
Test Report Test Report #2: completed by ashwin6-dev
7s
7s
implemented representation classes for prop logic Build, Test and Deploy #2: Commit 6c766b2 pushed by ashwin6-dev
13s main
main
13s
Test Report Test Report #1: completed by JohnnyWan1123
7s
7s
Initial commit Build, Test and Deploy #1: Commit 4ca2d38 pushed by JohnnyWan1123
2m 42s main
main
2m 42s