Switch branches/tags
Commits on May 28, 2013
  1. Make ramsey> prompt show even for blanks and comments

    apoelstra committed May 28, 2013
    This makes the UI seem simpler.
Commits on May 22, 2013
Commits on Mar 15, 2013
  1. Remove Gtk

    apoelstra committed Mar 15, 2013
    Since it is not really documented or used, it is probably just
    confusing to have GUI code in RamseyScript.
    We have not used the Gtk code in several months, and it is very
    unlikely that it still works (if it ever did). Anyone interested
    in reviving it should fork from the previous commit and merge in
    later changes.
Commits on Mar 9, 2013
Commits on Feb 20, 2013
  1. sequence recursion can now use equalized gap-sets

    apoelstra committed Feb 20, 2013
    but it appears not to work.
  2. Add equalized-list type, parsed by [= a,b,c...] syntax

    apoelstra committed Feb 20, 2013
    We have a parser and a printer, "not implemented" functions
    for everything recursion-related (TODO: test for problems
    when the user tries to do this anyway).
    Need to write increment/decrement functions which will affect
    the ordering of get_priv_data_const
Commits on Jan 29, 2013
  1. Bump VERSION to 0.6

    apoelstra committed Jan 29, 2013
    I think the "target fork"/"process" stuff deserved a version
    bump. No breaking changes.
  2. Alphabetize the 'Variables' section of the README

    apoelstra committed Jan 29, 2013
    It was almost correct..
  3. Add max-run-time variable to stop after a specified number of seconds.

    apoelstra committed Jan 29, 2013
    Note that the code only actually checks every 1000 iterations, so
    for heavily computational searches, it could run over time by a
    few minutes. So leave some slop.
  4. Add base-sequence variable

    apoelstra committed Jan 29, 2013
Commits on Dec 22, 2012
Commits on Nov 12, 2012
Commits on Oct 25, 2012
Commits on Oct 16, 2012
  1. Add manual recursion capability

    apoelstra committed Oct 16, 2012
    This lets me consolidate the output of all the WestGrid scripts
    into a single script, which will filter all the previous output
    and find the longest.
Commits on Oct 15, 2012
  1. Add `quiet' command to toggle quiet mode

    apoelstra committed Oct 15, 2012
    When you type 'search colorings', for example, RamseyScript
    will dump a bunch of data about active targets, filters, etc,
    which isn't really necessary in a scripted environment (since
    all this data is available from the source script).
    So now there is a 'quiet' command to suppress all this. Typing
    'quiet' again will unsuppress it, and so on.
Commits on Oct 14, 2012
  1. Add `fork' target (for my use with WestGrid)

    apoelstra committed Oct 14, 2012
    The `fork' target outputs a "search [space] [seed]" line, where
    [space] is the current space (plus an extra 's'), [seed] is the
    current object, and the output appears whenever we are at a depth
    specified by the ``fork-depth'' variable.
    So, for example, writing
      ## max-depth must be strictly greater than fork-depth
      set max-depth 5
      set fork-depth 4
      target fork
      filter no-double-3-aps
      search colorings
    We will get a bunch of output of the form
      search colorings [[1, 3] [2] []]
    which can then be plugged into new scripts and evaluated in their
    own process. In a later commit I will add a ``quiet'' command to
    eliminate the rest of the output, making it easy to do everything
    through bash.
Commits on Apr 16, 2012
Commits on Apr 4, 2012
  1. Fix several memory leaks

    apoelstra committed Apr 4, 2012
  2. Revert "Make coloring output a n-ary word rather than sequence"

    apoelstra committed Apr 4, 2012
    Since we only output one coloring, we can afford to do it in a
    readable way.
    This reverts commit 370af73.
Commits on Apr 3, 2012