Skip to content

Actions: chriswestbrown/tarski

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
23 workflow runs
23 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
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
There was a bug in LIFTSRD2D with uninit data, which I fixed, but I a… build test #45: Commit dc41ecf pushed by chriswestbrown
July 18, 2023 16:10 40m 30s master
master
July 18, 2023 16:10 40m 30s
Bumped version to account for much improved plot2d. build test #44: Commit 5990de5 pushed by chriswestbrown
July 18, 2023 04:25 26m 30s master
master
July 18, 2023 04:25 26m 30s
Fixed bugs and generally improved plot2d functionality. There is a l… build test #43: Commit 1d77c4e pushed by chriswestbrown
July 18, 2023 04:19 33m 36s master
master
July 18, 2023 04:19 33m 36s
Bumped version number because of changes to 2D optimization for plot2d. build test #42: Commit 1dfb5c4 pushed by chriswestbrown
July 17, 2023 02:20 35m 35s master
master
July 17, 2023 02:20 35m 35s
Bumped version number to accomodate bug fix, changed plotting in qepc… build test #41: Commit 510f9e3 pushed by chriswestbrown
June 23, 2023 20:14 36m 37s master
master
June 23, 2023 20:14 36m 37s
Added command solution-dimension. build test #40: Commit 5c6b1f5 pushed by chriswestbrown
June 15, 2023 20:11 32m 24s master
master
June 15, 2023 20:11 32m 24s
version bump build test #39: Commit 6ca3c05 pushed by chriswestbrown
May 19, 2023 10:41 27m 47s master
master
May 19, 2023 10:41 27m 47s
Made it so that if no filename is given the plot2d command, it assume… build test #38: Commit dee2db1 pushed by chriswestbrown
May 18, 2023 16:28 32m 28s master
master
May 18, 2023 16:28 32m 28s
Fixed bug in plot2d/p-2d-cad whereby with the S option (plot semi-alg… build test #37: Commit 958b020 pushed by chriswestbrown
April 21, 2023 16:16 33m 14s master
master
April 21, 2023 16:16 33m 14s
Added facilities for producing a nice plot of a semi-algebraic set as… build test #36: Commit 1220089 pushed by chriswestbrown
April 20, 2023 15:59 31m 41s master
master
April 20, 2023 15:59 31m 41s
Added facilities for producing a nice plot of a semi-algebraic set as… build test #35: Commit 1220089 pushed by chriswestbrown
April 20, 2023 15:51 33m 9s set-plot
set-plot
April 20, 2023 15:51 33m 9s
Improved error messages for if expressions and qepcad-pi-call build test #34: Commit 2d52838 pushed by chriswestbrown
April 1, 2023 13:33 38m 59s master
master
April 1, 2023 13:33 38m 59s
Bumped Tarski version to 1.32. build test #33: Commit 721f701 pushed by chriswestbrown
March 30, 2023 14:57 33m 15s master
master
March 30, 2023 14:57 33m 15s
Minor fixes associated with get-free-vars command and related work build test #32: Commit f882afd pushed by chriswestbrown
March 28, 2023 19:17 28m 14s master
master
March 28, 2023 19:17 28m 14s
Fixed bug whereby the (exclose F) command would in some circumstances… build test #31: Commit 35b0b53 pushed by chriswestbrown
March 28, 2023 19:14 30m 43s master
master
March 28, 2023 19:14 30m 43s
Added command (get-free-vars F) that returns a list of the free varia… build test #30: Commit 4dd193a pushed by chriswestbrown
March 28, 2023 19:12 30m 0s master
master
March 28, 2023 19:12 30m 0s