├── LICENSE ├── README.md ├── examples ├── aes.c ├── aes.h ├── aes.tgz ├── aes_asm.png ├── aes_cfg.png ├── homeomorphism.gif ├── homeomorphism_1.gif ├── homeomorphism_2.gif ├── mines.c ├── mines.tgz ├── mines_asm.png └── mines_cfg.png └── reductio.py /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xoreaxeaxeax/reductio/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xoreaxeaxeax/reductio/HEAD/README.md -------------------------------------------------------------------------------- /examples/aes.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xoreaxeaxeax/reductio/HEAD/examples/aes.c -------------------------------------------------------------------------------- /examples/aes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xoreaxeaxeax/reductio/HEAD/examples/aes.h -------------------------------------------------------------------------------- /examples/aes.tgz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xoreaxeaxeax/reductio/HEAD/examples/aes.tgz -------------------------------------------------------------------------------- /examples/aes_asm.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xoreaxeaxeax/reductio/HEAD/examples/aes_asm.png -------------------------------------------------------------------------------- /examples/aes_cfg.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xoreaxeaxeax/reductio/HEAD/examples/aes_cfg.png -------------------------------------------------------------------------------- /examples/homeomorphism.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xoreaxeaxeax/reductio/HEAD/examples/homeomorphism.gif -------------------------------------------------------------------------------- /examples/homeomorphism_1.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xoreaxeaxeax/reductio/HEAD/examples/homeomorphism_1.gif -------------------------------------------------------------------------------- /examples/homeomorphism_2.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xoreaxeaxeax/reductio/HEAD/examples/homeomorphism_2.gif -------------------------------------------------------------------------------- /examples/mines.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xoreaxeaxeax/reductio/HEAD/examples/mines.c -------------------------------------------------------------------------------- /examples/mines.tgz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xoreaxeaxeax/reductio/HEAD/examples/mines.tgz -------------------------------------------------------------------------------- /examples/mines_asm.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xoreaxeaxeax/reductio/HEAD/examples/mines_asm.png -------------------------------------------------------------------------------- /examples/mines_cfg.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xoreaxeaxeax/reductio/HEAD/examples/mines_cfg.png -------------------------------------------------------------------------------- /reductio.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xoreaxeaxeax/reductio/HEAD/reductio.py --------------------------------------------------------------------------------