Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 26, 2021

• add position independent code required for x64 linking

  

  dzosz

  authored and

  cernoch

  committed
  42d0c8e

  Copy full SHA for 42d0c8e

• add missing <limits> header that breaks compilation for gcc 11.2.1 and clang 12.0.1

  

  dzosz

  authored and

  cernoch

  committed
  dde8a20

  Copy full SHA for dde8a20

Commits on Dec 7, 2020

• Merge remote-tracking branch 'github/master'

  horenmar

  committed
  69cb86d

  Copy full SHA for 69cb86d

Commits on Oct 30, 2020

• Merge branch 'dev-better-exception-throwing' into 'master'

  Show description for e0953c5
  horenmar

  committed
  e0953c5

  Copy full SHA for e0953c5

• Use OutOfMemoryException helpers through the code

  Show description for bffabcf
  horenmar

  committed
  bffabcf

  Copy full SHA for bffabcf

• Introduce throw helper for OutOfMemoryException

  Show description for e24e62d
  horenmar

  committed
  e24e62d

  Copy full SHA for e24e62d

• Split OutOfMemoryException into its own file

  Show description for 8ec215a
  horenmar

  committed
  8ec215a

  Copy full SHA for 8ec215a

Commits on Sep 30, 2020

• Merge pull request #10 from yati-sagade/master

  Show description for 609b974
  cernoch

  authored
  609b974

  Copy full SHA for 609b974

Commits on Jul 30, 2020

• conan: fix build on windows

  

  Martin Jeřábek

  committed
  73b87de

  Copy full SHA for 73b87de

Commits on Jul 21, 2020

• conan: fix getting cpu count

  

  Martin Jeřábek

  committed
  b397fec

  Copy full SHA for b397fec

Commits on Jun 30, 2020

• conan: fix running ctest on windows

  

  Martin Jeřábek

  committed
  abef485

  Copy full SHA for abef485

Commits on May 22, 2020

• Merge branch 'dev-vec-cleanups' into 'master'

  Show description for 6823d85
  

  Martin Jeřábek

  committed
  6823d85

  Copy full SHA for 6823d85

Commits on May 21, 2020

• Avoid unnecessary arithmetics in Vec::copyTo

  Show description for 1d39fd1
  horenmar

  committed
  1d39fd1

  Copy full SHA for 1d39fd1

• Make Vec's operator T* explicit

  Show description for 5fab052
  horenmar

  committed
  5fab052

  Copy full SHA for 5fab052

• Merge branch 'dev-speed-up-adding-clauses' into 'master'

  Show description for 693aff2
  

  Martin Jeřábek

  committed
  693aff2

  Copy full SHA for 693aff2

• Speedup adding clauses by not sorting unary and binary clauses

  Show description for c505153
  horenmar

  committed
  c505153

  Copy full SHA for c505153

Commits on May 18, 2020

• conan: use conan_base v2 + custom server

  

  Martin Jeřábek

  committed
  beaba32

  Copy full SHA for beaba32

Commits on May 6, 2020

• Merge branch 'dev-conan' into 'master'

  Show description for 4b977c0
  

  Martin Jeřábek

  committed
  4b977c0

  Copy full SHA for 4b977c0

• add conan & CI

  

  Martin Jeřábek

  committed
  7d627d4

  Copy full SHA for 7d627d4

Commits on Feb 19, 2020

• Merge branch 'dev-warnings' into 'master'

  Show description for 1f616e7
  horenmar

  committed
  1f616e7

  Copy full SHA for 1f616e7

Commits on Feb 18, 2020

• Ignore harmless gcc warning in public header

  

  Martin Jeřábek

  committed
  af96eca

  Copy full SHA for af96eca

Commits on Nov 30, 2019

• README: Update build instructions

  yati-sagade

  committed
  f6148cc

  Copy full SHA for f6148cc

Commits on Nov 8, 2019

• Merge branch 'dev-cmake' into 'master'

  Show description for 9ce29be
  

  Martin Jeřábek

  committed
  9ce29be

  Copy full SHA for 9ce29be

• MINISAT_INSTALL: default to on

  

  Martin Jeřábek

  committed
  9e051a6

  Copy full SHA for 9e051a6

• build binaries also when testing is enabled

  

  Martin Jeřábek

  committed
  60909fa

  Copy full SHA for 60909fa

Commits on Nov 7, 2019

• cmake: options to disable install and building executables

  

  Martin Jeřábek

  committed
  81c1fe8

  Copy full SHA for 81c1fe8

Commits on Apr 25, 2019

• Fix MSVC warnings

  horenmar

  committed
  0a26c16

  Copy full SHA for 0a26c16

Commits on Sep 16, 2018

• Merge pull request #9 from master-keying/azure-pipelines

  Show description for d6b2511
  horenmar

  authored
  d6b2511

  Copy full SHA for d6b2511

• Add a proof of concept integration with azure pipelines-powered CI

  Show description for e224dd0
  horenmar

  committed
  e224dd0

  Copy full SHA for e224dd0

Commits on Sep 11, 2018

• Merge pull request #8 from master-keying/dev-vec-rework

  Show description for ba2fece
  horenmar

  authored
  ba2fece

  Copy full SHA for ba2fece

• Move from index-based loops to iterators and algorithms

  Show description for 0894d6e
  horenmar

  committed
  0894d6e

  Copy full SHA for 0894d6e

• Optimize vec<T> implementation by modifying internals

  Show description for f0c5d56
  horenmar

  committed
  f0c5d56

  Copy full SHA for f0c5d56

Commits on Aug 31, 2018

• Move pigeon-hole-9 input to benchmarks

  horenmar

  committed
  f28df78

  Copy full SHA for f28df78

• Remove the obsolete gitignore file

  Show description for 8735c17
  horenmar

  committed
  8735c17

  Copy full SHA for 8735c17

• Make OutOfMemoryException part of std::exception hierarchy

  horenmar

  committed
  3ecace4

  Copy full SHA for 3ecace4

Pagination

Previous

Next