Skip to content

Actions: KeyronLinarez/sympy

Actions

test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
runtests.yml
24 workflow runs
24 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
trigger CI test #24: Commit fdcd37c pushed by TiloRC
38s z3-euf
z3-euf
38s
Add entry to mailmap file test #23: Commit d2a8839 pushed by TiloRC
40s z3-euf
z3-euf
40s
logic: Streamline support for uninterpreted functions in z3 wrapper test #22: Commit 83922e9 pushed by TiloRC
36s z3-euf
z3-euf
36s
logic: Streamline support for uninterpreted functions in z3 wrapper test #21: Commit ab9698e pushed by TiloRC
32s z3-euf
z3-euf
32s
Add entry to mailmap file test #20: Commit d6f15f0 pushed by TiloRC
42s z3-euf
z3-euf
42s
remove unused function test #19: Commit d74f980 pushed by TiloRC
37s z3-euf
z3-euf
37s
Use Eq and Ne instead of Equality or Unequality test #18: Commit dd99a00 pushed by TiloRC
36s z3-euf
z3-euf
36s
simplify uniterpreted function handling logic test #17: Commit dafe02c pushed by TiloRC
42s z3-euf
z3-euf
42s
fix formatting test #16: Commit b74f9e3 pushed by TiloRC
35s z3-euf
z3-euf
35s
Add entry to mailmap file test #15: Commit d5a9513 pushed by TiloRC
31s z3-euf
z3-euf
31s
logic: Add support for uninterpreted functions to z3 wrapper test #14: Commit 2c5f6b2 pushed by TiloRC
27s z3-euf
z3-euf
27s
remove comments test #13: Commit fe48ec4 pushed by KeyronLinarez
25s z3-euf
z3-euf
25s
fix: remove unused logi in z3_wrapperc test #12: Commit cb6a400 pushed by KeyronLinarez
29s z3-euf
z3-euf
29s
docs: added docstrings, newlines test #11: Commit 87cb80e pushed by KeyronLinarez
32s z3-euf
z3-euf
32s
removed trailing whitespace test #10: Commit eb3660f pushed by KeyronLinarez
49m 9s z3-euf
z3-euf
49m 9s
edited to pass code clarity test test #9: Commit 664db75 pushed by KeyronLinarez
31s z3-euf
z3-euf
31s
fix: code clarity and added tests test #8: Commit 502ae52 pushed by KeyronLinarez
26s z3-euf
z3-euf
26s
Revert smtlib.py to match master test #7: Commit 588c11d pushed by KeyronLinarez
25s z3-euf
z3-euf
25s
fix: removed atom filtering in smtlibcode test #6: Commit 60e4db5 pushed by KeyronLinarez
26s z3-euf
z3-euf
26s
fix: added filter for invalid smt expressions test #5: Commit d9cbcb9 pushed by KeyronLinarez
25s z3-euf
z3-euf
25s
change: added generate_smtlib_declaration function into smtlib printer test #4: Commit 66e7b78 pushed by KeyronLinarez
24s z3-euf
z3-euf
24s
add: add functions to check predicate and add all uf into symbol table test #3: Commit 426a982 pushed by KeyronLinarez
30s z3-euf
z3-euf
30s
fix: defined uninterpreted functions for real numbers test #2: Commit be7b069 pushed by KeyronLinarez
33s z3-euf
z3-euf
33s
fix: add batch of uininterpreted functions for smt test #1: Commit 7bbd136 pushed by KeyronLinarez
32s z3-euf
z3-euf
32s