OAI/Computability/Scheduling/ProgramRoutines.lean

GitHub source file

76 declarations, 0 contain sorry, 0 declared as axioms

  1. instance OAI.ThreeMachine.StackCompiler.(instance at line 12) line 12
  2. instance OAI.ThreeMachine.StackCompiler.(instance at line 14) line 14
  3. abbrev OAI.ThreeMachine.StackCompiler.Matrix line 17
  4. def OAI.ThreeMachine.StackCompiler.matrixRel line 19
  5. instance OAI.ThreeMachine.StackCompiler.(instance at line 21) line 21
  6. def OAI.ThreeMachine.StackCompiler.Uniform.universeNumber line 26
  7. def OAI.ThreeMachine.StackCompiler.Uniform.stateParts line 29
  8. def OAI.ThreeMachine.StackCompiler.Uniform.stateMake line 32
  9. def OAI.ThreeMachine.StackCompiler.Uniform.stateLeft line 36
  10. def OAI.ThreeMachine.StackCompiler.Uniform.stateMiddle line 38
  11. def OAI.ThreeMachine.StackCompiler.Uniform.stateRight line 40
  12. def OAI.ThreeMachine.StackCompiler.Uniform.stateEq line 42
  13. def OAI.ThreeMachine.StackCompiler.Uniform.blockParts line 52
  14. def OAI.ThreeMachine.StackCompiler.Uniform.blockMake line 55
  15. def OAI.ThreeMachine.StackCompiler.Uniform.blockLength line 58
  16. def OAI.ThreeMachine.StackCompiler.Uniform.blockTime line 60
  17. def OAI.ThreeMachine.StackCompiler.Uniform.matrixGet line 62
  18. def OAI.ThreeMachine.StackCompiler.Uniform.setAll line 65
  19. def OAI.ThreeMachine.StackCompiler.Uniform.setAny line 72
  20. def OAI.ThreeMachine.StackCompiler.Uniform.andD line 81
  21. def OAI.ThreeMachine.StackCompiler.Uniform.orD line 86
  22. def OAI.ThreeMachine.StackCompiler.Uniform.notD line 91
  23. def OAI.ThreeMachine.StackCompiler.Uniform.noEdges line 96
  24. def OAI.ThreeMachine.StackCompiler.Uniform.stateCandidate line 107
  25. def OAI.ThreeMachine.StackCompiler.Uniform.stateUpto line 123
  26. abbrev OAI.ThreeMachine.StackCompiler.Uniform.CompatInput line 126
  27. def OAI.ThreeMachine.StackCompiler.Uniform.scU line 127
  28. def OAI.ThreeMachine.StackCompiler.Uniform.scM line 128
  29. def OAI.ThreeMachine.StackCompiler.Uniform.scW line 129
  30. def OAI.ThreeMachine.StackCompiler.Uniform.scS line 130
  31. def OAI.ThreeMachine.StackCompiler.Uniform.scL line 131
  32. def OAI.ThreeMachine.StackCompiler.Uniform.scZ line 132
  33. def OAI.ThreeMachine.StackCompiler.Uniform.scR line 133
  34. def OAI.ThreeMachine.StackCompiler.Uniform.scLZ line 134
  35. def OAI.ThreeMachine.StackCompiler.Uniform.scLZR line 135
  36. def OAI.ThreeMachine.StackCompiler.Uniform.scA line 136
  37. def OAI.ThreeMachine.StackCompiler.Uniform.scB line 137
  38. def OAI.ThreeMachine.StackCompiler.Uniform.scC line 138
  39. def OAI.ThreeMachine.StackCompiler.Uniform.scD line 139
  40. def OAI.ThreeMachine.StackCompiler.Uniform.scE line 140
  41. def OAI.ThreeMachine.StackCompiler.Uniform.scF line 141
  42. def OAI.ThreeMachine.StackCompiler.Uniform.scH line 142
  43. def OAI.ThreeMachine.StackCompiler.Uniform.scI line 143
  44. def OAI.ThreeMachine.StackCompiler.Uniform.scJ line 144
  45. def OAI.ThreeMachine.StackCompiler.Uniform.scIJ line 145
  46. def OAI.ThreeMachine.StackCompiler.Uniform.scHIJ line 146
  47. def OAI.ThreeMachine.StackCompiler.Uniform.scFHIJ line 147
  48. def OAI.ThreeMachine.StackCompiler.Uniform.scEFHIJ line 148
  49. def OAI.ThreeMachine.StackCompiler.Uniform.scDEFHIJ line 149
  50. def OAI.ThreeMachine.StackCompiler.Uniform.scCDEFHIJ line 150
  51. def OAI.ThreeMachine.StackCompiler.Uniform.scBCDEFHIJ line 151
  52. def OAI.ThreeMachine.StackCompiler.Uniform.scAll line 152
  53. def OAI.ThreeMachine.StackCompiler.Uniform.stateCompatible line 153
  54. def OAI.ThreeMachine.StackCompiler.Uniform.blockEmpty line 158
  55. def OAI.ThreeMachine.StackCompiler.Uniform.blockTriple line 161
  56. def OAI.ThreeMachine.StackCompiler.Uniform.blockAppend line 164
  57. def OAI.ThreeMachine.StackCompiler.Uniform.stateAdvance line 182
  58. def OAI.ThreeMachine.StackCompiler.Uniform.lookupA line 199
  59. def OAI.ThreeMachine.StackCompiler.Uniform.firstResultA line 207
  60. def OAI.ThreeMachine.StackCompiler.Uniform.tableOfA line 214
  61. abbrev OAI.ThreeMachine.StackCompiler.Table line 223
  62. abbrev OAI.ThreeMachine.StackCompiler.Marks line 224
  63. def OAI.ThreeMachine.StackCompiler.Uniform.singleton line 230
  64. def OAI.ThreeMachine.StackCompiler.Uniform.product line 232
  65. def OAI.ThreeMachine.StackCompiler.Uniform.states line 235
  66. def OAI.ThreeMachine.StackCompiler.Uniform.advanceLast line 256
  67. def OAI.ThreeMachine.StackCompiler.Uniform.tryAdvance line 261
  68. def OAI.ThreeMachine.StackCompiler.Uniform.expandBody line 279
  69. def OAI.ThreeMachine.StackCompiler.Uniform.expand line 296
  70. def OAI.ThreeMachine.StackCompiler.Uniform.initialMarks line 307
  71. def OAI.ThreeMachine.StackCompiler.Uniform.markings line 311
  72. def OAI.ThreeMachine.StackCompiler.Uniform.finishing line 336
  73. def OAI.ThreeMachine.StackCompiler.Uniform.solve line 342
  74. def OAI.ThreeMachine.StackCompiler.Uniform.initialTable line 363
  75. def OAI.ThreeMachine.StackCompiler.Uniform.layerStep line 366
  76. def OAI.ThreeMachine.StackCompiler.Uniform.layers line 378