Mercurial > hg > Papers > 2020 > ryokka-master

directory /paper/src/ @ 4:b5fffa8ae875

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
name size permissions
[up] drwxr-xr-x
file AgdaBasics.agda 24 -rwxr-xr-x
file AgdaBasics.agda.replaced 24 -rw-r--r--
file AgdaBool.agda 52 -rwxr-xr-x
file AgdaBool.agda.replaced 52 -rw-r--r--
file AgdaDebug.agda 799 -rw-r--r--
file AgdaDebug.agda.replaced 979 -rw-r--r--
file AgdaElem.agda 160 -rwxr-xr-x
file AgdaElem.agda.replaced 206 -rw-r--r--
file AgdaElemApply.agda 72 -rwxr-xr-x
file AgdaElemApply.agda.replaced 112 -rw-r--r--
file AgdaFunction.agda 28 -rwxr-xr-x
file AgdaFunction.agda.replaced 41 -rw-r--r--
file AgdaId.agda 103 -rwxr-xr-x
file AgdaId.agda.replaced 129 -rw-r--r--
file AgdaImplicitId.agda 149 -rwxr-xr-x
file AgdaImplicitId.agda.replaced 201 -rw-r--r--
file AgdaImport.agda 361 -rwxr-xr-x
file AgdaImport.agda.replaced 361 -rw-r--r--
file AgdaInstance.agda 220 -rwxr-xr-x
file AgdaInstance.agda.replaced 246 -rw-r--r--
file AgdaInterface.agda 756 -rw-r--r--
file AgdaInterface.agda.replaced 978 -rw-r--r--
file AgdaLambda.agda 139 -rwxr-xr-x
file AgdaLambda.agda.replaced 178 -rw-r--r--
file AgdaModusPonens.agda 88 -rwxr-xr-x
file AgdaModusPonens.agda.replaced 174 -rw-r--r--
file AgdaNPushNPop.agda 749 -rwxr-xr-x
file AgdaNPushNPop.agda.replaced 935 -rw-r--r--
file AgdaNPushNPopProof.agda 3256 -rwxr-xr-x
file AgdaNPushNPopProof.agda.replaced 4071 -rw-r--r--
file AgdaNat.agda 54 -rwxr-xr-x
file AgdaNat.agda.replaced 67 -rw-r--r--
file AgdaNot.agda 54 -rwxr-xr-x
file AgdaNot.agda.replaced 67 -rw-r--r--
file AgdaParameterizedModule.agda 240 -rwxr-xr-x
file AgdaParameterizedModule.agda.replaced 279 -rw-r--r--
file AgdaPattern.agda 54 -rwxr-xr-x
file AgdaPattern.agda.replaced 67 -rw-r--r--
file AgdaPlus.agda 62 -rwxr-xr-x
file AgdaPlus.agda.replaced 88 -rw-r--r--
file AgdaProduct.agda 165 -rwxr-xr-x
file AgdaProduct.agda.replaced 275 -rw-r--r--
file AgdaProp.agda 24 -rwxr-xr-x
file AgdaProp.agda.replaced 24 -rw-r--r--
file AgdaPushPop.agda 1140 -rwxr-xr-x
file AgdaPushPop.agda.replaced 1218 -rw-r--r--
file AgdaPushPopProof.agda 501 -rwxr-xr-x
file AgdaPushPopProof.agda.replaced 733 -rw-r--r--
file AgdaRecord.agda 131 -rwxr-xr-x
file AgdaRecord.agda.replaced 157 -rw-r--r--
file AgdaRecordProj.agda 161 -rwxr-xr-x
file AgdaRecordProj.agda.replaced 200 -rw-r--r--
file AgdaSingleLinkedStack.agda 3259 -rw-r--r--
file AgdaSingleLinkedStack.agda.replaced 3844 -rw-r--r--
file AgdaStack.agda 295 -rwxr-xr-x
file AgdaStack.agda.replaced 373 -rw-r--r--
file AgdaStackDS.agda 324 -rwxr-xr-x
file AgdaStackDS.agda.replaced 333 -rw-r--r--
file AgdaStackImpl.agda 926 -rw-r--r--
file AgdaStackImpl.agda.replaced 1017 -rw-r--r--
file AgdaStackSomeState.agda 492 -rw-r--r--
file AgdaStackSomeState.agda.replaced 630 -rw-r--r--
file AgdaStackTest.agda 755 -rw-r--r--
file AgdaStackTest.agda.replaced 1019 -rw-r--r--
file AgdaTree.agda 991 -rw-r--r--
file AgdaTree.agda.replaced 1246 -rw-r--r--
file AgdaTreeDebug.agda 307 -rw-r--r--
file AgdaTreeDebug.agda.replaced 416 -rw-r--r--
file AgdaTreeDebugReturnNode4.agda 338 -rw-r--r--
file AgdaTreeDebugReturnNode4.agda.replaced 447 -rw-r--r--
file AgdaTreeImpl.agda 731 -rw-r--r--
file AgdaTreeImpl.agda.replaced 953 -rw-r--r--
file AgdaTreeProof.agda 2055 -rw-r--r--
file AgdaTreeProof.agda.replaced 2501 -rw-r--r--
file AgdaTreeTest.agda 185 -rw-r--r--
file AgdaTreeTest.agda.replaced 294 -rw-r--r--
file AgdaTypeClass.agda 66 -rwxr-xr-x
file AgdaTypeClass.agda.replaced 92 -rw-r--r--
file AgdaWhere.agda 157 -rwxr-xr-x
file AgdaWhere.agda.replaced 209 -rw-r--r--
file CodeSegment.agda 124 -rwxr-xr-x
file CodeSegment.agda.replaced 164 -rw-r--r--
file CodeSegments.agda 240 -rwxr-xr-x
file CodeSegments.agda.replaced 266 -rw-r--r--
file DataSegment.agda 99 -rwxr-xr-x
file DataSegment.agda.replaced 99 -rw-r--r--
file Equiv.agda 72 -rwxr-xr-x
file Equiv.agda.replaced 98 -rw-r--r--
file Exec.agda 204 -rwxr-xr-x
file Exec.agda.replaced 243 -rw-r--r--
file Goto.agda 102 -rwxr-xr-x
file Goto.agda.replaced 141 -rw-r--r--
file Maybe.agda 92 -rwxr-xr-x
file Maybe.agda.replaced 105 -rw-r--r--
file MetaCodeSegment.agda 180 -rwxr-xr-x
file MetaCodeSegment.agda.replaced 233 -rw-r--r--
file MetaDataSegment.agda 186 -rwxr-xr-x
file MetaDataSegment.agda.replaced 232 -rw-r--r--
file MetaMetaCodeSegment.agda 1188 -rwxr-xr-x
file MetaMetaCodeSegment.agda.replaced 1344 -rw-r--r--
file MetaMetaDataSegment.agda 424 -rwxr-xr-x
file MetaMetaDataSegment.agda.replaced 424 -rw-r--r--
file Nat.agda 67 -rwxr-xr-x
file Nat.agda.replaced 80 -rw-r--r--
file NatAdd.agda 98 -rwxr-xr-x
file NatAdd.agda.replaced 124 -rw-r--r--
file NatAddSym.agda 317 -rwxr-xr-x
file NatAddSym.agda.replaced 344 -rw-r--r--
file PushPopType.agda 259 -rwxr-xr-x
file PushPopType.agda.replaced 314 -rw-r--r--
file Reasoning.agda 627 -rwxr-xr-x
file Reasoning.agda.replaced 779 -rw-r--r--
file RedBlackTree.agda 13843 -rw-r--r--
file RedBlackTree.agda.replaced 16134 -rw-r--r--
file SingleLinkedStack.cbc 2949 -rwxr-xr-x
file Stack.cbc 634 -rw-r--r--
file ThreePlusOne.agda 178 -rwxr-xr-x
file ThreePlusOne.agda.replaced 185 -rw-r--r--
file agda-hoare-interpret.agda.replaced 455 -rw-r--r--
file agda-hoare-prog.agda.replaced 420 -rw-r--r--
file agda-hoare-rule.agda.replaced 1747 -rw-r--r--
file agda-hoare-satisfies.agda.replaced 982 -rw-r--r--
file agda-hoare-soundness.agda.replaced 5504 -rw-r--r--
file agda-hoare-while.agda.replaced 579 -rw-r--r--
file atomicImpl.cbc 279 -rw-r--r--
file atton-master-meta-sample.agda 2207 -rwxr-xr-x
file atton-master-meta-sample.agda.replaced 2478 -rw-r--r--
file atton-master-sample.agda 874 -rwxr-xr-x
file atton-master-sample.agda.replaced 963 -rw-r--r--
file axiom-taut.agda 336 -rw-r--r--
file axiom-taut.agda.replaced 551 -rw-r--r--
file cg1.cbc 88 -rw-r--r--
file codeGearExample.cbc 184 -rw-r--r--
file contextContinuation.cbc 425 -rw-r--r--
file createCPUWorker.cbc 867 -rw-r--r--
file createTaskManager.cbc 2119 -rw-r--r--
file cuLaunchKernel.cbc 942 -rw-r--r--
file ex_stack.cbc 371 -rw-r--r--
file excbc.cbc 88 -rw-r--r--
file factrial.cbc 366 -rwxr-xr-x
file function.agda 81 -rw-r--r--
file function.agda.replaced 138 -rw-r--r--
file gears-while.agda 2144 -rw-r--r--
file gears-while.agda.replaced 2866 -rw-r--r--
file gears.agda 174 -rw-r--r--
file gears.agda.replaced 267 -rw-r--r--
file goto.cbc 82 -rwxr-xr-x
file interface.cbc 422 -rw-r--r--
file iterateCall.cbc 3331 -rw-r--r--
file iteratePargoto.cbc 100 -rw-r--r--
file metaCodeGearExample.cbc 397 -rw-r--r--
file metaCreateTask.cbc 1507 -rw-r--r--
file parGotoCreateTask.cbc 145 -rw-r--r--
file putSynchronizedQueue.cbc 716 -rw-r--r--
file record.agda 61 -rw-r--r--
file record.agda.replaced 83 -rw-r--r--
file redBlackTreeTest.agda 8037 -rw-r--r--
file redBlackTreeTest.agda.replaced 10410 -rw-r--r--
file sendTask.cbc 1152 -rw-r--r--
file singleLinkedQueue.cbc 1009 -rw-r--r--
file singleLinkedQueueTest.cbc 163 -rw-r--r--
file singleLinkedQueueTest_script.cbc 355 -rw-r--r--
file singleLinkedStackInterface.cbc 498 -rw-r--r--
file stack-product.agda 5339 -rwxr-xr-x
file stack-product.agda.replaced 6373 -rw-r--r--
file stack-subtype-sample.agda 9939 -rwxr-xr-x
file stack-subtype-sample.agda.replaced 11406 -rw-r--r--
file stack-subtype.agda 3302 -rwxr-xr-x
file stack-subtype.agda.replaced 3621 -rw-r--r--
file stack.agda 6569 -rw-r--r--
file stack.agda.replaced 7936 -rw-r--r--
file stack.agdai 66884 -rw-r--r--
file stackImpl.agda 1544 -rw-r--r--
file stackImpl.agda.replaced 1635 -rw-r--r--
file stackTest.agda 5317 -rw-r--r--
file stackTest.agda.replaced 6601 -rw-r--r--
file stackTest.agdai 60228 -rw-r--r--
file stackimpl.cbc 959 -rw-r--r--
file stub.cbc 379 -rwxr-xr-x
file stubCodeGear.cbc 643 -rw-r--r--
file subtype.agda 1935 -rwxr-xr-x
file subtype.agda.replaced 2288 -rw-r--r--
file taskManagerInterface.cbc 640 -rw-r--r--
file term1.agda 442 -rw-r--r--
file term1.agda.replaced 599 -rw-r--r--
file term2.agda 196 -rw-r--r--
file term2.agda.replaced 273 -rw-r--r--
file term3.agda 293 -rw-r--r--
file term3.agda.replaced 450 -rw-r--r--
file while-test.agda 138 -rw-r--r--
file while-test.agda.replaced 200 -rw-r--r--
file workerRun.cbc 360 -rw-r--r--
file zero.agda 114 -rw-r--r--
file zero.agda.replaced 165 -rw-r--r--