Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 2, 2021

• Merge pull request #8 from marcionicolau/master

  Show description for e2e926e
  msoos

  authored
  e2e926e

  Copy full SHA for e2e926e

Commits on Jul 30, 2021

• Update Dockerfile for better structure

  marcionicolau

  committed
  9ab8634

  Copy full SHA for 9ab8634

Commits on Mar 18, 2021

• Merge pull request #7 from maxzinkus/patch-1

  Show description for 7eec4ca
  msoos

  authored
  7eec4ca

  Copy full SHA for 7eec4ca

Commits on Mar 17, 2021

• Update mis.py

  Show description for dad90d2
  maxzinkus

  authored
  dad90d2

  Copy full SHA for dad90d2

• Update mis.py

  Show description for 0066e47
  maxzinkus

  authored
  0066e47

  Copy full SHA for 0066e47

Commits on Jan 24, 2021

• Fixing dumbest stuff ever

  msoos

  committed
  3e5a000

  Copy full SHA for 3e5a000

Commits on Jan 21, 2021

• Stop this "smart" file detection, it's a really bad idea

  msoos

  committed
  50cb149

  Copy full SHA for 50cb149

• Fixing option name

  msoos

  committed
  e6709b3

  Copy full SHA for e6709b3

• Make sure we close the file

  msoos

  committed
  4100103

  Copy full SHA for 4100103

Commits on Sep 18, 2019

• Fixing Docker for good

  msoos

  committed
  7d2404b

  Copy full SHA for 7d2404b

• Fixing dockerfile

  msoos

  committed
  02dbef8

  Copy full SHA for 02dbef8

• Fixing dockerfile

  msoos

  committed
  795f750

  Copy full SHA for 795f750

• Revert "Removing module"

  Show description for ea43162
  msoos

  committed
  ea43162

  Copy full SHA for ea43162

• Revert "Revert "Fixing docker clone""

  Show description for dd5cb9c
  msoos

  committed
  dd5cb9c

  Copy full SHA for dd5cb9c

• Revert "Fixing docker clone"

  Show description for 17e0e37
  msoos

  committed
  17e0e37

  Copy full SHA for 17e0e37

• Removing module

  msoos

  committed
  6f73667

  Copy full SHA for 6f73667

Commits on Sep 15, 2019

• Fixing docker clone

  msoos

  committed
  f87d5fb

  Copy full SHA for f87d5fb

• Let's built it as static

  msoos

  committed
  a98881b

  Copy full SHA for a98881b

• Fixing docker file

  msoos

  committed
  bbe8265

  Copy full SHA for bbe8265

Commits on Sep 11, 2019

• Fixing check

  msoos

  committed
  8711959

  Copy full SHA for 8711959

• Allow noclean option

  msoos

  committed
  61a6952

  Copy full SHA for 61a6952

• Fixing cleaning

  msoos

  committed
  86f4864

  Copy full SHA for 86f4864

• Fixing build

  msoos

  committed
  099ca22

  Copy full SHA for 099ca22

• Updating to fixed MUSER

  msoos

  committed
  4fc9489

  Copy full SHA for 4fc9489

• Fixing build

  msoos

  committed
  fac20ea

  Copy full SHA for fac20ea

• Updating muser2 to compile

  msoos

  committed
  d5bfb8e

  Copy full SHA for d5bfb8e

• Better readme

  msoos

  committed
  35c936c

  Copy full SHA for 35c936c

• Actually, timeout is below

  msoos

  committed
  fdccbe8

  Copy full SHA for fdccbe8

• Fixing Docker

  msoos

  committed
  c285f65

  Copy full SHA for c285f65

• Fixing directories, etc

  msoos

  committed
  ebf246e

  Copy full SHA for ebf246e

• Removing weird timeout update

  msoos

  committed
  738d123

  Copy full SHA for 738d123

• Fixing clone/submodule

  msoos

  committed
  22e1af1

  Copy full SHA for 22e1af1

• Adding module

  msoos

  committed
  7d40fae

  Copy full SHA for 7d40fae

Commits on May 6, 2019

• Adding requirement for correct DIMACS header

  msoos

  authored
  615aea5

  Copy full SHA for 615aea5

Commits on Jan 11, 2019

• Update README.md

  

  Kuldeep S. Meel

  authored
  a705e17

  Copy full SHA for a705e17

Pagination

Previous

Next