Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 23, 2023

• parallel,cores: set default to 2

  Show description for 532dbe1
  conp-solutions

  committed
  532dbe1

  Copy full SHA for 532dbe1

Commits on Feb 27, 2023

• test,build: be explicit about simp

  Show description for 5e1814a
  conp-solutions

  committed
  5e1814a

  Copy full SHA for 5e1814a

Commits on May 13, 2022

• test: assemble test coverage

  Show description for 41a4445
  conp-solutions

  committed
  41a4445

  Copy full SHA for 41a4445

Commits on Apr 5, 2022

• ci: fetch for updates on crossarm

  Show description for 5efc35c
  conp-solutions

  committed
  5efc35c

  Copy full SHA for 5efc35c

Commits on Apr 1, 2022

• ci: check determinism

  Show description for 93d5819
  conp-solutions

  committed
  93d5819

  Copy full SHA for 93d5819

Commits on Feb 21, 2022

• unit-tests: fix workflow

  Show description for 1797475
  conp-solutions

  committed
  1797475

  Copy full SHA for 1797475

Commits on Jan 15, 2022

• ci,cadical: do not test interface yet

  Show description for bf248a1
  conp-solutions

  committed
  bf248a1

  Copy full SHA for bf248a1

• ci,parallel: test proof generation

  Show description for 05538f9
  conp-solutions

  committed
  05538f9

  Copy full SHA for 05538f9

Commits on Jan 14, 2022

• github,workflow: use ubuntu 20.04

  Show description for eee3ad7
  conp-solutions

  committed
  eee3ad7

  Copy full SHA for eee3ad7

Commits on Jan 7, 2022

• ci,test: cadical interface and unit tests

  Show description for f79443a
  conp-solutions

  committed
  f79443a

  Copy full SHA for f79443a

Commits on Jan 3, 2022

• ci: add cross-compile for ARM

  Show description for f6d09eb
  conp-solutions

  committed
  f6d09eb

  Copy full SHA for f6d09eb

Commits on Dec 29, 2021

• ci: mostly run on PRs

  Show description for 5c33103
  conp-solutions

  committed
  5c33103

  Copy full SHA for 5c33103

• mac,ci: test parallel compilation

  Show description for c594004
  conp-solutions

  committed
  c594004

  Copy full SHA for c594004

Commits on Dec 23, 2021

• ci: check parallel determinism

  Show description for 352fb46
  conp-solutions

  committed
  352fb46

  Copy full SHA for 352fb46

Commits on Dec 19, 2021

• changelog: add rebase check

  Show description for 4e2a5c2
  conp-solutions

  committed
  4e2a5c2

  Copy full SHA for 4e2a5c2

Commits on Nov 22, 2021

• compare: add workflow

  Show description for e2df9ab
  conp-solutions

  committed
  e2df9ab

  Copy full SHA for e2df9ab

Commits on Aug 11, 2021

• ci: remove maxsat build

  Show description for 5260b30
  conp-solutions

  committed
  5260b30

  Copy full SHA for 5260b30

• parallel: build and test in CI

  Show description for 6d18e6e
  conp-solutions

  committed
  6d18e6e

  Copy full SHA for 6d18e6e

Commits on Aug 9, 2021

• Merge pull request #79 from tzik/wasm_ci

  Show description for 9163edc
  conp-solutions

  authored
  9163edc

  Copy full SHA for 9163edc

• Add WebAssembly CI job

  tzik

  committed
  0c9d67a

  Copy full SHA for 0c9d67a

Commits on Aug 8, 2021

• ci: check style on github

  Show description for b64cf5b
  conp-solutions

  committed
  b64cf5b

  Copy full SHA for b64cf5b

• ci: add Werror workflow

  Show description for 064e979
  conp-solutions

  committed
  064e979

  Copy full SHA for 064e979

Commits on Aug 7, 2021

• ci: run on PRs

  Show description for a7f7fd6
  conp-solutions

  committed
  a7f7fd6

  Copy full SHA for a7f7fd6

Commits on Apr 6, 2021

• ci: enable diversity checking

  Show description for 7cd553f
  conp-solutions

  committed
  7cd553f

  Copy full SHA for 7cd553f

Commits on Mar 25, 2021

• ci: also run unit tests continuously

  Show description for 77685b2
  conp-solutions

  committed
  77685b2

  Copy full SHA for 77685b2

Commits on Mar 24, 2021

• github: add maxsat workflow

  Show description for bf7bf8e
  conp-solutions

  committed
  bf7bf8e

  Copy full SHA for bf7bf8e

Commits on Mar 11, 2021

• solver: drop core variant

  Show description for b8a6c23
  conp-solutions

  committed
  b8a6c23

  Copy full SHA for b8a6c23

Commits on Feb 14, 2021

• competition: allow summary print

  Show description for e0a35f8
  conp-solutions

  committed
  e0a35f8

  Copy full SHA for e0a35f8

Commits on Jan 9, 2021

• github: add mini competition workflow

  Show description for 343f70c
  conp-solutions

  committed
  343f70c

  Copy full SHA for 343f70c

• ci: disable maxsat

  Show description for 1e73009
  conp-solutions

  committed
  1e73009

  Copy full SHA for 1e73009

Commits on Jun 9, 2020

• workflows: also add picosat

  Show description for 543699f
  conp-solutions

  committed
  543699f

  Copy full SHA for 543699f

Commits on Jun 8, 2020

• workflows: run CI script

  Show description for e443051
  conp-solutions

  committed
  e443051

  Copy full SHA for e443051

• ci: build on Mac via workflows

  Show description for fe4d09a
  conp-solutions

  committed
  fe4d09a

  Copy full SHA for fe4d09a

Commits on May 19, 2020

• workflow: add initial file

  Show description for e6f2341
  conp-solutions

  committed
  e6f2341

  Copy full SHA for e6f2341

Loading