Repository navigation

Commits

Commits on Jul 26, 2019
- Add link to tutorial notebook
  bollu
  authored
  d07d488
- Merge pull request #2 from genos/master
  bollu
  authored
  aace5c4
- Fix indexing issue in perturbProgram
  genos
  committed
  a31d826
Commits on Jul 22, 2019
- Add Dockerfile for binder
  bollu
  committed
  75c4ab5
Commits on Jul 21, 2019
- add a blurb about why the final ending is cool
  bollu
  committed
  5db82e5
- add tutorial notebook
  bollu
  committed
  5de1011
Commits on Jul 20, 2019
- Add headings so we can link to people
  bollu
  committed
  48f9147
- change the Show instance, edit the README to match
  bollu
  committed
  638c563
- remove old Expr code, keep only Inst code.
  bollu
  committed
  6e16324
- update README
  bollu
  committed
  0ba6c85
- increase iterations to a 1000
  bollu
  committed
  e5753cb
- also add the AND program
  bollu
  committed
  4de246a
- add the new instruction based codebase
  bollu
  committed
  b2947e1
- if then else, AND also seem to work
  bollu
  committed
  ec9bdd4
- rename to blaze everywhere
  bollu
  committed
  3fceea3
- add a small readme
  bollu
  committed
  597bdf9
- remove monad-bayes from list
  bollu
  committed
  84ab2ac
- works
  bollu
  committed
  67a3840
- add technology to only send those runs to the solver which have passed the initial guantlet
  bollu
  committed
  ffbdd66
- get 2*x -> x + x working
  bollu
  committed
  06cbca5
- trying to get strength reduction to work
  bollu
  committed
  e92525d
- need to extend M to hold mappings
  bollu
  committed
  65935cb
- factor out optimisation code
  bollu
  committed
  c68559f
- write example that finds optimal program for simple programs
  bollu
  committed
  eb4a76b
- write the basic MCMC implementation that finds the shortest program
  bollu
  committed
  ab6b1c0
Commits on Jul 18, 2019
- generate random programs and get them to be equal
  bollu
  committed
  47c12be
- add monad-bayes into tree
  bollu
  committed
  7551ae1
- got rudimentary solver working
  bollu
  committed
  d0ca241

Branch selector

User selector

Datepicker

Commit history

Commits on Jul 26, 2019

Commits on Jul 22, 2019

Commits on Jul 21, 2019

Commits on Jul 20, 2019

Commits on Jul 18, 2019