Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 29, 2021

• Set theme jekyll-theme-minimal

  a-shokri

  committed
  48606db

  Copy full SHA for 48606db

Commits on Jan 19, 2021

• try different command-line

  Show description for 7c34a54
  NikolajBjorner

  committed
  7c34a54

  Copy full SHA for 7c34a54

• fix gc of pb constraints

  Show description for 64ba2a9
  NikolajBjorner

  committed
  64ba2a9

  Copy full SHA for 64ba2a9

• better staging of mbi based on generation

  NikolajBjorner

  committed
  01418a0

  Copy full SHA for 01418a0

• change gc strategy for user-push/pop

  NikolajBjorner

  committed
  990aecc

  Copy full SHA for 990aecc

• tune user-pop

  NikolajBjorner

  committed
  b87405c

  Copy full SHA for b87405c

• tune backtracking

  NikolajBjorner

  committed
  3ed490d

  Copy full SHA for 3ed490d

Commits on Jan 12, 2021

• na

  NikolajBjorner

  committed
  91c54f6

  Copy full SHA for 91c54f6

• add xml file to the mix #4578

  NikolajBjorner

  committed
  8abb644

  Copy full SHA for 8abb644

• fix build

  Show description for d1dab32
  NikolajBjorner

  committed
  d1dab32

  Copy full SHA for d1dab32

• fix #4948

  NikolajBjorner

  committed
  fc3a642

  Copy full SHA for fc3a642

Commits on Jan 11, 2021

• fix #4942

  Show description for 0aac7e5
  NikolajBjorner

  committed
  0aac7e5

  Copy full SHA for 0aac7e5

• enable new core for incremental mode

  NikolajBjorner

  committed
  0e429ca

  Copy full SHA for 0e429ca

• indentation and updated links to default landing pages

  NikolajBjorner

  committed
  2ead209

  Copy full SHA for 2ead209

• updates to doc

  NikolajBjorner

  committed
  bcbda45

  Copy full SHA for bcbda45

• fix grouping error

  NikolajBjorner

  committed
  396bfa0

  Copy full SHA for 396bfa0

Commits on Jan 9, 2021

• fix #4920

  NikolajBjorner

  committed
  223bffd

  Copy full SHA for 223bffd

• play nicebox #4918

  NikolajBjorner

  committed
  1a71dfa

  Copy full SHA for 1a71dfa

• fix #4923

  NikolajBjorner

  committed
  96ab9ed

  Copy full SHA for 96ab9ed

• #4923 - eq2bv

  Show description for ffd57be
  NikolajBjorner

  committed
  ffd57be

  Copy full SHA for ffd57be

Commits on Jan 8, 2021

• fix #4927

  NikolajBjorner

  committed
  690bc51

  Copy full SHA for 690bc51

• more #4932

  NikolajBjorner

  committed
  bb56443

  Copy full SHA for bb56443

• fix #4932

  NikolajBjorner

  committed
  43eb862

  Copy full SHA for 43eb862

• fix #4930

  Show description for 3d39f37
  NikolajBjorner

  committed
  3d39f37

  Copy full SHA for 3d39f37

• fix #4931

  Show description for e902e1e
  NikolajBjorner

  committed
  e902e1e

  Copy full SHA for e902e1e

• fix #4933

  Show description for c36355c
  NikolajBjorner

  committed
  c36355c

  Copy full SHA for c36355c

• debugging/testing mbi

  NikolajBjorner

  committed
  0173359

  Copy full SHA for 0173359

• use updated C++ features

  NikolajBjorner

  committed
  4ca6d69

  Copy full SHA for 4ca6d69

• fix #4937

  NikolajBjorner

  committed
  ac7d07c

  Copy full SHA for ac7d07c

• euf solver updates

  NikolajBjorner

  committed
  60ef60d

  Copy full SHA for 60ef60d

• fix bug in tracking qhead

  NikolajBjorner

  committed
  7bf691e

  Copy full SHA for 7bf691e

Commits on Jan 4, 2021

• remove some dead code from fpa2bv converter

  nunoplopes

  committed
  4db41c0

  Copy full SHA for 4db41c0

Commits on Dec 31, 2020

• na

  Show description for 5da71dc
  NikolajBjorner

  committed
  5da71dc

  Copy full SHA for 5da71dc

Commits on Dec 30, 2020

• working on new solver core

  NikolajBjorner

  committed
  523578e

  Copy full SHA for 523578e

• Add groovy R.U.Stan option to retrieve models even when they don't exist #4924

  Show description for f519c58
  NikolajBjorner

  committed
  f519c58

  Copy full SHA for f519c58

Pagination

Previous

Next