Commits

Commit history

1. Commits on Jul 29, 2026

   • chore: MIT license; untrack stale mlang binary

     Show description for f5763f2
     

     PositiveControl

     and

     claude

     committed
     f5763f2View commit details

     Copy full SHA for f5763f2

     Browse repository at this point
2. Commits on Jul 21, 2026

   • feat: new reversible operators — *= /= and <<= >>=

     Show description for 4b336bd
     

     PositiveControl

     and

     claude

     committed
     4b336bdView commit details

     Copy full SHA for 4b336bd

     Browse repository at this point

   • feat: for-loop sugar — for i = lo until hi { body }

     Show description for aa076a8
     

     PositiveControl

     and

     claude

     committed
     aa076a8View commit details

     Copy full SHA for aa076a8

     Browse repository at this point

   • feat: with/do — compute-copy-uncompute as syntax

     Show description for e75f986
     

     PositiveControl

     and

     claude

     committed
     e75f986View commit details

     Copy full SHA for e75f986

     Browse repository at this point

   • docs: Simon hardware result — 94.6% of shots in the y·s=0 subspace

     Show description for 1847dff
     

     PositiveControl

     and

     claude

     committed
     1847dffView commit details

     Copy full SHA for 1847dff

     Browse repository at this point

   • feat: Studio quantum-algorithms pane — bv/dj/count/simon/shor in the browser

     Show description for c533b5e
     

     PositiveControl

     and

     claude

     committed
     c533b5eView commit details

     Copy full SHA for c533b5e

     Browse repository at this point

   • feat: :shor — toy factoring via QPE period-finding on a·x mod N

     Show description for 6875aa7
     

     PositiveControl

     and

     claude

     committed
     6875aa7View commit details

     Copy full SHA for 6875aa7

     Browse repository at this point

   • feat: :simon — Simon's algorithm, hidden XOR period in O(n) queries

     Show description for f2175c5
     

     PositiveControl

     and

     claude

     committed
     f2175c5View commit details

     Copy full SHA for f2175c5

     Browse repository at this point

   • feat: :count — quantum counting via phase estimation on the Grover operator

     Show description for 721cd32
     

     PositiveControl

     and

     claude

     committed
     721cd32View commit details

     Copy full SHA for 721cd32

     Browse repository at this point

   • docs: DJ hardware result — correct balanced verdict at depth 446; keep dj.qasm

     Show description for bf093b3
     

     PositiveControl

     and

     claude

     committed
     bf093b3View commit details

     Copy full SHA for bf093b3

     Browse repository at this point

   • feat: :dj — Deutsch-Jozsa on compiled kraM condition oracles

     Show description for 5413d6f
     

     PositiveControl

     and

     claude

     committed
     5413d6fView commit details

     Copy full SHA for 5413d6f

     Browse repository at this point

   • docs: BV hardware result — 96.3% on ibm_marrakesh; keep bv.qasm sample

     Show description for d0d7c1f
     

     PositiveControl

     and

     claude

     committed
     d0d7c1fView commit details

     Copy full SHA for d0d7c1f

     Browse repository at this point

   • feat: :bv — Bernstein-Vazirani, one-query recovery of a hidden string

     Show description for c3c67e9
     

     PositiveControl

     and

     claude

     committed
     c3c67e9View commit details

     Copy full SHA for c3c67e9

     Browse repository at this point

   • docs: step-by-step hardware execution walkthrough in hardware/README

     Show description for d4be223
     

     PositiveControl

     and

     claude

     committed
     d4be223View commit details

     Copy full SHA for d4be223

     Browse repository at this point

   • chore: point Pyright at .venv

     Show description for 41a476f
     

     PositiveControl

     and

     claude

     committed
     41a476fView commit details

     Copy full SHA for 41a476f

     Browse repository at this point

   • docs: hardware setup for new IBM Quantum Platform; keep grover.qasm sample

     Show description for 9fe5a85
     

     PositiveControl

     and

     claude

     committed
     9fe5a85View commit details

     Copy full SHA for 9fe5a85

     Browse repository at this point

   • docs: range.kr walk-through in demos.md; fix stale demo count

     Show description for db62a10
     

     PositiveControl

     and

     claude

     committed
     db62a10View commit details

     Copy full SHA for db62a10

     Browse repository at this point

   • feat: range.kr demo — reversible range-count with a hit trace

     Show description for 679367c
     

     PositiveControl

     and

     claude

     committed
     679367cView commit details

     Copy full SHA for 679367c

     Browse repository at this point

   • docs: hardware/ — run exported Grover circuits on IBM Quantum

     Show description for 71812bb
     

     PositiveControl

     and

     claude

     committed
     71812bbView commit details

     Copy full SHA for 71812bb

     Browse repository at this point

   • feat: Studio grover pane — animated amplitude bars + QASM download

     Show description for ae113fc
     

     PositiveControl

     and

     claude

     committed
     ae113fcView commit details

     Copy full SHA for ae113fc

     Browse repository at this point

   • feat: :qasm — OpenQASM 2.0 export, including full Grover circuits

     Show description for 51f84bf
     

     PositiveControl

     and

     claude

     committed
     51f84bfView commit details

     Copy full SHA for 51f84bf

     Browse repository at this point

   • feat: :grover — Grover search on compiled condition oracles

     Show description for 94086cd
     

     PositiveControl

     and

     claude

     committed
     94086cdView commit details

     Copy full SHA for 94086cd

     Browse repository at this point

   • refactor: per-circuit register width — bitWidth becomes the default

     Show description for c643cee
     

     PositiveControl

     and

     claude

     committed
     c643ceeView commit details

     Copy full SHA for c643cee

     Browse repository at this point
