Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on May 30, 2024

• update binary

  TrevorHansen

  committed
  474bd09

  Copy full SHA for 474bd09

• 2024 description

  TrevorHansen

  committed
  8c270d5

  Copy full SHA for 8c270d5

Commits on May 22, 2023

• required pdf description

  TrevorHansen

  committed
  b9ea01f

  Copy full SHA for b9ea01f

Commits on May 13, 2023

• first version

  TrevorHansen

  committed
  e18f091

  Copy full SHA for e18f091

Commits on Jun 6, 2022

• fix typos

  TrevorHansen

  committed
  54e161c

  Copy full SHA for 54e161c

• new version of description

  TrevorHansen

  committed
  7b95d14

  Copy full SHA for 7b95d14

Commits on Jun 15, 2021

• small fixes

  TrevorHansen

  committed
  35e7ffe

  Copy full SHA for 35e7ffe

• rebuild

  TrevorHansen

  committed
  495633b

  Copy full SHA for 495633b

• update dates

  TrevorHansen

  committed
  e016a28

  Copy full SHA for e016a28

Commits on Jun 13, 2021

• Merge pull request #5 from conp-solutions/2021-parallel

  Show description for 272a84f
  msoos

  authored
  272a84f

  Copy full SHA for 272a84f

• descr,2021: fix year

  Show description for 07745ec
  conp-solutions

  committed
  07745ec

  Copy full SHA for 07745ec

• descr,2021: add parallel variant

  Show description for 3bc5c20
  conp-solutions

  committed
  3bc5c20

  Copy full SHA for 3bc5c20

• fixup! Adding the cloud track information, doing some spell check

  conp-solutions

  committed
  4a09b8a

  Copy full SHA for 4a09b8a

• Revert "Adding the cloud track information, doing some spell check"

  Show description for df6761f
  conp-solutions

  committed
  df6761f

  Copy full SHA for df6761f

• Adding the cloud track information, doing some spell check

  msoos

  committed
  66112f2

  Copy full SHA for 66112f2

• draft 2021 system description

  TrevorHansen

  committed
  79100dc

  Copy full SHA for 79100dc

Commits on May 26, 2020

• Add more about STP hero Mate Soos

  TrevorHansen

  committed
  234fd2b

  Copy full SHA for 234fd2b

Commits on May 25, 2020

• small edit

  TrevorHansen

  committed
  ea8929c

  Copy full SHA for ea8929c

• updating smtcomp 2020 description

  TrevorHansen

  committed
  2ccfd95

  Copy full SHA for 2ccfd95

Commits on May 24, 2020

• first draft smtcomp 2020

  TrevorHansen

  committed
  3f5c0bc

  Copy full SHA for 3f5c0bc

Commits on Jun 26, 2019

• Merge pull request #4 from conp-solutions/SMT2019-easychair

  Show description for 750ec1d
  msoos

  authored
  750ec1d

  Copy full SHA for 750ec1d

Commits on Jun 24, 2019

• 2019: turn into easychair file

  conp-solutions

  committed
  96bbedf

  Copy full SHA for 96bbedf

Commits on Jun 2, 2019

• Merge pull request #3 from conp-solutions/fix-instituts-2019

  Show description for b6e4914
  msoos

  authored
  b6e4914

  Copy full SHA for b6e4914

Commits on Jun 1, 2019

• 2019: fix order and inst

  conp-solutions

  committed
  fe0f265

  Copy full SHA for fe0f265

Commits on May 31, 2019

• Merge pull request #2 from conp-solutions/smt2019

  Show description for 71e3030
  msoos

  authored
  71e3030

  Copy full SHA for 71e3030

• smt2019: make changes for 2019

  Show description for dc027d0
  conp-solutions

  committed
  dc027d0

  Copy full SHA for dc027d0

Commits on May 27, 2018

• Merge pull request #1 from conp-solutions/smt2018

  Show description for 1c9e2b7
  msoos

  authored
  1c9e2b7

  Copy full SHA for 1c9e2b7

Commits on May 25, 2018

• smt2018: make changes for 2018

  Show description for b1834e9
  conp-solutions

  committed
  b1834e9

  Copy full SHA for b1834e9

• smt2018: duplicate 2016 files

  conp-solutions

  committed
  cb96cbb

  Copy full SHA for cb96cbb

Commits on Mar 8, 2018

• Create README.md

  rgov

  authored
  a9ab8d8

  Copy full SHA for a9ab8d8

Commits on May 9, 2016

• Adding description for SMTCOMP 2016

  msoos

  committed
  0b9828d

  Copy full SHA for 0b9828d

Commits on May 31, 2015

• Fixing up descr

  msoos

  committed
  1189f24

  Copy full SHA for 1189f24

• Adding description for SMT-COMP2015

  msoos

  committed
  9e6b9a3

  Copy full SHA for 9e6b9a3

Commits on Jul 24, 2014

• Adding certificate that STP-CMS4 got 2nd place in SMT2014 QF_BV

  msoos

  committed
  bff0ede

  Copy full SHA for bff0ede

• Moving files under a directory

  msoos

  committed
  03d9dc6

  Copy full SHA for 03d9dc6

Pagination

Previous

Next