Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Oct 16, 2016

• Minor modifications to correct build errors

  donaldsonjw

  committedOct 16, 2016
  14fec22

• Merge remote-tracking branch 'kourzanov/master'

  donaldsonjw

  committedOct 16, 2016
  ea4df9b

• Remove unneeded bracket-syntax included

  donaldsonjw

  committedOct 16, 2016
  8f470e6

Commits on Nov 23, 2014

• added missing primitives

  kourzanov

  committedNov 23, 2014
  93d0a0b

• refactored numbers into a separate module within bkanren

  kourzanov

  committedNov 23, 2014
  e5d7896

Commits on Nov 12, 2014

• typo fix

  kourzanov

  committedNov 12, 2014
  c7a0708

Commits on Nov 7, 2014

• Merge pull request #1 from kourzanov/master

  donaldsonjw

  committedNov 7, 2014
  6ad1920

Commits on Nov 5, 2014

• updated with comments

  kourzanov

  committedNov 5, 2014
  a4c2453

• adding memo.scm to test left-recursion elimination

  kourzanov

  committedNov 5, 2014
  833a68c

Commits on Nov 3, 2014

• better integration with original minikanren

  kourzanov

  committedNov 3, 2014
  28feafd

Commits on Oct 29, 2014

• typo

  kourzanov

  committedOct 29, 2014
  f288d12

• remove pattern-matching/alexpander dependencies

  kourzanov

  committedOct 29, 2014
  000891f

• improved

  kourzanov

  committedOct 29, 2014
  77f7172

Commits on Oct 28, 2014

• update

  kourzanov

  committedOct 28, 2014
  59b9bf3

• fix absento bug

  kourzanov

  committedOct 28, 2014
  e711e10

• cosmetics

  kourzanov

  committedOct 28, 2014
  c4083a8

Commits on Oct 24, 2014

• fix ground? tests work now

  kourzanov

  committedOct 24, 2014
  1b9df04

Commits on Oct 22, 2014

• fix stringo

  kourzanov

  committedOct 22, 2014
  a35f46f

• adding mk-tabled.*

  kourzanov

  committedOct 22, 2014
  41f4b3e

• adding tabled.ss

  kourzanov

  committedOct 22, 2014
  af83299

• add stringo, rename modules

  kourzanov

  committedOct 22, 2014
  aff0f0a

Commits on Oct 21, 2014

• adding all

  kourzanov

  committedOct 21, 2014
  0439d43

Commits on Oct 20, 2014

• remove all traces of engine

  kourzanov

  committedOct 20, 2014
  f08b928

• compiles now

  kourzanov

  committedOct 20, 2014
  8f5ea52

• added tabled, fixed numbers

  kourzanov

  committedOct 20, 2014
  b002f42

Commits on Sep 20, 2014

• add numbers

  kourzanov

  committedSep 20, 2014
  8086f8c

• restore []

  kourzanov

  committedSep 20, 2014
  ca2cb0f

• imported minikanren from Sept. 18 2013 (with eigens)

  kourzanov

  committedSep 20, 2014
  b4530a5

Commits on Mar 15, 2014

• Added some support for detecting the system and setting appropriate shared

  donaldsonjw

  committedMar 15, 2014
  933fdb1

Commits on Mar 10, 2014

• updated linker options

  donaldsonjw

  committedMar 10, 2014
  77858bf

Commits on Mar 9, 2014

• Added Readme

  donaldsonjw

  committedMar 9, 2014
  e9ca6c8

• initial commit

  donaldsonjw

  committedMar 9, 2014
  04bf2c1