3. Commits on Jul 1, 2026

   • docs: CA 2 label — seed with CA 1 first, Run-only (not compilable alone)

     Show description for 71dffd3
     

     PositiveControl

     and

     claude

     committed
     71dffd3View commit details

     Copy full SHA for 71dffd3

     Browse repository at this point

   • feat: unroll nested loops — the CA step generation now compiles

     Show description for 9f46539
     

     PositiveControl

     and

     claude

     committed
     9f46539View commit details

     Copy full SHA for 9f46539

     Browse repository at this point

   • docs: README Demos section — use-cases and why some are interpreter-only

     Show description for 560df20
     

     PositiveControl

     and

     claude

     committed
     560df20View commit details

     Copy full SHA for 560df20

     Browse repository at this point

   • feat: lower array-literal initialisation to per-element registers

     Show description for 4601941
     

     PositiveControl

     and

     claude

     committed
     4601941View commit details

     Copy full SHA for 4601941

     Browse repository at this point

   • test: regression suite for compile commands; fix 2 bugs it caught

     Show description for a2fb23a
     

     PositiveControl

     and

     claude

     committed
     a2fb23aView commit details

     Copy full SHA for a2fb23a

     Browse repository at this point

   • docs: :circuit now unrolls loops and inlines procs

     Show description for cc5b56c
     

     PositiveControl

     and

     claude

     committed
     cc5b56cView commit details

     Copy full SHA for cc5b56c

     Browse repository at this point

   • feat: :circuit unrolls loops and inlines procedures

     Show description for 6f00085
     

     PositiveControl

     and

     claude

     committed
     6f00085View commit details

     Copy full SHA for 6f00085

     Browse repository at this point

   • feat: :invert whole programs; clearer :circuit/:invert limits

     Show description for 5d02038
     

     PositiveControl

     and

     claude

     committed
     5d02038View commit details

     Copy full SHA for 5d02038

     Browse repository at this point

   • fix: restore :energy — dropped when later commits rebased over it

     Show description for 77145d1
     

     PositiveControl

     and

     claude

     committed
     77145d1View commit details

     Copy full SHA for 77145d1

     Browse repository at this point

   • feat: lower whole programs to circuits — init, print, and fresh-state compile

     Show description for 7068dd3
     

     PositiveControl

     and

     claude

     committed
     7068dd3View commit details

     Copy full SHA for 7068dd3

     Browse repository at this point

   • feat: full-Janus assignment — introduce-only '=' plus 'forget'

     Show description for 9829d90
     

     PositiveControl

     and

     claude

     committed
     9829d90View commit details

     Copy full SHA for 9829d90

     Browse repository at this point

   • feat: :energy command — Landauer energy bound from garbage bits

     Show description for 64f8d46
     

     PositiveControl

     and

     claude

     committed
     64f8d46View commit details

     Copy full SHA for 64f8d46

     Browse repository at this point