├── .gitignore ├── LICENSE ├── README.md ├── irec.py └── projects ├── static └── static_analysis.py ├── symbolic ├── explore_technique.py └── structures.py └── wdm.py /.gitignore: -------------------------------------------------------------------------------- 1 | __pycache__ 2 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kirasys/irec/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kirasys/irec/HEAD/README.md -------------------------------------------------------------------------------- /irec.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kirasys/irec/HEAD/irec.py -------------------------------------------------------------------------------- /projects/static/static_analysis.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kirasys/irec/HEAD/projects/static/static_analysis.py -------------------------------------------------------------------------------- /projects/symbolic/explore_technique.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kirasys/irec/HEAD/projects/symbolic/explore_technique.py -------------------------------------------------------------------------------- /projects/symbolic/structures.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kirasys/irec/HEAD/projects/symbolic/structures.py -------------------------------------------------------------------------------- /projects/wdm.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kirasys/irec/HEAD/projects/wdm.py --------------------------------------------------------------------------------