Skip to content

Instantly share code, notes, and snippets.

@vext01
Created February 10, 2014 09:47
Show Gist options
  • Save vext01/8913125 to your computer and use it in GitHub Desktop.
Save vext01/8913125 to your computer and use it in GitHub Desktop.
changeset: 1098:19ebfd23feff
branch: unipycation
tag: tip
parent: 1096:572cd66338c5
parent: 1097:d765c5c5fcd3
user: Edd Barrett <vext01@gmail.com>
date: Mon Feb 10 09:24:23 2014 +0000
summary: Merge default.
changeset: 1097:d765c5c5fcd3
parent: 1094:4a83adc2b6c1
user: Edd Barrett <vext01@gmail.com>
date: Mon Feb 10 09:18:46 2014 +0000
summary: Add tests for last/2.
changeset: 1095:ebcb73c06652
parent: 1091:7cbd899685ab
parent: 1094:4a83adc2b6c1
user: Edd Barrett <vext01@gmail.com>
date: Fri Feb 07 10:08:37 2014 +0000
summary: Merge upstream.
changeset: 1023:29285030999c
branch: new-list-predicates
parent: 1017:47a5afa4eca0
user: Edd Barrett <vext01@gmail.com>
date: Thu Jul 25 10:59:51 2013 +0100
summary: Add an LICENSE file. MIT.
changeset: 1021:0d973135743e
branch: improve-error-handling
user: Edd Barrett <vext01@gmail.com>
date: Wed Jul 24 15:29:01 2013 +0100
summary: test_error.py: Extract exception from ExceptionInfo instead of having assert False.
changeset: 1005:f3c754321339
branch: rip-out-varinterm
user: Carl Friedrich Bolz <cfbolz@gmx.de>
date: Thu Jan 26 14:18:27 2012 +0100
summary: random stuff in my work dir
changeset: 1004:88b2deac2759
branch: type-tag-terms
user: Carl Friedrich Bolz <cfbolz@gmx.de>
date: Fri Dec 09 18:12:12 2011 +0100
summary: add two XXXs
changeset: 1002:441bfa5308bb
branch: compress-terms2
user: Carl Friedrich Bolz <cfbolz@gmx.de>
date: Fri Dec 09 17:59:22 2011 +0100
summary: unroll basic_unify of shaped callables correctly
changeset: 999:c5779394c5c2
branch: minimal-specialization
user: Carl Friedrich Bolz <cfbolz@gmx.de>
date: Fri Dec 09 17:45:58 2011 +0100
summary: keep statistics (will be ripped out soon)
changeset: 987:858a6dfe6a33
branch: tracing-support
parent: 946:693aab2f528c
user: Rene Bartelmus
date: Thu Dec 08 14:38:43 2011 +0100
summary: Fixed bug with exception port
changeset: 800:5efc9302834a
branch: jit-tests
user: Carl Friedrich Bolz <cfbolz@gmx.de>
date: Mon Sep 19 15:11:12 2011 +0200
summary: improve trace
changeset: 634:fc2af1e7b6b5
branch: trace-support
parent: 630:31b42a2855fe
user: Sven Hager <sven.hager@uni-duesseldorf.de>
date: Thu Apr 21 14:05:43 2011 +0200
summary: new branch
changeset: 632:310f22ab009a
branch: new
user: Rene Bartelmus
date: Thu Apr 21 13:52:23 2011 +0200
summary: Reverted changes for tracing (wrong branch)
changeset: 439:4a5399dd3aef
branch: dcg-support
parent: 335:92608c005ce0
user: Rene Bartelmus
date: Thu Mar 10 18:47:53 2011 +0100
summary: kill non existing experiment
changeset: 191:0660d246f6f0
branch: compress-terms
user: Carl Friedrich Bolz <cfbolz@gmx.de>
date: Fri Sep 10 10:56:44 2010 +0200
summary: remove view
changeset: 176:69041e695fcf
branch: more-experiments
parent: 174:3356ba68b411
user: Carl Friedrich Bolz <cfbolz@gmx.de>
date: Thu Jun 03 15:00:40 2010 +0200
summary: fix typo
changeset: 161:cb9d725efab9
branch: jit-playfield
parent: 159:e8efdd98b523
parent: 160:5c7c204e0429
user: Carl Friedrich Bolz <cfbolz@gmx.de>
date: Tue Apr 20 10:53:31 2010 +0200
summary: merge
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment