Commits

Breadcrumbs

History for

on7d5f115

User selector

All users

Datepicker

All time

Commit History

Commits on May 22, 2017

• GCC 6 is no longer required

  Show description for eb68db4
  tautschnig

  committed
  eb68db4

  Copy full SHA for eb68db4

Commits on Apr 25, 2017

• Change utf8 to utf16 conversion to not require codecvt.

  Show description for 49b77ce
  forejtv

  committed
  49b77ce

  Copy full SHA for 49b77ce

Commits on Apr 2, 2017

• update compilation instructions

  kroening

  committed
  d811f4d

  Copy full SHA for d811f4d

Commits on Mar 29, 2017

• Ubuntu has new g++

  kroening

  committed
  943bdc8

  Copy full SHA for 943bdc8

Commits on Mar 23, 2017

• Updates for GCC 6

  

  jgwilson42

  committed
  903d243

  Copy full SHA for 903d243

• update instructions for g++ 6

  kroening

  committed
  c21d3ed

  Copy full SHA for c21d3ed

Commits on Mar 19, 2017

• we don't use libzip any more

  kroening

  committed
  4b1b627

  Copy full SHA for 4b1b627

Commits on Mar 18, 2017

• compilation instructions

  kroening

  committed
  f082419

  Copy full SHA for f082419

Commits on Mar 8, 2017

• libzip/zlib download no longer needed

  kroening

  committed
  38f8f5c

  Copy full SHA for 38f8f5c

Commits on Jan 11, 2017

• Adding script to give code coverage for regression tests.

  

  James Wilson

  committed
  3b2463a

  Copy full SHA for 3b2463a

Commits on Dec 14, 2016

• required g++ version number

  kroening

  committed
  2f61c60

  Copy full SHA for 2f61c60

Commits on Sep 27, 2016

• there is now FreeBSD 11

  kroening

  committed
  6ce49de

  Copy full SHA for 6ce49de

Commits on Sep 5, 2016

• missing make libzip-build

  kroening

  committed
  c355777

  Copy full SHA for c355777

Commits on Aug 15, 2016

• Visual Studio 2012 no longer works

  kroening

  committed
  32a1f72

  Copy full SHA for 32a1f72

Commits on Jul 20, 2016

• update Solaris instructions

  kroening

  committed
  ed49fbd

  Copy full SHA for ed49fbd

Commits on Jun 23, 2016

• libzip build instructions

  kroening

  committed
  0fe76c7

  Copy full SHA for 0fe76c7

• Merge pull request #79 from bkolb/patch-1

  Show description for c37e024
  kroening

  authored
  c37e024

  Copy full SHA for c37e024

Commits on May 19, 2016

• fix Minisat 2.2.1 URL

  kroening

  committed
  08faebc

  Copy full SHA for 08faebc

Commits on Apr 24, 2016

• Update COMPILING

  Show description for 9b08e1c
  bkolb

  committed
  9b08e1c

  Copy full SHA for 9b08e1c

Commits on Apr 2, 2016

• we now use GIT; remove references to the SVN

  kroening

  committed
  4acf872

  Copy full SHA for 4acf872

Commits on Mar 8, 2016

• minisat version

  Show description for 20ceed3
  

  kroening

  committed
  20ceed3

  Copy full SHA for 20ceed3

Commits on Jan 12, 2016

• better advice for Macs

  Show description for a92ef10
  

  kroening

  committed
  a92ef10

  Copy full SHA for a92ef10

Commits on Dec 1, 2015

• Visual Studio 2015 works fine

  Show description for f7a6aca
  

  kroening

  committed
  f7a6aca

  Copy full SHA for f7a6aca

Commits on Oct 5, 2015

• update instructions

  Show description for eeba37c
  

  kroening

  committed
  eeba37c

  Copy full SHA for eeba37c

Commits on Aug 28, 2015

• libzip-dev

  Show description for bfd9d8c
  

  kroening

  committed
  bfd9d8c

  Copy full SHA for bfd9d8c

Commits on Feb 11, 2015

• path

  Show description for 20dd315
  

  kroening

  committed
  20dd315

  Copy full SHA for 20dd315

Commits on Jan 24, 2015

• FreeBSD compilation

  Show description for 7c6885a
  

  kroening

  committed
  7c6885a

  Copy full SHA for 7c6885a

Commits on Dec 8, 2014

• mention SVN where needed

  Show description for 2842c79
  

  kroening

  committed
  2842c79

  Copy full SHA for 2842c79

Commits on Nov 22, 2014

• support for FreeBSD

  Show description for 3168252
  

  kroening

  committed
  3168252

  Copy full SHA for 3168252

Commits on Oct 30, 2014

• Eclipse instructions

  Show description for 733d68a
  

  kroening

  committed
  733d68a

  Copy full SHA for 733d68a

Commits on Oct 14, 2014

• updates

  Show description for 23616fe
  

  kroening

  committed
  23616fe

  Copy full SHA for 23616fe

Commits on Jun 16, 2014

• updated Solaris 11 instructions

  Show description for a0c50f7
  

  kroening

  committed
  a0c50f7

  Copy full SHA for a0c50f7

• updated Solaris 11 instructions

  Show description for eba7026
  

  kroening

  committed
  eba7026

  Copy full SHA for eba7026

Commits on Feb 21, 2014

• updated Solaris 11 instructions

  Show description for 3f135ee
  

  kroening

  committed
  3f135ee

  Copy full SHA for 3f135ee

Commits on Dec 11, 2013

• Solaris 11 instructions

  Show description for d648dac
  

  kroening

  committed
  d648dac

  Copy full SHA for d648dac

Pagination

Previous

Next