CHANGELOG.md
LICENSE
README.md
SECURITY.md
pyproject.toml
setup.py
bin/__init__.py
bin/rflx
generated/librflxlang.gpr
generated/adasat/adasat.gpr
generated/adasat/src/adasat-builders.adb
generated/adasat/src/adasat-builders.ads
generated/adasat/src/adasat-decisions.adb
generated/adasat/src/adasat-decisions.ads
generated/adasat/src/adasat-dpll.adb
generated/adasat/src/adasat-dpll.ads
generated/adasat/src/adasat-formulas.adb
generated/adasat/src/adasat-formulas.ads
generated/adasat/src/adasat-helpers.adb
generated/adasat/src/adasat-helpers.ads
generated/adasat/src/adasat-internals.ads
generated/adasat/src/adasat-theory.ads
generated/adasat/src/adasat-vectors.adb
generated/adasat/src/adasat-vectors.ads
generated/adasat/src/adasat.adb
generated/adasat/src/adasat.ads
generated/adasat/testsuite/tests/at_most_one/prj.gpr
generated/adasat/testsuite/tests/at_most_one/test.adb
generated/adasat/testsuite/tests/custom_theory/prj.gpr
generated/adasat/testsuite/tests/custom_theory/test.adb
generated/adasat/testsuite/tests/exception_in_theory/prj.gpr
generated/adasat/testsuite/tests/exception_in_theory/test.adb
generated/adasat/testsuite/tests/simple/prj.gpr
generated/adasat/testsuite/tests/simple/test.adb
generated/adasat/testsuite/tests/simple_failure/prj.gpr
generated/adasat/testsuite/tests/simple_failure/test.adb
generated/adasat/testsuite/tests/sudoku/prj.gpr
generated/adasat/testsuite/tests/sudoku/sudoku.adb
generated/adasat/testsuite/tests/wave_function_collapse/prj.gpr
generated/adasat/testsuite/tests/wave_function_collapse/wfc.adb
generated/gnatcoll-bindings/gmp/gmp_support.c
generated/gnatcoll-bindings/gmp/gnatcoll-gmp-integers-io.adb
generated/gnatcoll-bindings/gmp/gnatcoll-gmp-integers-io.ads
generated/gnatcoll-bindings/gmp/gnatcoll-gmp-integers-misc.adb
generated/gnatcoll-bindings/gmp/gnatcoll-gmp-integers-misc.ads
generated/gnatcoll-bindings/gmp/gnatcoll-gmp-integers-number_theoretic.adb
generated/gnatcoll-bindings/gmp/gnatcoll-gmp-integers-number_theoretic.ads
generated/gnatcoll-bindings/gmp/gnatcoll-gmp-integers-random.adb
generated/gnatcoll-bindings/gmp/gnatcoll-gmp-integers-random.ads
generated/gnatcoll-bindings/gmp/gnatcoll-gmp-integers-root_extraction.adb
generated/gnatcoll-bindings/gmp/gnatcoll-gmp-integers-root_extraction.ads
generated/gnatcoll-bindings/gmp/gnatcoll-gmp-integers.adb
generated/gnatcoll-bindings/gmp/gnatcoll-gmp-integers.ads
generated/gnatcoll-bindings/gmp/gnatcoll-gmp-lib.ads
generated/gnatcoll-bindings/gmp/gnatcoll-gmp-mpz_even_p.c
generated/gnatcoll-bindings/gmp/gnatcoll-gmp-mpz_odd_p.c
generated/gnatcoll-bindings/gmp/gnatcoll-gmp-mpz_sign.c
generated/gnatcoll-bindings/gmp/gnatcoll-gmp-random_state.adb
generated/gnatcoll-bindings/gmp/gnatcoll-gmp-random_state.ads
generated/gnatcoll-bindings/gmp/gnatcoll-gmp.ads
generated/gnatcoll-bindings/gmp/gnatcoll_gmp.gpr
generated/gnatcoll-bindings/gmp/examples/gmp_examples.gpr
generated/gnatcoll-bindings/gmp/examples/isprime.adb
generated/gnatcoll-bindings/gmp/examples/square_triangular_numbers.adb
generated/gnatcoll-bindings/iconv/gnatcoll-iconv.adb
generated/gnatcoll-bindings/iconv/gnatcoll-iconv.ads
generated/gnatcoll-bindings/iconv/gnatcoll_iconv.gpr
generated/gnatcoll-bindings/iconv/iconv_support.c
generated/langkit/langkit/support/langkit_support-adalog-debug.adb
generated/langkit/langkit/support/langkit_support-adalog-debug.ads
generated/langkit/langkit/support/langkit_support-adalog-generic_main_support.adb
generated/langkit/langkit/support/langkit_support-adalog-generic_main_support.ads
generated/langkit/langkit/support/langkit_support-adalog-logic_var.adb
generated/langkit/langkit/support/langkit_support-adalog-logic_var.ads
generated/langkit/langkit/support/langkit_support-adalog-main_support.ads
generated/langkit/langkit/support/langkit_support-adalog-solver.adb
generated/langkit/langkit/support/langkit_support-adalog-solver.ads
generated/langkit/langkit/support/langkit_support-adalog-solver_interface.adb
generated/langkit/langkit/support/langkit_support-adalog-solver_interface.ads
generated/langkit/langkit/support/langkit_support-adalog.ads
generated/langkit/langkit/support/langkit_support-array_utils.adb
generated/langkit/langkit/support/langkit_support-array_utils.ads
generated/langkit/langkit/support/langkit_support-boxes.adb
generated/langkit/langkit/support/langkit_support-boxes.ads
generated/langkit/langkit/support/langkit_support-bump_ptr.ads
generated/langkit/langkit/support/langkit_support-bump_ptr_vectors.adb
generated/langkit/langkit/support/langkit_support-bump_ptr_vectors.ads
generated/langkit/langkit/support/langkit_support-cheap_sets.adb
generated/langkit/langkit/support/langkit_support-cheap_sets.ads
generated/langkit/langkit/support/langkit_support-diagnostics-output.adb
generated/langkit/langkit/support/langkit_support-diagnostics-output.ads
generated/langkit/langkit/support/langkit_support-diagnostics.adb
generated/langkit/langkit/support/langkit_support-diagnostics.ads
generated/langkit/langkit/support/langkit_support-errors.ads
generated/langkit/langkit/support/langkit_support-file_readers.adb
generated/langkit/langkit/support/langkit_support-file_readers.ads
generated/langkit/langkit/support/langkit_support-generic_api-analysis.adb
generated/langkit/langkit/support/langkit_support-generic_api-analysis.ads
generated/langkit/langkit/support/langkit_support-generic_api-introspection.adb
generated/langkit/langkit/support/langkit_support-generic_api-introspection.ads
generated/langkit/langkit/support/langkit_support-generic_api.adb
generated/langkit/langkit/support/langkit_support-generic_api.ads
generated/langkit/langkit/support/langkit_support-generic_bump_ptr.adb
generated/langkit/langkit/support/langkit_support-generic_bump_ptr.ads
generated/langkit/langkit/support/langkit_support-hashes.adb
generated/langkit/langkit/support/langkit_support-hashes.ads
generated/langkit/langkit/support/langkit_support-images.adb
generated/langkit/langkit/support/langkit_support-images.ads
generated/langkit/langkit/support/langkit_support-internal-analysis.adb
generated/langkit/langkit/support/langkit_support-internal-analysis.ads
generated/langkit/langkit/support/langkit_support-internal-conversions.ads
generated/langkit/langkit/support/langkit_support-internal-descriptor.ads
generated/langkit/langkit/support/langkit_support-internal-introspection.adb
generated/langkit/langkit/support/langkit_support-internal-introspection.ads
generated/langkit/langkit/support/langkit_support-internal.ads
generated/langkit/langkit/support/langkit_support-iterators.adb
generated/langkit/langkit/support/langkit_support-iterators.ads
generated/langkit/langkit/support/langkit_support-lexical_envs.ads
generated/langkit/langkit/support/langkit_support-lexical_envs_impl.adb
generated/langkit/langkit/support/langkit_support-lexical_envs_impl.ads
generated/langkit/langkit/support/langkit_support-names-maps.adb
generated/langkit/langkit/support/langkit_support-names-maps.ads
generated/langkit/langkit/support/langkit_support-names.adb
generated/langkit/langkit/support/langkit_support-names.ads
generated/langkit/langkit/support/langkit_support-packrat.adb
generated/langkit/langkit/support/langkit_support-packrat.ads
generated/langkit/langkit/support/langkit_support-relative_get.adb
generated/langkit/langkit/support/langkit_support-relative_get.ads
generated/langkit/langkit/support/langkit_support-slocs.adb
generated/langkit/langkit/support/langkit_support-slocs.ads
generated/langkit/langkit/support/langkit_support-symbols-precomputed.adb
generated/langkit/langkit/support/langkit_support-symbols-precomputed.ads
generated/langkit/langkit/support/langkit_support-symbols.adb
generated/langkit/langkit/support/langkit_support-symbols.ads
generated/langkit/langkit/support/langkit_support-text.adb
generated/langkit/langkit/support/langkit_support-text.ads
generated/langkit/langkit/support/langkit_support-token_data_handlers.adb
generated/langkit/langkit/support/langkit_support-token_data_handlers.ads
generated/langkit/langkit/support/langkit_support-tree_traversal_iterator.adb
generated/langkit/langkit/support/langkit_support-tree_traversal_iterator.ads
generated/langkit/langkit/support/langkit_support-types.ads
generated/langkit/langkit/support/langkit_support-vectors.adb
generated/langkit/langkit/support/langkit_support-vectors.ads
generated/langkit/langkit/support/langkit_support.ads
generated/langkit/langkit/support/langkit_support.gpr
generated/python/setup.py
generated/python/librflxlang/__init__.py
generated/python/librflxlang/py.typed
generated/src/librflxlang-analysis.adb
generated/src/librflxlang-analysis.ads
generated/src/librflxlang-c.adb
generated/src/librflxlang-c.ads
generated/src/librflxlang-common.adb
generated/src/librflxlang-common.ads
generated/src/librflxlang-debug.adb
generated/src/librflxlang-debug.ads
generated/src/librflxlang-gdb.c
generated/src/librflxlang-generic_api-introspection.ads
generated/src/librflxlang-generic_api.adb
generated/src/librflxlang-generic_api.ads
generated/src/librflxlang-generic_impl.adb
generated/src/librflxlang-generic_impl.ads
generated/src/librflxlang-generic_introspection.adb
generated/src/librflxlang-generic_introspection.ads
generated/src/librflxlang-implementation-c.adb
generated/src/librflxlang-implementation-c.ads
generated/src/librflxlang-implementation.adb
generated/src/librflxlang-implementation.ads
generated/src/librflxlang-iterators.adb
generated/src/librflxlang-iterators.ads
generated/src/librflxlang-lexer.adb
generated/src/librflxlang-lexer.ads
generated/src/librflxlang-lexer_implementation.adb
generated/src/librflxlang-lexer_implementation.ads
generated/src/librflxlang-lexer_state_machine.adb
generated/src/librflxlang-lexer_state_machine.ads
generated/src/librflxlang-parsers.adb
generated/src/librflxlang-parsers.ads
generated/src/librflxlang-private_converters.adb
generated/src/librflxlang-private_converters.ads
generated/src/librflxlang-public_converters.adb
generated/src/librflxlang-public_converters.ads
generated/src/librflxlang.ads
generated/src/librflxlang.h
ide/gnatstudio/__init__.py
ide/gnatstudio/recordflux.py
ide/vscode/recordflux.vsix
rflx/__init__.py
rflx/__main__.py
rflx/ada.py
rflx/cli.py
rflx/common.py
rflx/const.py
rflx/contract.py
rflx/error.py
rflx/expression.py
rflx/graph.py
rflx/identifier.py
rflx/integration.py
rflx/ir.py
rflx/py.typed
rflx/typing_.py
rflx/validator.py
rflx/converter/__init__.py
rflx/converter/iana.py
rflx/generator/__init__.py
rflx/generator/allocator.py
rflx/generator/common.py
rflx/generator/const.py
rflx/generator/generator.py
rflx/generator/message.py
rflx/generator/parser.py
rflx/generator/serializer.py
rflx/generator/session.py
rflx/ls/README.md
rflx/ls/__init__.py
rflx/ls/lexer.py
rflx/ls/model.py
rflx/ls/server.py
rflx/model/__init__.py
rflx/model/cache.py
rflx/model/declaration.py
rflx/model/message.py
rflx/model/model.py
rflx/model/package.py
rflx/model/session.py
rflx/model/statement.py
rflx/model/top_level_declaration.py
rflx/model/type_.py
rflx/pyrflx/__init__.py
rflx/pyrflx/bitstring.py
rflx/pyrflx/error.py
rflx/pyrflx/package.py
rflx/pyrflx/pyrflx.py
rflx/pyrflx/typevalue.py
rflx/pyrflx/utils.py
rflx/specification/__init__.py
rflx/specification/const.py
rflx/specification/parser.py
rflx/specification/style.py
rflx/templates/license_header
rflx/templates/rflx_arithmetic.adb
rflx/templates/rflx_arithmetic.ads
rflx/templates/rflx_builtin_types-conversions.ads
rflx/templates/rflx_builtin_types.ads
rflx/templates/rflx_generic_types-generic_operations.adb
rflx/templates/rflx_generic_types-generic_operations.ads
rflx/templates/rflx_generic_types-generic_operators.ads
rflx/templates/rflx_generic_types.ads
rflx/templates/rflx_message_sequence.adb
rflx/templates/rflx_message_sequence.ads
rflx/templates/rflx_scalar_sequence.adb
rflx/templates/rflx_scalar_sequence.ads
rflx/templates/rflx_types-operations.ads
rflx/templates/rflx_types-operators.ads
rflx/templates/rflx_types.ads