Skip to content

refactor(ETH): delete port modules off the endpoint path (#1361) #1460

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
SamuelSchlesinger merged 1 commit into from
Oct 28, 2026
Merged

refactor(ETH): delete port modules off the endpoint path (#1361) #1460

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 0 additions & 6 deletions Complexity.lean
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -805,8 +805,6 @@ public import Complexity.Computability.Complexity.FineGrained.CountingTreeBound
public import Complexity.Computability.Complexity.FineGrained.ExhaustiveSearch
public import Complexity.Computability.Complexity.FineGrained.Exponents
public import Complexity.Computability.Complexity.FineGrained.GeneralCNFBranchSchedule
public import Complexity.Computability.Complexity.FineGrained.GeneralCNFCountingAsymptotics
public import Complexity.Computability.Complexity.FineGrained.GeneralCNFHermiteRecovery
public import Complexity.Computability.Complexity.FineGrained.GraphProblems
public import Complexity.Computability.Complexity.FineGrained.LocalMapCounting
public import Complexity.Computability.Complexity.FineGrained.OrthogonalVectors
Expand All @@ -818,7 +816,6 @@ public import Complexity.Computability.Complexity.FineGrained.ReplacementSchedul
public import Complexity.Computability.Complexity.FineGrained.Schoening
public import Complexity.Computability.Complexity.FineGrained.SparseBranchAsymptotics
public import Complexity.Computability.Complexity.FineGrained.SparseBranchSchedule
public import Complexity.Computability.Complexity.FineGrained.SparseCNFDesignSchedule
public import Complexity.Computability.Complexity.FineGrained.SparseCountingScale
public import Complexity.Computability.Complexity.FineGrained.SparseParitySchedule
public import Complexity.Computability.Complexity.FineGrained.Sparsification
Expand Down Expand Up @@ -1446,7 +1443,6 @@ public import Complexity.Computability.PolyTime.BooleanAnalysis.BoundedIncidence
public import Complexity.Computability.PolyTime.BooleanAnalysis.BoundedIncidenceStepCert
public import Complexity.Computability.PolyTime.BooleanAnalysis.SparsePolyCounter
public import Complexity.Computability.PolyTime.CNF.BranchedSparseCNFCounter
public import Complexity.Computability.PolyTime.CNF.ClauseJetEval
public import Complexity.Computability.PolyTime.CNF.GreedyParityContext
public import Complexity.Computability.PolyTime.CNF.GreedyParitySearch
public import Complexity.Computability.PolyTime.CNF.SparseCNFLeafCounter
Expand Down Expand Up @@ -1902,7 +1898,6 @@ public import Complexity.Foundations.BooleanAnalysis.SignApproximation
public import Complexity.Foundations.BooleanAnalysis.SparseBranching
public import Complexity.Foundations.BooleanAnalysis.SparseClearedSpecialization
public import Complexity.Foundations.BooleanAnalysis.SparseEquations
public import Complexity.Foundations.BooleanAnalysis.SparseHermiteJetRecovery
public import Complexity.Foundations.BooleanAnalysis.SparseHermiteRecovery
public import Complexity.Foundations.BooleanAnalysis.SparseReplacementDesign
public import Complexity.Foundations.BooleanAnalysis.Symmetrization
Expand Down Expand Up @@ -2330,7 +2325,6 @@ public import Complexity.Logics.Propositional.CNF.Planar.PairedCrossover
public import Complexity.Logics.Propositional.CNF.Planar.PairedWire
public import Complexity.Logics.Propositional.CNF.PolyTime
public import Complexity.Logics.Propositional.CNF.PolynomialTests
public import Complexity.Logics.Propositional.CNF.SatisfactionPolynomial
public import Complexity.Logics.Propositional.CNF.SparseDesignCounter
public import Complexity.Logics.Propositional.CNF.SparseParityCounter
public import Complexity.Logics.Propositional.CNF.ThreeCNF
Expand Down
1,096 changes: 0 additions & 1,096 deletions Complexity/Computability/Complexity/FineGrained/GeneralCNFCountingAsymptotics.lean
View file
Open in desktop

This file was deleted.

1,062 changes: 0 additions & 1,062 deletions Complexity/Computability/Complexity/FineGrained/GeneralCNFHermiteRecovery.lean
View file
Open in desktop

This file was deleted.

708 changes: 0 additions & 708 deletions Complexity/Computability/Complexity/FineGrained/SparseCNFDesignSchedule.lean
View file
Open in desktop

This file was deleted.

411 changes: 0 additions & 411 deletions Complexity/Computability/PolyTime/CNF/ClauseJetEval.lean
View file
Open in desktop

This file was deleted.

225 changes: 0 additions & 225 deletions Complexity/Foundations/BooleanAnalysis/SparseHermiteJetRecovery.lean
View file
Open in desktop

This file was deleted.

Loading
Loading