Commits

Breadcrumbs

History for

on9202ee4

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 7, 2014

• Update competition build rules.

  mdeters

  committed
  b07abc9

Commits on Jun 22, 2014

• Another updated submission strategy.

  mdeters

  committed
  ca0c712

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

• fix typo

  

  mdeters

  authored and

  lianah

  committed
  7d70125

Commits on Jun 15, 2014

• One last(?) fix for build script for smtcomp uploads.

  mdeters

  committed
  84f7eea

Commits on Jun 13, 2014

• Allow parallel failures when building competition version (they are spurious).

  mdeters

  committed
  0cbff62

Commits on Jun 12, 2014

• More make submission stuff

  mdeters

  committed
  1cf39de

• more fix-ups

  mdeters

  committed
  a026ce1

• more smtcomp-submission script work

  mdeters

  committed
  7be006f

Commits on Jun 11, 2014

• Fix parallel run script.

  mdeters

  committed
  c698c4c

• Some clean-up, post bv-merge.

  Show description for 6f1454d
  mdeters

  committed
  6f1454d

Commits on Jun 6, 2014

• Fix submission script (again).

  mdeters

  committed
  112a151

Commits on Jun 5, 2014

• SMT-COMP version gets built --with-abc.

  mdeters

  committed
  0dce010

Commits on Jun 3, 2014

• Another check when making SMT-COMP submission zipfiles.

  mdeters

  committed
  c3e6b4f

• Fix StarExec description files for new requirements.

  mdeters

  committed
  27e7c4c

Commits on May 30, 2014

• More make rules

  mdeters

  committed
  46ef519

• One final bit (I hope) of make magic

  mdeters

  committed
  1bd78a6

• More make rules

  mdeters

  committed
  eb606f2

• Update submission make rules.

  mdeters

  committed
  7088a6f

Commits on Sep 18, 2013

• Support a personal build configuration and make rules.

  mdeters

  committed
  54977fe

Commits on Apr 26, 2013

• FCSimplex branch merge

  

  timothy-king

  authored and

  mdeters

  committed
  9098391

Commits on Apr 2, 2013

• One final fix to "make submission" rule

  mdeters

  committed
  9c86503

• Adjust release Makefile rules, new run script

  mdeters

  committed
  2f195e4

Commits on Mar 19, 2013

• Remove PropositionalQuery class and all CUDD-related build stuff (and references)

  mdeters

  committed
  7dd316a

Commits on Oct 26, 2012

• today's build system fix: sometimes examples weren't built with "make examples"; fixed

  

  ACSYS

  committed
  dbaaa9f

Commits on Oct 23, 2012

• some fixes for "make examples" and "make install-examples" when invoked from tarballs (non-subversion-checkouts); should fix "INSTALL" failure we saw in last night's build email

  mdeters

  committed
  c19a568

Commits on Oct 3, 2012

• better documentation, allow examples to be installed, etc

  mdeters

  committed
  7b7397c

Commits on Jul 8, 2012

• Bugs resolved by this commit: cvc5#314, cvc5#322, cvc5#359, cvc5#364, cvc5#365.

  Show description for c0dcc5f
  mdeters

  committed
  c0dcc5f

Commits on Jun 18, 2012

• final sources (?) for competition

  mdeters

  committed
  09590d6

Commits on Jun 16, 2012

• updated build script for smt-comp submission

  mdeters

  committed
  243d490

Commits on Jun 14, 2012

• some changes to make CVC4 work nicely with trace executor for application track; (set-option :print-success true) supported, (exit) causes immediate exit regardless of EOF, etc.

  mdeters

  committed
  4c956f2

Commits on Jun 13, 2012

• adding some regressions to the usual regressions runs; several recently-fixed incremental bugs are closed

  mdeters

  committed
  408df5b

• revisions to the "make submission" target

  mdeters

  committed
  859dcf3

• Don't use the "inlined" feature of ANTLR 3.2, which causes a buffer overflow condition when reading from stdin. This should completely resolve bug cvc5#319.

  Show description for 4b3ce37
  mdeters

  committed
  4b3ce37

Pagination

Previous

Next