Commits

Branch selector

 0.1

User selector

All users

All time

Commit History

Commits on Feb 13, 2017

• update

  edadma

  committedFeb 13, 2017
  a4919cf

Commits on Apr 16, 2015

• accomodate LIA package name change

  edadma

  committedApr 16, 2015
  5ace98b

• add support for travis-ci

  edadma

  committedApr 16, 2015
  e412b73

Commits on Apr 15, 2015

• correction

  edadma

  committedApr 15, 2015
  daeef7d

Commits on Apr 14, 2015

• another correction to use bintray

  edadma

  committedApr 14, 2015
  18c7aef

• correction to use bintray

  edadma

  committedApr 14, 2015
  d4b1a65

• switch to bintray

  edadma

  committedApr 14, 2015
  6be68c3

Commits on Mar 1, 2015

• correct readme

  edadma

  committedMar 1, 2015
  34e4c08

• publish 0.1

  edadma

  committedMar 1, 2015
  0615681

• small changes

  edadma

  committedMar 1, 2015
  8f37beb

• fix =.., add test

  edadma

  committedMar 1, 2015
  6bd9ad2

Commits on Feb 28, 2015

• improve 'is' predicate implementation, add more tests

  edadma

  committedFeb 28, 2015
  2af8768

• show continuation pointer during trace

  edadma

  committedFeb 28, 2015
  b50deca

• fix substitution handling

  edadma

  committedFeb 28, 2015
  06c30c8

• add 'mod' operator, test

  edadma

  committedFeb 28, 2015
  c937623

Commits on Feb 22, 2015

• add n-queens problem to tests

  edadma

  committedFeb 22, 2015
  3b0c5b5

Commits on Feb 21, 2015

• fix head code generation error caught by hamming test

  edadma

  committedFeb 21, 2015
  f0670d2

• fix deprecation warning

  edadma

  committedFeb 21, 2015
  8e4dc5b

Commits on Feb 19, 2015

• fix call query compilation

  edadma

  committedFeb 19, 2015
  4b5c3fa

• generate neck_cut in rules

  edadma

  committedFeb 19, 2015
  e886660

• add correct neck cut code generation

  edadma

  committedFeb 19, 2015
  9a814e1

• fix neck cut code generation

  edadma

  committedFeb 19, 2015
  f01c139

• fixed AST

  edadma

  committedFeb 19, 2015
  d121ee2

Commits on Feb 17, 2015

• add src for built-ins

  edadma

  committedFeb 17, 2015
  f729d1d

• decouple built-ins from WAM

  edadma

  committedFeb 17, 2015
  a2e8e51

Commits on Feb 16, 2015

• add benchmarking using sudoku solver

  edadma

  committedFeb 16, 2015
  a8b45a7

• add sudoku solver to unit tests

  edadma

  committedFeb 16, 2015
  cab4e1a

• optimize call instruction

  edadma

  committedFeb 16, 2015
  36775cc

Commits on Feb 15, 2015

• fix code generation error for rules

  edadma

  committedFeb 15, 2015
  729c50a

Commits on Feb 14, 2015

• improve readme

  edadma

  committedFeb 14, 2015
  c7fbac4

• add canonical display of unary operators

  edadma

  committedFeb 14, 2015
  6e79a85

• add canonical display of binary operators

  edadma

  committedFeb 14, 2015
  f3cb772

Commits on Feb 13, 2015

• add symbolic differentiation unit test

  edadma

  committedFeb 13, 2015
  b587c9e

Commits on Feb 12, 2015

• trim call() compilation stack on backtracking

  edadma

  committedFeb 12, 2015
  c83bd8c

• fixup zebra puzzle

  edadma

  committedFeb 12, 2015
  be8a93c

Pagination

PreviousNext