Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on May 26, 2022

• fix #6054

  Show description for de892ed
  NikolajBjorner

  committed
  de892ed

  Copy full SHA for de892ed

• expand select/store when I/J are values #6053

  Show description for f77037e
  NikolajBjorner

  committed
  f77037e

  Copy full SHA for f77037e

Commits on May 25, 2022

• fix #6052

  Show description for 4d8e4b5
  NikolajBjorner

  committed
  4d8e4b5

  Copy full SHA for 4d8e4b5

Commits on May 22, 2022

• cnf

  NikolajBjorner

  committed
  8c95dff

  Copy full SHA for 8c95dff

• rw

  NikolajBjorner

  committed
  c850259

  Copy full SHA for c850259

Commits on May 21, 2022

• core opt

  NikolajBjorner

  committed
  386c511

  Copy full SHA for 386c511

• remove ad-hoc diagnostics

  NikolajBjorner

  committed
  127af83

  Copy full SHA for 127af83

Commits on May 18, 2022

• nit

  NikolajBjorner

  authored
  40fe472

  Copy full SHA for 40fe472

Commits on May 16, 2022

• fix #6034

  NikolajBjorner

  committed
  363b69f

  Copy full SHA for 363b69f

• update to take effect of def_API for callback functions

  Show description for f6b2874
  NikolajBjorner

  committed
  f6b2874

  Copy full SHA for f6b2874

Commits on May 15, 2022

• na

  Show description for ca2497e
  NikolajBjorner

  committed
  ca2497e

  Copy full SHA for ca2497e

• merge

  Show description for 186a3c5
  NikolajBjorner

  committed
  186a3c5

  Copy full SHA for 186a3c5

• update pretty printer for recursive function filtering

  Show description for 1028c80
  NikolajBjorner

  committed
  1028c80

  Copy full SHA for 1028c80

Commits on May 14, 2022

• Sparse matrix kernel (#6035)

  Show description for 7f62fa2
  agurfinkel

  authored
  7f62fa2

  Copy full SHA for 7f62fa2

Commits on May 12, 2022

• Buildsystem fixes for FreeBSD. (#6029)

  Show description for 6f7be77
  arrowd

  authored
  6f7be77

  Copy full SHA for 6f7be77

Commits on May 11, 2022

• add ignore int to new arithmetic solvers

  Show description for 7497856
  NikolajBjorner

  committed
  7497856

  Copy full SHA for 7497856

• disable normalize

  Show description for b1aa6b2
  NikolajBjorner

  committed
  b1aa6b2

  Copy full SHA for b1aa6b2

• disable normalize

  Show description for 6deb4de
  NikolajBjorner

  committed
  6deb4de

  Copy full SHA for 6deb4de

• check zero

  Show description for 5aec9b3
  NikolajBjorner

  committed
  5aec9b3

  Copy full SHA for 5aec9b3

• check zero

  Show description for 860d904
  NikolajBjorner

  committed
  860d904

  Copy full SHA for 860d904

• ensure abs

  Show description for 3611556
  NikolajBjorner

  committed
  3611556

  Copy full SHA for 3611556

• lcm normalization

  Show description for cbaa16d
  NikolajBjorner

  committed
  cbaa16d

  Copy full SHA for cbaa16d

Commits on May 10, 2022

• kernel

  Show description for 5ca3bc3
  NikolajBjorner

  committed
  5ca3bc3

  Copy full SHA for 5ca3bc3

• add stats for binary clause creation

  Show description for 54648f6
  NikolajBjorner

  committed
  54648f6

  Copy full SHA for 54648f6

• fix

  Show description for 2928cc2
  NikolajBjorner

  committed
  2928cc2

  Copy full SHA for 2928cc2

• wip

  Show description for 805443c
  NikolajBjorner

  committed
  805443c

  Copy full SHA for 805443c

• na

  Show description for 0557d72
  NikolajBjorner

  committed
  0557d72

  Copy full SHA for 0557d72

Commits on May 9, 2022

• adding K

  Show description for 6a8ac5f
  NikolajBjorner

  committed
  6a8ac5f

  Copy full SHA for 6a8ac5f

• gauss jordan

  Show description for ad2445e
  NikolajBjorner

  committed
  ad2445e

  Copy full SHA for ad2445e

• Generate bdist wheels for musllinux_1_1 (#6025)

  liath

  authored
  361888f

  Copy full SHA for 361888f

• prep for pragmas

  NikolajBjorner

  committed
  dcc01b8

  Copy full SHA for dcc01b8

• na

  NikolajBjorner

  committed
  6670cf0

  Copy full SHA for 6670cf0

• js

  Show description for fbf5e32
  NikolajBjorner

  committed
  fbf5e32

  Copy full SHA for fbf5e32

• misc

  NikolajBjorner

  committed
  4549ec7

  Copy full SHA for 4549ec7

Commits on May 8, 2022

• add decide callback

  Show description for da9ed82
  NikolajBjorner

  committed
  da9ed82

  Copy full SHA for da9ed82

Pagination

Previous

Next