]> git.xn--bdkaa.com Git - cubicaltt-web.git/commit
projects / cubicaltt-web.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7b53932) | patch
Add exchange law and genPiS3
authorAnders <mortberg@chalmers.se>
Fri, 8 May 2015 13:29:25 +0000 (15:29 +0200)
committerAnders <mortberg@chalmers.se>
Fri, 8 May 2015 13:29:25 +0000 (15:29 +0200)
commit4283a392f9d7feb64859b4c3e11550e2387ce3c8
tree535c7cd40b6f7c3cf223f3e4ef1bad774bd48de4tree | snapshot
parent7b53932993d55c2de354416b9acd2dbd5b9655f1commit | diff
Add exchange law and genPiS3
examples/circle.ctt diff | blob | history
examples/exchange.ctt [new file with mode: 0644] blob
examples/pi1s2.ctt diff | blob | history
examples/pi4s3.ctt diff | blob | history
examples/susp.ctt diff | blob | history
examples/truncS2.ctt diff | blob | history
My fork of cubicaltt with web interface using Reflex.