Readme.md
pyproject.toml
AeonLang.egg-info/PKG-INFO
AeonLang.egg-info/SOURCES.txt
AeonLang.egg-info/dependency_links.txt
AeonLang.egg-info/entry_points.txt
AeonLang.egg-info/requires.txt
AeonLang.egg-info/top_level.txt
aeon/__init__.py
aeon/__main__.py
aeon/backend/__init__.py
aeon/backend/contracts.py
aeon/backend/evaluator.py
aeon/backend/liquid_eval.py
aeon/backend/python_export.py
aeon/bindings/__init__.py
aeon/bindings/binding_utils.py
aeon/bindings/database.py
aeon/bindings/image.py
aeon/bindings/learning.py
aeon/bindings/nn.py
aeon/bindings/random_sample.py
aeon/bindings/table.py
aeon/bindings/tensor.py
aeon/compilation/__init__.py
aeon/compilation/compile.py
aeon/compilation/link.py
aeon/compilation/resolve.py
aeon/compilation/serialize.py
aeon/compilation/unit.py
aeon/core/__init__.py
aeon/core/aeon_core.lark
aeon/core/bind.py
aeon/core/distance.py
aeon/core/equality.py
aeon/core/instantiation.py
aeon/core/liquid.py
aeon/core/liquid_ops.py
aeon/core/multiplicity.py
aeon/core/parser.py
aeon/core/pprint.py
aeon/core/substitutions.py
aeon/core/terms.py
aeon/core/types.py
aeon/decorators/__init__.py
aeon/decorators/api.py
aeon/documentation/__init__.py
aeon/documentation/generator.py
aeon/elaboration/__init__.py
aeon/elaboration/context.py
aeon/elaboration/instantiation.py
aeon/facade/__init__.py
aeon/facade/api.py
aeon/facade/driver.py
aeon/facade/exit_codes.py
aeon/facade/trust.py
aeon/frontend/__init__.py
aeon/libraries/Args.ae
aeon/libraries/Array.ae
aeon/libraries/Certify.ae
aeon/libraries/Color.ae
aeon/libraries/Dace.ae
aeon/libraries/Database.ae
aeon/libraries/Distributions.ae
aeon/libraries/Http.ae
aeon/libraries/Image.ae
aeon/libraries/Json.ae
aeon/libraries/Learning.ae
aeon/libraries/LearningCore.ae
aeon/libraries/LearningDiscriminant.ae
aeon/libraries/LearningDummy.ae
aeon/libraries/LearningEnsembles.ae
aeon/libraries/LearningGaussianProcess.ae
aeon/libraries/LearningKernel.ae
aeon/libraries/LearningLinear.ae
aeon/libraries/LearningLines.ae
aeon/libraries/LearningNaiveBayes.ae
aeon/libraries/LearningNeighbors.ae
aeon/libraries/LearningNeural.ae
aeon/libraries/LearningSVM.ae
aeon/libraries/LearningTrees.ae
aeon/libraries/List.ae
aeon/libraries/Map.ae
aeon/libraries/Math.ae
aeon/libraries/Matrix.ae
aeon/libraries/Maybe.ae
aeon/libraries/Models.ae
aeon/libraries/NN.ae
aeon/libraries/Num.ae
aeon/libraries/OS.ae
aeon/libraries/PSB2.ae
aeon/libraries/Pair.ae
aeon/libraries/Path.ae
aeon/libraries/Plot.ae
aeon/libraries/PropTesting.ae
aeon/libraries/Random.ae
aeon/libraries/Relax.ae
aeon/libraries/Set.ae
aeon/libraries/Socket.ae
aeon/libraries/Statistics.ae
aeon/libraries/String.ae
aeon/libraries/Subprocess.ae
aeon/libraries/Sys.ae
aeon/libraries/Table.ae
aeon/libraries/Tensor.ae
aeon/libraries/Testing.ae
aeon/libraries/Tuple.ae
aeon/libraries/unsafeList.ae
aeon/llvm/core.py
aeon/llvm/llvm_ast.py
aeon/llvm/pipeline.py
aeon/llvm/utils.py
aeon/llvm/cpu/converter.py
aeon/llvm/cpu/executor.py
aeon/llvm/cpu/lowerer.py
aeon/llvm/cuda/converter.py
aeon/llvm/cuda/executor.py
aeon/llvm/cuda/lowerer.py
aeon/llvm/decorators/gpu.py
aeon/llvm/decorators/llvm.py
aeon/logger/__init__.py
aeon/logger/logger.py
aeon/lsp/__init__.py
aeon/lsp/aeon_adapter.py
aeon/lsp/completion.py
aeon/lsp/infoview.py
aeon/lsp/navigation.py
aeon/lsp/server.py
aeon/lsp/synthesis_ui.py
aeon/lsp/typeindex.py
aeon/optimization/__init__.py
aeon/optimization/match.py
aeon/optimization/native.py
aeon/optimization/normal_form.py
aeon/optimization/whnf.py
aeon/prelude/__init__.py
aeon/prelude/prelude.py
aeon/sugar/__init__.py
aeon/sugar/aeon_sugar.lark
aeon/sugar/ast_helpers.py
aeon/sugar/bind.py
aeon/sugar/desugar.py
aeon/sugar/equality.py
aeon/sugar/instance_registry.py
aeon/sugar/lifting.py
aeon/sugar/lowering.py
aeon/sugar/parser.py
aeon/sugar/program.py
aeon/sugar/stypes.py
aeon/sugar/substitutions.py
aeon/synthesis/__init__.py
aeon/synthesis/api.py
aeon/synthesis/core_decorators.py
aeon/synthesis/decorators.py
aeon/synthesis/entrypoint.py
aeon/synthesis/evaluation_pool.py
aeon/synthesis/fitness.py
aeon/synthesis/identification.py
aeon/synthesis/resource_meters.py
aeon/synthesis/scope.py
aeon/synthesis/grammar/bounds.py
aeon/synthesis/grammar/ge_synthesis.py
aeon/synthesis/grammar/genomic_ng.py
aeon/synthesis/grammar/grammar_generation.py
aeon/synthesis/grammar/mangling.py
aeon/synthesis/grammar/refinements.py
aeon/synthesis/grammar/utils.py
aeon/synthesis/modules/bottom_up.py
aeon/synthesis/modules/float_ng.py
aeon/synthesis/modules/ortools_cpsat.py
aeon/synthesis/modules/smt_synthesizer.py
aeon/synthesis/modules/synthesizerfactory.py
aeon/synthesis/modules/afta/__init__.py
aeon/synthesis/modules/afta/pbe.py
aeon/synthesis/modules/afta/synthesizer.py
aeon/synthesis/modules/cata/__init__.py
aeon/synthesis/modules/cata/synthesizer.py
aeon/synthesis/modules/contata/__init__.py
aeon/synthesis/modules/contata/cata.py
aeon/synthesis/modules/contata/cosynthesis.py
aeon/synthesis/modules/contata/synthesizer.py
aeon/synthesis/modules/decision_tree/__init__.py
aeon/synthesis/modules/fta/__init__.py
aeon/synthesis/modules/fta/synthesizer.py
aeon/synthesis/modules/llm/__init__.py
aeon/synthesis/modules/lta/__init__.py
aeon/synthesis/modules/lta/automaton.py
aeon/synthesis/modules/lta/constraints.py
aeon/synthesis/modules/lta/construction.py
aeon/synthesis/modules/lta/cyclic.py
aeon/synthesis/modules/lta/polymorphism.py
aeon/synthesis/modules/lta/reductions.py
aeon/synthesis/modules/lta/subtyping.py
aeon/synthesis/modules/lta/synthesizer.py
aeon/synthesis/modules/lta/terms.py
aeon/synthesis/modules/sygus/__init__.py
aeon/synthesis/modules/sygus/solver.py
aeon/synthesis/modules/sygus/synthesizer.py
aeon/synthesis/modules/sygus/translation.py
aeon/synthesis/modules/symetric/__init__.py
aeon/synthesis/modules/symetric/synthesizer.py
aeon/synthesis/modules/synquid/build.py
aeon/synthesis/modules/synquid/decompose.py
aeon/synthesis/modules/synquid/engine.py
aeon/synthesis/modules/synquid/guards.py
aeon/synthesis/modules/synquid/modular.py
aeon/synthesis/modules/synquid/search.py
aeon/synthesis/modules/synquid/synthesizer.py
aeon/synthesis/modules/tdsyn/__init__.py
aeon/synthesis/modules/tdsyn/actions.py
aeon/synthesis/modules/tdsyn/helpers.py
aeon/synthesis/modules/tdsyn/smt_solve.py
aeon/synthesis/modules/tdsyn/synthesizer.py
aeon/synthesis/modules/tdsyn/worklist.py
aeon/synthesis/pbt/__init__.py
aeon/synthesis/pbt/generators.py
aeon/synthesis/pbt/runner.py
aeon/synthesis/pbt/shrink.py
aeon/synthesis/tactics/__init__.py
aeon/synthesis/tactics/assumption.py
aeon/synthesis/tactics/builtin.py
aeon/synthesis/tactics/by_cases.py
aeon/synthesis/tactics/choose_literal.py
aeon/synthesis/tactics/explicit_synth.py
aeon/synthesis/tactics/holes.py
aeon/synthesis/tactics/inst.py
aeon/synthesis/tactics/random_synth.py
aeon/synthesis/tactics/split.py
aeon/synthesis/tactics/state.py
aeon/synthesis/tactics/subtyping.py
aeon/synthesis/uis/api.py
aeon/synthesis/uis/terminal.py
aeon/typechecking/__init__.py
aeon/typechecking/context.py
aeon/typechecking/entailment.py
aeon/typechecking/linearity.py
aeon/typechecking/liquid.py
aeon/typechecking/partial_vc.py
aeon/typechecking/qualifiers.py
aeon/typechecking/termination.py
aeon/typechecking/typeinfer.py
aeon/typechecking/well_formed.py
aeon/utils/__init__.py
aeon/utils/ast_helpers.py
aeon/utils/ctx_helpers.py
aeon/utils/location.py
aeon/utils/name.py
aeon/utils/pprint.py
aeon/utils/pprint_helpers.py
aeon/utils/superscripts.py
aeon/utils/time_utils.py
aeon/verification/__init__.py
aeon/verification/constructor_registry.py
aeon/verification/decidability.py
aeon/verification/helpers.py
aeon/verification/horn.py
aeon/verification/horn2.py
aeon/verification/refinement_exec.py
aeon/verification/smt.py
aeon/verification/sub.py
aeon/verification/vcs.py
aeon/verification/wellformness.py
tests/test_imports.py
tests/testing_lib_test.py