Skip to content
Commits on Apr 26, 2016
  1. @kostis
  2. @kostis

    Merge pull request #102 from matthiaskr/matthiaskr/bugfix/non-proper-…

    …lists
    
    try to fix non-proper lists in state
    kostis committed Apr 26, 2016
  3. @matthiaskr
Commits on Apr 25, 2016
  1. @matthiaskr
Commits on Apr 24, 2016
  1. @kostis

    Minor cleanups

    kostis committed Apr 24, 2016
Commits on Apr 21, 2016
  1. @kostis

    Merge pull request #123 from manopapad/opaques18

    Fix the handling of opaques in 18.x
    kostis committed Apr 21, 2016
  2. @kostis
  3. @kostis
  4. @kostis
  5. @kostis
  6. @kostis

    Merge pull request #121 from mcherep/sequential_constraints

    Abort constraint checking when a strict one fails
    kostis committed Apr 21, 2016
  7. @mcherep

    Abort constraint checking when a strict one fails

    This does not only improve performance, but also abides by user
    expectations.
    
    Fixes #117.
    mcherep committed Apr 21, 2016
  8. @kostis

    Merge pull request #108 from TheGeorge/let_issue

    Enabling ?LET macros to use user defined types
    kostis committed Apr 21, 2016
  9. @kostis
  10. @TheGeorge
  11. @kostis

    Merge pull request #120 from aronisstav/plt

    Separate target for plt (with travis cache)
    kostis committed Apr 21, 2016
  12. @aronisstav
Commits on Apr 19, 2016
  1. @kostis
  2. @kostis

    Correct an erroneous spec

    kostis committed Apr 19, 2016
Commits on Dec 14, 2015
  1. @kostis

    Merge pull request #109 from metadave/dp_newlines_in_examples

    invalid newline escape sequence in examples
    kostis committed Dec 14, 2015
  2. @metadave
Commits on Nov 2, 2015
  1. @kostis
  2. @kostis
  3. @kostis

    Small addition to the README

    kostis committed Nov 2, 2015
Commits on Oct 15, 2015
  1. @kostis

    Merge pull request #106 from arcusfelis/arc-inf-sampleshrink

    Shrinking takes forever in proper_gen:sampleshrink/1
    kostis committed Oct 15, 2015
Commits on Oct 14, 2015
  1. @arcusfelis

    Correctly shrink constrained types with sampleshrink

    Without this patch shrinking with sampleshrink takes forever
    for some types when retries to this function retries to shrink.
    The solution is to compare shrunk result with previous results
    and stop if we already saw the value
    arcusfelis committed Oct 15, 2015
  2. @kostis
  3. @kostis

    Merge pull request #105 from arcusfelis/arc-shrink-retry

    Try all shrinkers in sampleshrink/1
    kostis committed Oct 14, 2015
Commits on Oct 13, 2015
  1. @arcusfelis
  2. @arcusfelis
Commits on Oct 4, 2015
  1. @kostis
  2. @kostis
Commits on Aug 24, 2015
  1. @matthiaskr
Commits on Aug 14, 2015
  1. @kostis
  2. @kostis

    One more contributor is thanked

    kostis committed Aug 14, 2015
Something went wrong with that request. Please try again.