Skip to content

Actions: lambda-feedback/Propositional-logic-eval

Actions

Build, Test and Deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy.yml
19 workflow runs
19 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

added tests for perview Build, Test and Deploy #19: Commit 49a20bf pushed by HarrySu123
2m 15s main
main
2m 15s
added imports for preview Build, Test and Deploy #18: Commit de0b71a pushed by HarrySu123
1m 52s main
main
1m 52s
implemented preview_function Build, Test and Deploy #17: Commit 86c0e3d pushed by HarrySu123
13s main
main
13s
fix spelling mistake in feedback items for response not string Build, Test and Deploy #16: Commit 9f2fb3e pushed by HarrySu123
2m 13s main
main
2m 13s
generated new poetry.lock file Build, Test and Deploy #15: Commit b4dc9cc pushed by HarrySu123
2m 30s main
main
2m 30s
removed dependency installation under cache in ci pipeline Build, Test and Deploy #14: Commit 2a1c682 pushed by HarrySu123
11s main
main
11s
fixed check only 1 param selected logic Build, Test and Deploy #13: Commit ebc30e4 pushed by HarrySu123
14s main
main
14s
written doc for dev and re-wrto how params are processed for evaluati… Build, Test and Deploy #12: Commit 38f31f3 pushed by HarrySu123
10s main
main
10s
updated python version in poetry dependencies Build, Test and Deploy #11: Commit 88f9171 pushed by HarrySu123
16s main
main
16s
added tests for evlauation_functoin() Build, Test and Deploy #10: Commit 6dd182c pushed by HarrySu123
14s main
main
14s
evaluation_function implemented Build, Test and Deploy #9: Commit 4789c62 pushed by HarrySu123
15s main
main
15s
implemented tree builder that builds tree given token stream Build, Test and Deploy #8: Commit 42f6e21 pushed by ashwin6-dev
10s main
main
10s
fixed example scripts to match renamed modules Build, Test and Deploy #7: Commit dd75bf2 pushed by ashwin6-dev
13s main
main
13s
implemented tokenizer for parser Build, Test and Deploy #6: Commit b3451f3 pushed by ashwin6-dev
12s main
main
12s
implemented evaluators equivalence, satisfiability and tautology Build, Test and Deploy #5: Commit b3b76af pushed by ashwin6-dev
22s main
main
22s
Implemented parser to convert string into propositional logic. Build, Test and Deploy #4: Commit 5486fd1 pushed by HarrySu123
4m 12s main
main
4m 12s
implemented formula evaluation andexample scripts Build, Test and Deploy #3: Commit 32ce7d9 pushed by ashwin6-dev
9s main
main
9s
implemented representation classes for prop logic Build, Test and Deploy #2: Commit 6c766b2 pushed by ashwin6-dev
13s main
main
13s
Initial commit Build, Test and Deploy #1: Commit 4ca2d38 pushed by JohnnyWan1123
2m 42s main
main
2m 42s