8000 Commits · sorear/metamath-turing-machines · GitHub

More Web Proxy on the site http://driver.im/

Commits

Commits on Aug 8, 2017

[language change] falling off the end of main now loops back to the beginning; an explicit "return" is needed to halt
sorear
committed
zf2: simplifications using new builtins, add noops to make rpn operators similar order
sorear
committed
10000
Implement pairing functions at the register machine level, provide some more control over layout
sorear
committed

Commits on Aug 7, 2017

Write a bunch of documentation about the underlying logic, fix a couple small errors
sorear
committed

Commits on Aug 6, 2017

Commits on May 30, 2016

New version of RH from Yuri Matiyasevich and Scott Aaronson
sorear
committed

Commits on May 19, 2016

Merge pull request #2 from pjt33/zf-optimisations
sorear
committed

Commits on May 18, 2016

Save 19 states by replacing multiplication with addition-in-a-loop in unpair.
Peter Taylor
committed
Save 8 states by expression reordering
Peter Taylor
committed
Micro-optimisation which saves 3 states at a maintainability cost
Peter Taylor
committed
4-state reduction using while(true)
Peter Taylor
committed

Commits on May 16, 2016

Rewrite riemann.nql's `proc delta` to reduce from 1008 states to 924
Peter Taylor
committed

Commits on May 15, 2016

Commits on May 14, 2016

0