Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 11, 2023

• removing src makefile link

  

  Armin Biere

  committedSep 11, 2023
  71caafb

• removed stale endianess.h file

  

  Armin Biere

  committedSep 11, 2023
  0b4848d

• added clang-format

  

  Armin Biere

  committedSep 11, 2023
  547c3c6

• safe configuration

  

  Armin Biere

  committedSep 11, 2023
  0e9db7a

Commits on Jun 24, 2023

• back to old README

  arminbiere

  committedJun 24, 2023
  630d64d

• (re)added 3 missing source files

  arminbiere

  committedJun 24, 2023
  00386cf

• release 3.1.0 = SAT Competition 2023 submission merged

  arminbiere

  committedJun 24, 2023
  e21332d

Commits on May 26, 2023

• added bibtex and reference to release

  

  Armin Biere

  committedMay 26, 2023
  a03b9ed

• removed travis

  

  Armin Biere

  committedMay 26, 2023
  8e78eaa

Commits on Jul 7, 2022

• fixed NEWS.md

  arminbiere

  committedJul 7, 2022
  97917dd

Commits on Jul 6, 2022

• fixed version

  arminbiere

  committedJul 6, 2022
  c25429f

• Merge branch 'master' of github.com:arminbiere/kissat

  arminbiere

  committedJul 6, 2022
  fd1bee6

• new version for consistency

  arminbiere

  committedJul 6, 2022
  4d37105

• new version for consistency

  arminbiere

  committedJul 6, 2022
  414b3f4

Commits on Jun 29, 2022

• removed two heuristics bugs

  arminbiere

  committedJun 29, 2022
  13cc7ff

Commits on Jun 15, 2022

• imported sc2022-light

  arminbiere

  committedJun 15, 2022
  0fbf419

• imported sc2022-hyper

  arminbiere

  committedJun 15, 2022
  e077070

• imported sc2022-bulky

  arminbiere

  committedJun 15, 2022
  c5cce1b

Commits on Oct 28, 2021

• removed again

  

  Armin Biere

  committedOct 28, 2021
  02cd696

• Create codeql-analysis.yml

  arminbiere

  committedOct 28, 2021
  cd930d2

Commits on Sep 15, 2021

• removed coverage goal

  

  Armin Biere

  committedSep 15, 2021
  abfa45f

Commits on Jun 8, 2021

• inlined kissat_signal_name

  arminbiere

  committedJun 8, 2021
  00a3a33

Commits on Apr 29, 2021

• imported sc2021-sweep submission

  

  Armin Biere

  committedApr 29, 2021
  8cf49a4

• imported sc2021 submission

  

  Armin Biere

  committedApr 29, 2021
  8174f94

Commits on Mar 4, 2021

• avoid "hanging" in failed literal probing

  

  Armin Biere

  committedMar 4, 2021
  8fca2aa

Commits on Feb 1, 2021

• migrated to travis-ci.com

  

  Armin Biere

  committedFeb 1, 2021
  59813ad

Commits on Jul 8, 2020

• removed

  

  Armin Biere

  committedJul 8, 2020
  613c185

Commits on Jul 4, 2020

• running

  

  Armin Biere

  committedJul 4, 2020
  baef460

Commits on Jun 27, 2020

• removed strange main.o

  

  Armin Biere

  committedJun 27, 2020
  80c42f0

• slightly optimized makefile

  

  Armin Biere

  committedJun 27, 2020
  eaae1d5

• added

  

  Armin Biere

  committedJun 27, 2020
  8c89861

• fixed

  

  Armin Biere

  committedJun 27, 2020
  1e48a6b

Commits on Jun 26, 2020

• removed dependency on newest xcode in .travis.yml

  

  Armin Biere

  committedJun 26, 2020
  1f89b95

• fixed failed test allocation on Fedora

  

  Armin Biere

  committedJun 26, 2020
  5743655

Commits on Jun 12, 2020

• update travis environments

  

  Armin Biere

  committedJun 12, 2020
  f4623c4

Pagination

PreviousNext