Skip to content

Actions: chriswestbrown/tarski

Actions

build test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
15 workflow runs
15 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixed stupid bug by which (qepcad-qe [true]) would crash because the … build test #66: Commit 9efda3e pushed by chriswestbrown
November 27, 2024 15:37 18m 23s master
master
November 27, 2024 15:37 18m 23s
Bumped version number 1.41 to account for addition of division code. build test #65: Commit e8f38c2 pushed by chriswestbrown
November 26, 2024 20:32 18m 10s master
master
November 26, 2024 20:32 18m 10s
added utest/clear01 with a few basic tests of clear being called on s… build test #64: Commit 8e5e24f pushed by chriswestbrown
November 26, 2024 20:19 18m 24s master
master
November 26, 2024 20:19 18m 24s
added utest/clear01 with a few basic tests of clear being called on s… build test #63: Commit 8e5e24f pushed by chriswestbrown
November 26, 2024 20:03 18m 36s div-stuff
div-stuff
November 26, 2024 20:03 18m 36s
Initial support for formulas that contain divisions, the uif (Uninter… build test #62: Commit e723212 pushed by chriswestbrown
November 26, 2024 19:46 19m 5s div-stuff
div-stuff
November 26, 2024 19:46 19m 5s
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