Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / verified-optimization/CvxLean issues and pull requests

#30 - fix: term type `Symbol` for stop-on-success

Pull Request - State: closed - Opened by ramonfmir 10 months ago

#29 - feat: log max rule applied and term types

Pull Request - State: closed - Opened by ramonfmir 10 months ago

#28 - feat: improved proof replay evaluation scripts

Pull Request - State: closed - Opened by ramonfmir 10 months ago

#27 - feat: keep track of e-graph iteration data for evaluation

Pull Request - State: closed - Opened by ramonfmir 10 months ago

#26 - feat: bijective change of variables in fitting sphere

Pull Request - State: closed - Opened by ramonfmir 11 months ago

#25 - doc: more `README.md`

Pull Request - State: closed - Opened by ramonfmir 11 months ago

#24 - doc: update `README.md`

Pull Request - State: closed - Opened by ramonfmir 11 months ago

#23 - doc: improved `README.md` and new demo

Pull Request - State: closed - Opened by ramonfmir 11 months ago

#22 - feat: lift some atoms to vectors/matrices

Pull Request - State: closed - Opened by ramonfmir 11 months ago

#21 - fix: no docs for tests or examples

Pull Request - State: closed - Opened by ramonfmir 11 months ago

#20 - doc: documented and styled everything

Pull Request - State: closed - Opened by ramonfmir 11 months ago

#19 - doc: more tactics docs and some general refactoring

Pull Request - State: closed - Opened by ramonfmir 11 months ago

#18 - feat: improve `pre_dcp`, and some docs and clean-up

Pull Request - State: closed - Opened by ramonfmir 12 months ago

#17 - doc: various docs and docs page

Pull Request - State: closed - Opened by ramonfmir about 1 year ago

#16 - feat: truss design case study

Pull Request - State: closed - Opened by ramonfmir about 1 year ago

#15 - feat: hypersonic shape design case study

Pull Request - State: closed - Opened by ramonfmir about 1 year ago

#14 - feat: fitting sphere to data case study

Pull Request - State: closed - Opened by ramonfmir about 1 year ago

#13 - feat: vehicle speed scheduling case study

Pull Request - State: closed - Opened by ramonfmir about 1 year ago

#12 - feat: relaxations and pre-DCP improvements

Pull Request - State: closed - Opened by ramonfmir about 1 year ago

#11 - feat: computable backward maps and all old tactics

Pull Request - State: closed - Opened by ramonfmir about 1 year ago

#10 - style: typo

Pull Request - State: closed - Opened by madvorak about 1 year ago - 3 comments

#9 - Tactic builder and Lean Together demo

Pull Request - State: closed - Opened by ramonfmir about 1 year ago

#8 - Atom reduction logic

Pull Request - State: closed - Opened by ramonfmir about 1 year ago

#7 - Omit original variables in atom reduction

Pull Request - State: closed - Opened by ramonfmir about 1 year ago

#6 - Non-trivial atoms and `convexify` improvements

Pull Request - State: closed - Opened by ramonfmir about 1 year ago

#5 - 100% Lean 4, pre-DCP rewrites and more

Pull Request - State: closed - Opened by ramonfmir about 1 year ago

#4 - 100% Lean 4, pre-DCP rewrites and more

Pull Request - State: closed - Opened by ramonfmir about 1 year ago

#3 - chore: install MOSEK in CI

Pull Request - State: closed - Opened by ramonfmir over 1 year ago

#2 - Basic CI

Pull Request - State: closed - Opened by ramonfmir over 1 year ago

#1 - Basic CI

Pull Request - State: closed - Opened by ramonfmir over 1 year ago