Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on May 20, 2024

• chore: bump to v4.8.0-rc1 and fix proofs (#33)

  Show description for c62c2f2
  ramonfmir

  authored
  c62c2f2

  Copy full SHA for c62c2f2

Commits on Apr 25, 2024

• feat: split egg-pre-DCP rewrite workloads by component (#32)

  Show description for 25b66f2
  ramonfmir

  authored
  25b66f2

  Copy full SHA for 25b66f2

Commits on Apr 24, 2024

• test: many extended interval arithmetic unit tests (#31)

  Show description for 46087d0
  ramonfmir

  authored
  46087d0

  Copy full SHA for 46087d0

Commits on Apr 11, 2024

• fix: term type Symbol for stop-on-success (#30)

  ramonfmir

  authored
  c2f77e4

  Copy full SHA for c2f77e4

• feat: log max rule applied and term types (#29)

  Show description for cfd34bb
  ramonfmir

  authored
  cfd34bb

  Copy full SHA for cfd34bb

Commits on Apr 8, 2024

• feat: improved proof replay evaluation scripts (#28)

  Show description for f301364
  ramonfmir

  authored
  f301364

  Copy full SHA for f301364

Commits on Apr 7, 2024

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

  Show description for c11be2c
  ramonfmir

  authored
  c11be2c

  Copy full SHA for c11be2c

Commits on Mar 22, 2024

• feat: bijective change of variables in fitting sphere (#26)

  ramonfmir

  authored
  3244381

  Copy full SHA for 3244381

Commits on Mar 18, 2024

• doc: add bib to README.md

  ramonfmir

  authored
  4c00eec

  Copy full SHA for 4c00eec

Commits on Mar 16, 2024

• doc: better phrasing in README.md

  ramonfmir

  committed
  acf9bcb

  Copy full SHA for acf9bcb

• style : Real -> ℝ

  ramonfmir

  committed
  a956baf

  Copy full SHA for a956baf

Commits on Mar 15, 2024

• doc: improved README.md and new demo

  ramonfmir

  authored
  849eb39

  Copy full SHA for 849eb39

• doc: new README.md

  ramonfmir

  committed
  4eeda96

  Copy full SHA for 4eeda96

• style: demo solution in README.md

  ramonfmir

  committed
  e98186d

  Copy full SHA for e98186d

• style: LaTeX style in README.md

  ramonfmir

  committed
  5cec8f9

  Copy full SHA for 5cec8f9

• doc: add quick demo in README (with GIF)

  ramonfmir

  committed
  9aaf059

  Copy full SHA for 9aaf059

• feat: save info token in rewrite tactics

  ramonfmir

  committed
  e36779b

  Copy full SHA for e36779b

Commits on Mar 14, 2024

• wip: re-writing README

  ramonfmir

  committed
  59d745f

  Copy full SHA for 59d745f

Commits on Mar 9, 2024

• feat: lift some atoms to vectors/matrices

  ramonfmir

  authored
  532b177

  Copy full SHA for 532b177

• fix: adjust pre_dcp to updated atom library

  ramonfmir

  committed
  81ef3b7

  Copy full SHA for 81ef3b7

Commits on Mar 8, 2024

• feat: generalize set atoms

  ramonfmir

  committed
  3281a89

  Copy full SHA for 3281a89

• feat: generalize zero cone

  ramonfmir

  committed
  01fdac0

  Copy full SHA for 01fdac0

• feat: add vector versions of some atoms

  ramonfmir

  committed
  7cc25f0

  Copy full SHA for 7cc25f0

• fix: no docs for tests or examples

  ramonfmir

  authored
  446059b

  Copy full SHA for 446059b

• fix: no docs for tests or examples

  ramonfmir

  committed
  283c04d

  Copy full SHA for 283c04d

• doc: documented and styled everything

  ramonfmir

  authored
  fbe2ae2

  Copy full SHA for fbe2ae2

• chore: docs CI only on push

  ramonfmir

  committed
  7732d64

  Copy full SHA for 7732d64

• fix: exit code 0 for sucessful style check

  ramonfmir

  committed
  351e248

  Copy full SHA for 351e248

Commits on Mar 7, 2024

• chore: add style check to CI

  ramonfmir

  committed
  b8db885

  Copy full SHA for b8db885

• chore: script to check style for all files

  ramonfmir

  committed
  31b276d

  Copy full SHA for 31b276d

• chore: remove path from Tactic/Solver

  ramonfmir

  committed
  4d50199

  Copy full SHA for 4d50199

• style: everything compliant with mathlib guidelines

  ramonfmir

  committed
  5314594

  Copy full SHA for 5314594

• chore: no logs in Huber atom

  ramonfmir

  committed
  39222ad

  Copy full SHA for 39222ad

• fix: solution in multi-level declarations

  ramonfmir

  committed
  118014e

  Copy full SHA for 118014e

• fix: typo in error message

  ramonfmir

  committed
  ff0c4c6

  Copy full SHA for ff0c4c6

Pagination

Previous

Next