OAI/Computability/MaxCut/Machines/
6566 declarations, 0 contain sorry, 0 declared as axioms; 103 files
Files
- AddressMachineInitial.lean 41 declarations
- AddressMachineLoop.lean 48 declarations
- AddressMachineProgram.lean 55 declarations
- Alphabet.lean 106 declarations
- AlphabetBudget.lean 8 declarations
- AlphabetGraph.lean 125 declarations
- AlphabetReduction.lean 6 declarations
- AlphabetRetraction.lean 12 declarations
- Body.lean 60 declarations
- CanonicalBodyMachine.lean 77 declarations
- CloneMachineModel.lean 131 declarations
- CompareLoop.lean 111 declarations
- EmitRows.lean 82 declarations
- FramedLen.lean 8 declarations
- GraphCounterFinish.lean 41 declarations
- Input.lean 82 declarations
- Lookup.lean 84 declarations
- Machine.lean 85 declarations
- Machine2.lean 8 declarations
- MachineBinaryFormula.lean 86 declarations
- MachineBinaryInputReduction.lean 4 declarations
- MachineBinaryNameCompare.lean 75 declarations
- MachineBinaryParsing.lean 69 declarations
- MachineBinaryRenameLoop.lean 91 declarations
- MachineBinaryRenameWords.lean 79 declarations
- MachineCanonicalOutput.lean 26 declarations
- MachineClone100.lean 90 declarations
- MachineClone100Table.lean 85 declarations
- MachineClone100Triples.lean 70 declarations
- MachineCloudCount.lean 118 declarations
- MachineCloudPadding.lean 59 declarations
- MachineCloudPrefix.lean 77 declarations
- MachineCloudSelect.lean 64 declarations
- MachineCopy.lean 81 declarations
- MachineDummyRows.lean 88 declarations
- MachineExpanderFamilyAffine.lean 76 declarations
- MachineExpanderFamilyCycle.lean 86 declarations
- MachineExpanderRowFrames.lean 134 declarations
- MachineExpanderTableProgram.lean 171 declarations
- MachineExpanderTableRows.lean 73 declarations
- MachineFieldProfile.lean 35 declarations
- MachineFieldTemplate.lean 35 declarations
- MachineFiniteTable.lean 9 declarations
- MachineFixedDivMod.lean 65 declarations
- MachineHorner.lean 67 declarations
- MachineInitialHeaders.lean 45 declarations
- MachineLazyRows.lean 56 declarations
- MachineLazyTable.lean 66 declarations
- MachineLazyTableRuntime.lean 96 declarations
- MachineLookupCore.lean 74 declarations
- MachineOverlayRows.lean 35 declarations
- MachineOverlayTable.lean 134 declarations
- MachinePaddedExpanderFamilyBounds.lean 97 declarations
- MachinePaddedOverlay.lean 73 declarations
- MachinePortReindex.lean 18 declarations
- MachineProductGatherBounds.lean 70 declarations
- MachineProductLoop.lean 32 declarations
- MachineProductProgram.lean 70 declarations
- MachineRegisterEmit.lean 14 declarations
- MachineRegularLift.lean 111 declarations
- MachineRegularMetadata.lean 61 declarations
- MachineRegularOriginalBody.lean 96 declarations
- MachineRegularOwnerProgram.lean 100 declarations
- MachineRegularTableRuntime.lean 125 declarations
- MachineRegularTableTrace.lean 72 declarations
- MachineRegularVertexBlock.lean 58 declarations
- MachineRhsLoad.lean 61 declarations
- MachineSequential.lean 73 declarations
- MachineSingleOrbitProgram.lean 84 declarations
- MachineStateFrame.lean 24 declarations
- MachineSubdivisionCorrespondence.lean 24 declarations
- MachineSubdivisionDynamicRows.lean 88 declarations
- MachineSubdivisionEmission.lean 7 declarations
- MachineSubdivisionRows.lean 21 declarations
- MachineSubdivisionTableRead.lean 66 declarations
- MachineSubroutine.lean 58 declarations
- MachineTableIteration.lean 14 declarations
- MachineTemplateAddress.lean 83 declarations
- MachineTuple.lean 58 declarations
- MachineTupleOdometer.lean 69 declarations
- MachineUnaryAffine.lean 55 declarations
- MachineUnaryMultiply.lean 72 declarations
- MachineUniformCopyOrder.lean 9 declarations
- MachineUniformRounding.lean 13 declarations
- PoweringMachineField.lean 29 declarations
- PoweringMachineGlobal.lean 29 declarations
- PoweringMachineLoop.lean 41 declarations
- PoweringMachineRelation.lean 48 declarations
- PoweringMachineRotor.lean 138 declarations
- PoweringMachineRowHeaders.lean 59 declarations
- PoweringMachineRuntime.lean 16 declarations
- PoweringMachineVertex.lean 78 declarations
- PoweringRuntimeBudget.lean 5 declarations
- Printer.lean 6 declarations
- RawInitialMachineBudget.lean 12 declarations
- RawInitialMachineCleanup.lean 80 declarations
- RawInitialMachineModel.lean 85 declarations
- Relations.lean 73 declarations
- Runtime.lean 72 declarations
- Runtime2.lean 99 declarations
- RuntimeModel.lean 81 declarations
- RuntimeSpace.lean 91 declarations
- SelectorMachine.lean 59 declarations