Dockerfile
LICENSE
MANIFEST.in
README.md
requirements.txt
setup.cfg
setup.py
notebooks/README.md
notebooks/calculator.ipynb
notebooks/heartbleed.ipynb
src/avicenna/__init__.py
src/avicenna/avicenna.py
src/avicenna/cli.py
src/avicenna/evaluation_setup.py
src/avicenna/execution_handler.py
src/avicenna/feature_collector.py
src/avicenna/feature_extractor.py
src/avicenna/features.py
src/avicenna/generator.py
src/avicenna/helpers.py
src/avicenna/input.py
src/avicenna/learner.py
src/avicenna/logger.py
src/avicenna/monads.py
src/avicenna/oracle.py
src/avicenna/pattern_learner.py
src/avicenna/performance_evaluator.py
src/avicenna/report.py
src/avicenna/result_table.py
src/avicenna.egg-info/PKG-INFO
src/avicenna.egg-info/SOURCES.txt
src/avicenna.egg-info/dependency_links.txt
src/avicenna.egg-info/entry_points.txt
src/avicenna.egg-info/requires.txt
src/avicenna.egg-info/top_level.txt
src/avicenna_formalizations/__init__.py
src/avicenna_formalizations/calculator.py
src/avicenna_formalizations/fastapi_api.py
src/avicenna_formalizations/genson.py
src/avicenna_formalizations/heartbeat.py
src/avicenna_formalizations/middle.py
src/avicenna_formalizations/patterns.toml
src/avicenna_formalizations/patterns_islearn.toml
src/avicenna_formalizations/tests4py.py
tests/test_features.py
tests/test_generator.py
tests/test_heartbeat.py
tests/test_monads.py
tests/test_pattern_learner.py
tests/test_relevant_feature_learner.py
tests/test_test_inputs.py