Mercurial > hg > Papers > 2020 > ryokka-master

directory /paper/src/ @ 19:046b2b20d6c7 default tip

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 105 -rwxr-xr-x
file AgdaLambda.agda.replaced 204 -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 932 -rw-r--r--
file AgdaNPushNPopProof.agda 3256 -rwxr-xr-x
file AgdaNPushNPopProof.agda.replaced 4065 -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 730 -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 330 -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 2486 -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 Hoare.agda 2808 -rw-r--r--
file Hoare.agda.replaced 3555 -rw-r--r--
file HoareSoundness.agda 7532 -rw-r--r--
file HoareSoundness.agda.replaced 8812 -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 57 -rwxr-xr-x
file Nat.agda.replaced 113 -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 311 -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 16164 -rw-r--r--
file RelOp.agda 2623 -rw-r--r--
file RelOp.agda.replaced 3636 -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-func.agda 30 -rw-r--r--
file agda-func.agda.replaced 64 -rw-r--r--
file agda-hoare-interpret.agda 431 -rw-r--r--
file agda-hoare-interpret.agda.replaced 465 -rw-r--r--
file agda-hoare-prog.agda 315 -rw-r--r--
file agda-hoare-prog.agda.replaced 420 -rw-r--r--
file agda-hoare-rule.agda 1279 -rw-r--r--
file agda-hoare-rule.agda.replaced 1779 -rw-r--r--
file agda-hoare-satisfies.agda 856 -rw-r--r--
file agda-hoare-satisfies.agda.replaced 982 -rw-r--r--
file agda-hoare-soundness.agda 3559 -rw-r--r--
file agda-hoare-soundness.agda.replaced 4111 -rw-r--r--
file agda-hoare-term.agda 621 -rw-r--r--
file agda-hoare-term.agda.replaced 773 -rw-r--r--
file agda-hoare-while.agda 460 -rw-r--r--
file agda-hoare-while.agda.replaced 579 -rw-r--r--
file agda-hoare-whileprog.agda 870 -rw-r--r--
file agda-hoare-whileprog.agda.replaced 1145 -rw-r--r--
file agda-hoare-write.agda 866 -rw-r--r--
file agda-hoare-write.agda.replaced 1170 -rw-r--r--
file agda-mcg.agda 284 -rw-r--r--
file agda-mcg.agda.replaced 398 -rw-r--r--
file agda-mdg.agda 327 -rw-r--r--
file agda-mdg.agda.replaced 387 -rw-r--r--
file agda-pattern.agda 86 -rw-r--r--
file agda-pattern.agda.replaced 110 -rw-r--r--
file agda-plus.agda 64 -rw-r--r--
file agda-plus.agda.replaced 121 -rw-r--r--
file agda-rewrite.agda 127 -rw-r--r--
file agda-rewrite.agda.replaced 157 -rw-r--r--
file agda-term.agda 763 -rw-r--r--
file agda-term.agda.replaced 993 -rw-r--r--
file agda-term1.agda 234 -rw-r--r--
file agda-term1.agda.replaced 336 -rw-r--r--
file agda-term2.agda 296 -rw-r--r--
file agda-term2.agda.replaced 422 -rw-r--r--
file agda-term3.agda 396 -rw-r--r--
file agda-term3.agda.replaced 545 -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 cbc-agda.agda 182 -rw-r--r--
file cbc-agda.agda.replaced 275 -rw-r--r--
file cbc-condition.agda 326 -rw-r--r--
file cbc-condition.agda.replaced 386 -rw-r--r--
file cbc-hoare-helperCall.agda 174 -rw-r--r--
file cbc-hoare-helperCall.agda.replaced 218 -rw-r--r--
file cbc-hoare-loop.agda 849 -rw-r--r--
file cbc-hoare-loop.agda.replaced 1153 -rw-r--r--
file cbc-hoare-loophelper.agda 396 -rw-r--r--
file cbc-hoare-loophelper.agda.replaced 508 -rw-r--r--
file cbc-hoare-prim.agda 243 -rw-r--r--
file cbc-hoare-prim.agda.replaced 335 -rw-r--r--
file cbc-hoare-soundness.agda 329 -rw-r--r--
file cbc-hoare-soundness.agda.replaced 426 -rw-r--r--
file cbc-hoare-while.agda 340 -rw-r--r--
file cbc-hoare-while.agda.replaced 465 -rw-r--r--
file cbc-hoare.agda 781 -rw-r--r--
file cbc-hoare.agda.replaced 1080 -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 env.agda 174 -rw-r--r--
file env.agda.replaced 276 -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 2900 -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 implies.agda 91 -rw-r--r--
file implies.agda.replaced 115 -rw-r--r--
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 10395 -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 11397 -rw-r--r--
file stack-subtype.agda 3302 -rwxr-xr-x
file stack-subtype.agda.replaced 3618 -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 463 -rw-r--r--
file term1.agda.replaced 620 -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 termination.agda 189 -rw-r--r--
file termination.agda.replaced 301 -rw-r--r--
file tree.agda 429 -rw-r--r--
file tree.agda.replaced 661 -rw-r--r--
file utilities.agda 4618 -rw-r--r--
file utilities.agda.replaced 6882 -rw-r--r--
file while-test.agda 138 -rw-r--r--
file while-test.agda.replaced 200 -rw-r--r--
file whileConvPSemSound.agda 387 -rw-r--r--
file whileConvPSemSound.agda.replaced 513 -rw-r--r--
file whileLoopPSem.agda 1837 -rw-r--r--
file whileLoopPSem.agda.replaced 2297 -rw-r--r--
file whileLoopPSemSound.agda 1453 -rw-r--r--
file whileLoopPSemSound.agda.replaced 1762 -rw-r--r--
file whileTestGears.agda 12631 -rw-r--r--
file whileTestGears.agda.replaced 16408 -rw-r--r--
file whileTestPSem.agda 189 -rw-r--r--
file whileTestPSem.agda.replaced 275 -rw-r--r--
file whileTestPrim.agda 1965 -rw-r--r--
file whileTestPrim.agda.replaced 2499 -rw-r--r--
file whileTestPrimProof.agda 11194 -rw-r--r--
file whileTestPrimProof.agda.replaced 14814 -rw-r--r--
file whileTestProof.agda 3721 -rw-r--r--
file whileTestProof.agda.replaced 4788 -rw-r--r--
file whileTestSemSound.agda 245 -rw-r--r--
file whileTestSemSound.agda.replaced 355 -rw-r--r--
file workerRun.cbc 360 -rw-r--r--
file zero.agda 184 -rw-r--r--
file zero.agda.replaced 272 -rw-r--r--