Skip to content

Actions: chriswestbrown/tarski

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
16 workflow runs
16 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Ported over the code for the command nullify-sys that I had dome in a… build test #61: Commit 850aae3 pushed by chriswestbrown
October 15, 2024 14:32 22m 59s master
master
October 15, 2024 14:32 22m 59s
Bumped tarski version to 1.40 reflecting addition of support for _roo… build test #60: Commit 2e16a50 pushed by chriswestbrown
July 26, 2024 17:01 20m 6s master
master
July 26, 2024 17:01 20m 6s
Added 'E option for qepcad-qe to specify output in the extended tarsk… build test #59: Commit 62878e6 pushed by chriswestbrown
July 25, 2024 13:15 20m 34s master
master
July 25, 2024 13:15 20m 34s
Bumped tarski version number to 1.38. Made this a new version becaus… build test #58: Commit 59aeb29 pushed by chriswestbrown
July 24, 2024 17:18 21m 5s master
master
July 24, 2024 17:18 21m 5s
in formula.cpp, function int cmpTF(TExtAtomRef a_a, TExtAtomRef a_b) … build test #57: Commit 2853977 pushed by chriswestbrown
July 24, 2024 14:56 27m 50s master
master
July 24, 2024 14:56 27m 50s
Closed bug0017. build test #56: Commit 5d4f085 pushed by chriswestbrown
July 23, 2024 17:28 19m 47s master
master
July 23, 2024 17:28 19m 47s
Closed bug0017. build test #55: Commit 5d4f085 pushed by chriswestbrown
July 23, 2024 17:26 21m 8s evalf-for-etfs
evalf-for-etfs
July 23, 2024 17:26 21m 8s
improved error message when rawnormalizer is used with a formula cont… build test #54: Commit 3887093 pushed by chriswestbrown
July 20, 2024 11:49 21m 55s master
master
July 20, 2024 11:49 21m 55s
improved error message when rawnormalizer is used with a formula cont… build test #53: Commit 3887093 pushed by chriswestbrown
July 20, 2024 11:46 19m 59s extended-tarski-support
extended-tarski-support
July 20, 2024 11:46 19m 59s
bumped version build test #52: Commit e80173f pushed by chriswestbrown
October 20, 2023 00:58 34m 31s master
master
October 20, 2023 00:58 34m 31s
Fixed bug in lift2d mechansim where multiple roots at y=0 was not han… build test #51: Commit 6add62b pushed by chriswestbrown
July 26, 2023 23:20 25m 50s master
master
July 26, 2023 23:20 25m 50s
Changed tarski/interpreter/Makefile to link to saclibd.a not saclibo.… build test #50: Commit 72040ac pushed by chriswestbrown
July 24, 2023 23:01 35m 1s master
master
July 24, 2023 23:01 35m 1s
Merge branch 'master' of https://github.com/chriswestbrown/tarski build test #49: Commit cf338fd pushed by chriswestbrown
July 24, 2023 21:57 28m 26s master
master
July 24, 2023 21:57 28m 26s
Merge branch 'master' into master build test #48: Commit d39fd3d pushed by kovzol
July 24, 2023 18:49 35m 30s master
master
July 24, 2023 18:49 35m 30s
Makefile changes for linking build test #47: Commit ebd9da9 pushed by chriswestbrown
July 24, 2023 16:05 34m 0s master
master
July 24, 2023 16:05 34m 0s
Fixed ugly bug in lift2d ... this could still be done a lot better. … build test #46: Commit 2e92d55 pushed by chriswestbrown
July 21, 2023 02:03 28m 1s master
master
July 21, 2023 02:03 28m 1s