Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 19, 2014

• Some reversions of recent commits re: portfolio failure.

  Show description for 5a7e8c7
  

  mdeters

  authored and

  lianah

  committed
  5a7e8c7

• Test portfolio with --no-wait-to-join.

  

  mdeters

  authored and

  lianah

  committed
  d9804ee

Commits on Jun 15, 2014

• fix travis config

  mdeters

  committed
  58619d7

Commits on Apr 10, 2014

• refactor .travis.yml

  kbansal

  committed
  fccff6a

Commits on Mar 31, 2014

• Travis-CI test for new-theory script, also related bugfixes.

  mdeters

  committed
  9af3f27

Commits on Jan 8, 2014

• Merge branch '1.3.x'

  Show description for e6fb65b
  mdeters

  committed
  e6fb65b

• Cache apt packages on Travis.

  mdeters

  committed
  6991f30

Commits on Dec 23, 2013

• Proof-checking code; fixups of segfaults and missing functionality in proof generation; fix bug 285.

  Show description for ff7d33c
  mdeters

  committed
  ff7d33c

Commits on Dec 17, 2013

• First attempt at incorporating LFSC proof checker into CVC4.

  mdeters

  committed
  5186ca7

Commits on Dec 16, 2013

• Send Travis-CI emails to everyone

  mdeters

  committed
  6b0e8bd

Commits on Dec 13, 2013

• Fix to Travis-CI config.

  mdeters

  committed
  852197c

• Travis-CI configuration.

  mdeters

  committed
  21ceda2

Loading