Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 9, 2025

• More refactoring, working on pathing

  eihli

  committed
  f4fe951

  Copy full SHA for f4fe951

• Fix a bunch of bugs and bad code

  eihli

  committed
  664b4dc

  Copy full SHA for 664b4dc

• Refactor for cleaner zipper and add zip-up

  eihli

  committed
  1febd86

  Copy full SHA for 1febd86

Commits on Apr 7, 2025

• Refactor to not need to pass stream in step/zip

  Show description for c43bbdf
  eihli

  committed
  c43bbdf

  Copy full SHA for c43bbdf

• Move code from scratch file to main file

  eihli

  committed
  5a0fcea

  Copy full SHA for 5a0fcea

Commits on Apr 4, 2025

• Possibly working zipper stepper

  eihli

  committed
  1299725

  Copy full SHA for 1299725

Commits on Apr 2, 2025

• WIP still troubleshooting zippers

  eihli

  committed
  1aed954

  Copy full SHA for 1aed954

Commits on Apr 1, 2025

• Refactor datagen, add stepper with zipper

  eihli

  committed
  a9c21cf

  Copy full SHA for a9c21cf

• Datagen that uses biased interleaving

  eihli

  committed
  63a5e58

  Copy full SHA for 63a5e58

• Make progress towards a dataset generator

  eihli

  committed
  995d372

  Copy full SHA for 995d372

• Remove duplicate reason.rkt/main.rkt

  eihli

  committed
  11d5caf

  Copy full SHA for 11d5caf

• Add all of the miniKanren code

  eihli

  committed
  d2f8eeb

  Copy full SHA for d2f8eeb

• Update gitignore

  eihli

  committed
  ac130d8

  Copy full SHA for ac130d8

• Delete unused files, clean up strings.rkt

  eihli

  committed
  12c6737

  Copy full SHA for 12c6737

• Move Racket code to racket subdir

  eihli

  committed
  04ab678

  Copy full SHA for 04ab678

• Move Python code to reason package

  eihli

  committed
  8540855

  Copy full SHA for 8540855

Commits on Mar 31, 2025

• Move string code to more DSL less interpreter

  eihli

  committed
  eac0331

  Copy full SHA for eac0331

Commits on Mar 28, 2025

• Add arch.rkt, a 5-bit architecture

  eihli

  committed
  de76bd3

  Copy full SHA for de76bd3

Commits on Mar 26, 2025

• Misc string refactorings

  eihli

  committed
  752ec30

  Copy full SHA for 752ec30

Commits on Mar 21, 2025

• Add string operations and ntho

  eihli

  committed
  dcde14c

  Copy full SHA for dcde14c

Commits on Mar 19, 2025

• start on string evaluation

  eihli

  committed
  2a5cf45

  Copy full SHA for 2a5cf45

Commits on Mar 17, 2025

• clean up zipper.rkt

  eihli

  committed
  1190009

  Copy full SHA for 1190009

• add zipper.rkt for generating training examples

  eihli

  committed
  7f8ac81

  Copy full SHA for 7f8ac81

• fix bug, serialize struct/relations

  eihli

  committed
  eee0c3e

  Copy full SHA for eee0c3e

Commits on Mar 15, 2025

• spaces

  eihli

  committed
  3777112

  Copy full SHA for 3777112

• try to fix polling

  eihli

  committed
  69ed342

  Copy full SHA for 69ed342

Commits on Mar 14, 2025

• working on more problems

  eihli

  committed
  e24f7ca

  Copy full SHA for e24f7ca

• add tests

  eihli

  committed
  1fe6d22

  Copy full SHA for 1fe6d22

• update docstring

  eihli

  committed
  4884b38

  Copy full SHA for 4884b38

• working appendo

  eihli

  committed
  c71410c

  Copy full SHA for c71410c

• working training debugger

  eihli

  committed
  5bdac1b

  Copy full SHA for 5bdac1b

• add attention to gru and blackify

  eihli

  committed
  8d4d6c1

  Copy full SHA for 8d4d6c1

• update reward fn

  eihli

  committed
  78538c9

  Copy full SHA for 78538c9

Commits on Mar 13, 2025

• semi-working

  eihli

  committed
  b827944

  Copy full SHA for b827944

• remove cruft, add plan

  eihli

  committed
  fa3422c

  Copy full SHA for fa3422c

Pagination

Previous

Next