Skip to content

Actions: verified-optimization/CvxLean

Actions

docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
30 workflow runs
30 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
chore: bump to v4.8.0-rc1 and fix proofs (#33) docs #30: Commit c62c2f2 pushed by ramonfmir
May 20, 2024 15:01 18m 44s main
main
May 20, 2024 15:01 18m 44s
feat: split egg-pre-DCP rewrite workloads by component (#32) docs #29: Commit 25b66f2 pushed by ramonfmir
April 25, 2024 21:39 18m 18s main
main
April 25, 2024 21:39 18m 18s
test: many extended interval arithmetic unit tests (#31) docs #28: Commit 46087d0 pushed by ramonfmir
April 24, 2024 15:12 19m 24s main
main
April 24, 2024 15:12 19m 24s
fix: term type Symbol for stop-on-success (#30) docs #27: Commit c2f77e4 pushed by ramonfmir
April 11, 2024 15:22 18m 11s main
main
April 11, 2024 15:22 18m 11s
feat: log max rule applied and term types (#29) docs #26: Commit cfd34bb pushed by ramonfmir
April 11, 2024 14:29 19m 2s main
main
April 11, 2024 14:29 19m 2s
feat: improved proof replay evaluation scripts (#28) docs #25: Commit f301364 pushed by ramonfmir
April 8, 2024 20:31 18m 15s main
main
April 8, 2024 20:31 18m 15s
feat: keep track of e-graph iteration data for evaluation (#27) docs #24: Commit c11be2c pushed by ramonfmir
April 7, 2024 20:16 18m 28s main
main
April 7, 2024 20:16 18m 28s
feat: bijective change of variables in fitting sphere (#26) docs #23: Commit 3244381 pushed by ramonfmir
March 22, 2024 15:44 18m 1s main
main
March 22, 2024 15:44 18m 1s
doc: add bib to README.md docs #22: Commit 4c00eec pushed by ramonfmir
March 18, 2024 20:19 19m 4s main
main
March 18, 2024 20:19 19m 4s
doc: better phrasing in README.md docs #21: Commit acf9bcb pushed by ramonfmir
March 16, 2024 20:07 18m 7s main
main
March 16, 2024 20:07 18m 7s
doc: improved README.md and new demo docs #20: Commit 849eb39 pushed by ramonfmir
March 15, 2024 14:51 18m 55s main
main
March 15, 2024 14:51 18m 55s
feat: lift some atoms to vectors/matrices docs #19: Commit 532b177 pushed by ramonfmir
March 9, 2024 15:16 18m 46s main
main
March 9, 2024 15:16 18m 46s
fix: no docs for tests or examples docs #18: Commit 446059b pushed by ramonfmir
March 8, 2024 14:03 18m 36s main
main
March 8, 2024 14:03 18m 36s
doc: documented and styled everything docs #17: Commit fbe2ae2 pushed by ramonfmir
March 8, 2024 13:41 7m 19s main
main
March 8, 2024 13:41 7m 19s
doc: documented and styled everything docs #16: Pull request #20 synchronize by ramonfmir
March 8, 2024 12:02 4m 31s docs-and-clean-up
docs-and-clean-up
March 8, 2024 12:02 4m 31s
doc: documented and styled everything docs #15: Pull request #20 opened by ramonfmir
March 7, 2024 21:06 18m 22s docs-and-clean-up
docs-and-clean-up
March 7, 2024 21:06 18m 22s
doc: more tactics docs and some general refactoring docs #14: Commit 678c050 pushed by ramonfmir
March 1, 2024 14:11 1h 19m 24s main
main
March 1, 2024 14:11 1h 19m 24s
doc: more tactics docs and some general refactoring docs #13: Pull request #19 synchronize by ramonfmir
March 1, 2024 13:54 17m 5s docs-and-clean-up
docs-and-clean-up
March 1, 2024 13:54 17m 5s
doc: more tactics docs and some general refactoring docs #12: Pull request #19 opened by ramonfmir
March 1, 2024 13:29 19m 21s docs-and-clean-up
docs-and-clean-up
March 1, 2024 13:29 19m 21s
feat: improve pre_dcp, and some docs and clean-up docs #11: Commit 4d3233e pushed by ramonfmir
February 22, 2024 14:11 18m 12s main
main
February 22, 2024 14:11 18m 12s
feat: improve pre_dcp, and some docs and clean-up docs #10: Pull request #18 synchronize by ramonfmir
February 22, 2024 13:08 18m 19s docs-and-clean-up
docs-and-clean-up
February 22, 2024 13:08 18m 19s
feat: improve pre_dcp, and some docs and clean-up docs #9: Pull request #18 synchronize by ramonfmir
February 22, 2024 12:37 18m 15s docs-and-clean-up
docs-and-clean-up
February 22, 2024 12:37 18m 15s
feat: improve pre_dcp, and some docs and clean-up docs #8: Pull request #18 opened by ramonfmir
February 22, 2024 12:36 18m 36s docs-and-clean-up
docs-and-clean-up
February 22, 2024 12:36 18m 36s
doc: everything except Tactic and docs page docs #7: Commit ef56143 pushed by ramonfmir
February 6, 2024 14:54 18m 33s main
main
February 6, 2024 14:54 18m 33s
doc: various docs and docs page docs #6: Pull request #17 synchronize by ramonfmir
February 6, 2024 14:30 18m 20s docs-and-clean-up
docs-and-clean-up
February 6, 2024 14:30 18m 20s