test to see the changes#3

Open

limpa105 wants to merge 85 commits intomainfrom

ff-range-solver

Commits on Mar 11, 2024

initial set up
limpa105
committed

Commits on Apr 23, 2024

Changes with GB
limpa105
committed

Commits on May 6, 2024

passing inverses
limpa105
committed
fixed analysis script
Liza Pertseva
committed

Commits on May 9, 2024

Commits on May 10, 2024

Commits on May 25, 2024

Commits on May 27, 2024

maybe fixed unsoundness bug
limpa105
committed

Commits on May 28, 2024

Commits on May 29, 2024

2nd GB working
limpa105
committed

Commits on May 30, 2024

Commits on Jun 1, 2024

initial steps towards multimodal
limpa105
committed

Commits on Jun 4, 2024

passing some correctness
limpa105
committed

Commits on Jul 10, 2024

Singular passing most tests
limpa105
committed

Commits on Jul 12, 2024

Commits on Jul 14, 2024

44/55 passing 22/22
limpa105
committed

Commits on Jul 15, 2024

range lift added
limpa105
committed

Commits on Jul 19, 2024

FMCAD Save point
limpa105
committed

Commits on Jul 24, 2024

can't compile
limpa105
committed

Commits on Jul 31, 2024

forgot to add the pass
limpa105
committed

Commits on Aug 4, 2024

maybe ready for server
limpa105
committed

Commits on Aug 6, 2024

laptop backup
limpa105
committed

Commits on Aug 13, 2024

computer check 2

Liza Pertseva
authored and
Liza Pertseva
committed

Commits on Aug 18, 2024

isolating gb

Liza Pertseva
authored and
Liza Pertseva
committed
gb in Integers for the server

Liza Pertseva
authored and
Liza Pertseva
committed

Commits on Aug 19, 2024

solving inverse issue

Liza Pertseva
authored and
Liza Pertseva
committed
server changes

Liza Pertseva
authored and
Liza Pertseva
committed
compile issues
Liza Pertseva
committed
Merge branch 'ff-range-solver' of https://github.com/limpa105/cvc5 into ff-range-solver
Liza Pertseva
committed
no print statements

Liza Pertseva
authored and
Liza Pertseva
committed

Commits on Aug 28, 2024

find zero
limpa105
committed

Commits on Aug 29, 2024

intial setup for sat
limpa105
committed

Commits on Sep 4, 2024

set up for sat

Liza Pertseva
authored and
Liza Pertseva
committed

Commits on Oct 7, 2024

gurobi and sat experiments
limpa105
committed

Commits on Oct 11, 2024

gurboi fixes
limpa105
committed

Commits on Oct 23, 2024

lp encoding + gaussian elimination in rationals
limpa105
committed

Commits on Oct 30, 2024

Commits on Nov 9, 2024

range analysis try1
limpa105
committed

Commits on Nov 11, 2024

making bounds a fixpoint
limpa105
committed

Commits on Nov 12, 2024

timeouts on integer gb
limpa105
committed

Commits on Dec 4, 2024

Commits on Dec 5, 2024

maximum with rationals
Liza Pertseva
committed
safety point
limpa105
committed
gb stats
limpa105
committed

Commits on Dec 22, 2024

Commits on Dec 23, 2024

Commits on Dec 26, 2024

some ILP stuff
limpa105
committed

Commits on Dec 27, 2024

Commits on Dec 28, 2024