Permalink
Commits on Sep 22, 2018
  1. Update README.md

    jkoppel committed Sep 22, 2018
Commits on Sep 14, 2018
  1. Adding Java implementation

    jkoppel committed Sep 14, 2018
Commits on Jul 1, 2018
Commits on Jun 26, 2018
  1. Adding license

    jkoppel committed Jun 26, 2018
Commits on Jun 22, 2018
  1. Merge pull request #12 from gasche/master

    jkoppel committed Jun 22, 2018
    plot: change markings for readability
Commits on Jun 9, 2018
  1. Merge pull request #11 from gasche/docker

    jkoppel committed Jun 9, 2018
    Docker
  2. minor fix to opam init option

    gasche committed Jun 9, 2018
Commits on Jun 1, 2018
  1. Making make clean not fail

    jkoppel committed Jun 1, 2018
  2. Merge pull request #10 from gasche/docker

    jkoppel committed Jun 1, 2018
    Docker: split actions (for better caching) and iterate on the OCaml setup
  3. build delimcc from source rather than OPAM

    gasche committed Jun 1, 2018
    The 2017 version of delimcc doesn't work with GCC 7.x, which means
    that some evaluators may get random build failures (... and
    myself). The 2018 version of delimcc fixes this issue (I reported the
    bug to Oleg), but it is not packaged in OPAM yet, so here we just
    build it from source.
Commits on May 31, 2018
  1. Artifact overview

    jkoppel committed May 31, 2018
Commits on May 28, 2018
  1. chmod +x on data script

    jkoppel committed May 28, 2018
Commits on May 24, 2018
  1. Merge pull request #9 from gasche/improve-prolog-benchmark

    jkoppel committed May 24, 2018
    Improve prolog benchmark
  2. GProlog -> GNU Prolog

    gasche committed May 24, 2018
  3. Add GNU Prolog support

    gergo- authored and gasche committed May 24, 2018
    GNU Prolog compiles the program to native code instead of interpreting it,
    giving a speedup of about 2x compared to SWI-Prolog with optimization.
  4. Run SWI-Prolog with optimization

    gergo- authored and gasche committed May 23, 2018
    Pass the -O flag to swipl for a slightly fairer comparison with optimizing
    compilers. This gives a 2x speedup.
    
    Before:
    ```
    $ ruby ./run_benchmark_time.rb "sh prolog.sh"
    script	"sh prolog.sh"
    point	8	41.0
    point	9	97.0
    point	10	405.0
    point	11	2129.0
    point	12	12669.0
    ```
    
    After:
    ```
    $ ruby ./run_benchmark_time.rb "sh prolog.sh"
    script	"sh prolog.sh"
    point	8	29.0
    point	9	65.0
    point	10	221.0
    point	11	1109.0
    point	12	6473.0
    ```
Commits on Mar 17, 2018
  1. ANother tweak

    jkoppel committed Mar 17, 2018
  2. Less explicit ans type

    jkoppel committed Mar 17, 2018
Commits on Mar 15, 2018
  1. Merge pull request #8 from gasche/faster-nqueens

    jkoppel committed Mar 15, 2018
    Faster nqueens