Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 2, 2022

• Merge pull request #165 from maugier/cnfformula-clone

  Show description for 33e8769
  jix

  authored
  33e8769

  Copy full SHA for 33e8769

Commits on Oct 29, 2022

• CnfFormula derives Clone

  maugier

  committed
  4d83a76

  Copy full SHA for 4d83a76

Commits on Nov 20, 2020

• Merge pull request #164 from cjsauer/clippy-lints

  Show description for df6bbf0
  jix

  authored
  df6bbf0

  Copy full SHA for df6bbf0

Commits on Nov 19, 2020

• replace trival uses of match with matches! macro

  cjsauer

  committed
  7000b47

  Copy full SHA for 7000b47

Commits on Sep 9, 2020

• Bump version in doc links

  jix

  committed
  851f174

  Copy full SHA for 851f174

• Merge branch 'master' of github.com:jix/varisat into master

  jix

  committed
  f10cbfe

  Copy full SHA for f10cbfe

• Bump version

  jix

  committed
  8c1bd59

  Copy full SHA for 8c1bd59

• Replace `failure` with `anyhow` and `thiserror`

  Show description for d999066
  jix

  committed
  d999066

  Copy full SHA for d999066

• Apply rustfmt

  jix

  committed
  9ea2918

  Copy full SHA for 9ea2918

• Upgrade dependencies

  jix

  committed
  58046a0

  Copy full SHA for 58046a0

• Fix warnings and clippy issues

  jix

  committed
  9766983

  Copy full SHA for 9766983

• Remove old CI setup and stuff that is based on it

  jix

  committed
  5270f3e

  Copy full SHA for 5270f3e

Commits on Jun 21, 2019

• Merge #77

  Show description for 4645eef
  

  bors[bot]

  and

  dependabot-preview[bot]

  committed
  4645eef

  Copy full SHA for 4645eef

Commits on Jun 17, 2019

• Bump syn from 0.15.35 to 0.15.36

  Show description for c44ace3
  dependabot-preview[bot]

  authored
  c44ace3

  Copy full SHA for c44ace3

Commits on Jun 13, 2019

• Merge #76

  Show description for 1ba311a
  

  bors[bot]

  and

  dependabot-preview[bot]

  committed
  1ba311a

  Copy full SHA for 1ba311a

• Bump hashbrown from 0.4.0 to 0.5.0

  Show description for affdc60
  dependabot-preview[bot]

  authored
  affdc60

  Copy full SHA for affdc60

Commits on Jun 12, 2019

• Merge #75

  Show description for 5161683
  

  bors[bot]

  and

  dependabot-preview[bot]

  committed
  5161683

  Copy full SHA for 5161683

Commits on Jun 11, 2019

• Bump smallvec from 0.6.9 to 0.6.10

  Show description for 232ef28
  dependabot-preview[bot]

  authored
  232ef28

  Copy full SHA for 232ef28

Commits on Jun 10, 2019

• Merge #73 #74

  Show description for e3ea8dd
  

  bors[bot]

  and

  dependabot-preview[bot]

  committed
  e3ea8dd

  Copy full SHA for e3ea8dd

• Bump regex from 1.1.6 to 1.1.7

  Show description for 729a14b
  dependabot-preview[bot]

  authored
  729a14b

  Copy full SHA for 729a14b

• Merge #72

  Show description for df9bb27
  

  bors[bot]

  and

  dependabot-preview[bot]

  committed
  df9bb27

  Copy full SHA for df9bb27

• Bump proptest from 0.9.3 to 0.9.4

  Show description for f10b42f
  dependabot-preview[bot]

  authored
  f10b42f

  Copy full SHA for f10b42f

• Bump syn from 0.15.34 to 0.15.35

  Show description for 84ce190
  dependabot-preview[bot]

  authored
  84ce190

  Copy full SHA for 84ce190

Commits on Jun 3, 2019

• Merge #71

  Show description for 94ed600
  

  bors[bot]

  and

  dependabot-preview[bot]

  committed
  94ed600

  Copy full SHA for 94ed600

• Bump serde from 1.0.91 to 1.0.92

  Show description for 8243aa5
  dependabot-preview[bot]

  authored
  8243aa5

  Copy full SHA for 8243aa5

Commits on May 31, 2019

• Merge #70

  Show description for 80905eb
  

  bors[bot]

  and

  jix

  committed
  80905eb

  Copy full SHA for 80905eb

• checker: Doc titles for new modules

  jix

  committed
  f29e02a

  Copy full SHA for f29e02a

• Refactor emitting of processing steps

  jix

  committed
  4f49385

  Copy full SHA for 4f49385

• Split checker into modules

  jix

  committed
  0bbbb21

  Copy full SHA for 0bbbb21

• Merge #69

  Show description for 81dc5cf
  

  bors[bot]

  and

  dependabot-preview[bot]

  committed
  81dc5cf

  Copy full SHA for 81dc5cf

• Bump hashbrown from 0.3.0 to 0.4.0

  Show description for da15422
  dependabot-preview[bot]

  authored
  da15422

  Copy full SHA for da15422

Commits on May 30, 2019

• Prepare split of checker data structure

  jix

  committed
  e110557

  Copy full SHA for e110557

Commits on May 29, 2019

• Merge #68

  Show description for 445d0e1
  

  bors[bot]

  and

  jix

  committed
  445d0e1

  Copy full SHA for 445d0e1

• Use newly stabelized range .contains

  jix

  committed
  e4b9d0e

  Copy full SHA for e4b9d0e

• Move assumption test from solver.rs to assumptions.rs

  jix

  committed
  2770c24

  Copy full SHA for 2770c24

Pagination

Previous

Next