├── .gitignore ├── LICENSE ├── README.md ├── enter-environment3.7.sh ├── int_fixedwidth ├── README.md ├── cairo_smart_test_framework.py ├── int10.cairo ├── int12.cairo ├── int124.cairo ├── int125.cairo ├── int16.cairo ├── int32.cairo ├── int4.cairo ├── int6.cairo ├── int64.cairo ├── int8.cairo ├── run_all_tests.sh ├── test_int10.py ├── test_int12.py ├── test_int124.py ├── test_int125.py ├── test_int16.py ├── test_int32.py ├── test_int4.py ├── test_int6.py ├── test_int64.py ├── test_int8.py ├── test_uint10.py ├── test_uint12.py ├── test_uint124.py ├── test_uint125.py ├── test_uint16.py ├── test_uint32.py ├── test_uint4.py ├── test_uint6.py ├── test_uint64.py ├── test_uint8.py ├── uint10.cairo ├── uint12.cairo ├── uint124.cairo ├── uint125.cairo ├── uint16.cairo ├── uint32.cairo ├── uint4.cairo ├── uint6.cairo ├── uint64.cairo └── uint8.cairo ├── int_unbounded ├── README.md ├── bigint.cairo ├── biguint.cairo ├── biguint_tools.py ├── cairo_smart_test_framework.py ├── run_all_tests.sh ├── test_bigint.py └── test_biguint.py ├── run-cairo-with-trace.sh ├── run-cairo.sh ├── run-this-file-to-build-code-directory-from-template-directory.py └── templates ├── cairo_smart_test_framework.py ├── run_all_tests.sh ├── template_for_int.cairo ├── template_for_test_int.py ├── template_for_test_uint.py └── template_for_uint.cairo /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/README.md -------------------------------------------------------------------------------- /enter-environment3.7.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/enter-environment3.7.sh -------------------------------------------------------------------------------- /int_fixedwidth/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/int_fixedwidth/README.md -------------------------------------------------------------------------------- /int_fixedwidth/cairo_smart_test_framework.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/int_fixedwidth/cairo_smart_test_framework.py -------------------------------------------------------------------------------- /int_fixedwidth/int10.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/int_fixedwidth/int10.cairo -------------------------------------------------------------------------------- /int_fixedwidth/int12.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/int_fixedwidth/int12.cairo -------------------------------------------------------------------------------- /int_fixedwidth/int124.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/int_fixedwidth/int124.cairo -------------------------------------------------------------------------------- /int_fixedwidth/int125.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/int_fixedwidth/int125.cairo -------------------------------------------------------------------------------- /int_fixedwidth/int16.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/int_fixedwidth/int16.cairo -------------------------------------------------------------------------------- /int_fixedwidth/int32.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/int_fixedwidth/int32.cairo -------------------------------------------------------------------------------- /int_fixedwidth/int4.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/int_fixedwidth/int4.cairo -------------------------------------------------------------------------------- /int_fixedwidth/int6.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/int_fixedwidth/int6.cairo -------------------------------------------------------------------------------- /int_fixedwidth/int64.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/int_fixedwidth/int64.cairo -------------------------------------------------------------------------------- /int_fixedwidth/int8.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/int_fixedwidth/int8.cairo -------------------------------------------------------------------------------- /int_fixedwidth/run_all_tests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/int_fixedwidth/run_all_tests.sh -------------------------------------------------------------------------------- /int_fixedwidth/test_int10.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/int_fixedwidth/test_int10.py -------------------------------------------------------------------------------- /int_fixedwidth/test_int12.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/int_fixedwidth/test_int12.py -------------------------------------------------------------------------------- /int_fixedwidth/test_int124.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/int_fixedwidth/test_int124.py -------------------------------------------------------------------------------- /int_fixedwidth/test_int125.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/int_fixedwidth/test_int125.py -------------------------------------------------------------------------------- /int_fixedwidth/test_int16.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/int_fixedwidth/test_int16.py -------------------------------------------------------------------------------- /int_fixedwidth/test_int32.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/int_fixedwidth/test_int32.py -------------------------------------------------------------------------------- /int_fixedwidth/test_int4.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/int_fixedwidth/test_int4.py -------------------------------------------------------------------------------- /int_fixedwidth/test_int6.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/int_fixedwidth/test_int6.py -------------------------------------------------------------------------------- /int_fixedwidth/test_int64.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/int_fixedwidth/test_int64.py -------------------------------------------------------------------------------- /int_fixedwidth/test_int8.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/int_fixedwidth/test_int8.py -------------------------------------------------------------------------------- /int_fixedwidth/test_uint10.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/int_fixedwidth/test_uint10.py -------------------------------------------------------------------------------- /int_fixedwidth/test_uint12.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/int_fixedwidth/test_uint12.py -------------------------------------------------------------------------------- /int_fixedwidth/test_uint124.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/int_fixedwidth/test_uint124.py -------------------------------------------------------------------------------- /int_fixedwidth/test_uint125.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/int_fixedwidth/test_uint125.py -------------------------------------------------------------------------------- /int_fixedwidth/test_uint16.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/int_fixedwidth/test_uint16.py -------------------------------------------------------------------------------- /int_fixedwidth/test_uint32.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/int_fixedwidth/test_uint32.py -------------------------------------------------------------------------------- /int_fixedwidth/test_uint4.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/int_fixedwidth/test_uint4.py -------------------------------------------------------------------------------- /int_fixedwidth/test_uint6.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/int_fixedwidth/test_uint6.py -------------------------------------------------------------------------------- /int_fixedwidth/test_uint64.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/int_fixedwidth/test_uint64.py -------------------------------------------------------------------------------- /int_fixedwidth/test_uint8.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/int_fixedwidth/test_uint8.py -------------------------------------------------------------------------------- /int_fixedwidth/uint10.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/int_fixedwidth/uint10.cairo -------------------------------------------------------------------------------- /int_fixedwidth/uint12.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/int_fixedwidth/uint12.cairo -------------------------------------------------------------------------------- /int_fixedwidth/uint124.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/int_fixedwidth/uint124.cairo -------------------------------------------------------------------------------- /int_fixedwidth/uint125.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/int_fixedwidth/uint125.cairo -------------------------------------------------------------------------------- /int_fixedwidth/uint16.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/int_fixedwidth/uint16.cairo -------------------------------------------------------------------------------- /int_fixedwidth/uint32.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/int_fixedwidth/uint32.cairo -------------------------------------------------------------------------------- /int_fixedwidth/uint4.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/int_fixedwidth/uint4.cairo -------------------------------------------------------------------------------- /int_fixedwidth/uint6.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/int_fixedwidth/uint6.cairo -------------------------------------------------------------------------------- /int_fixedwidth/uint64.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/int_fixedwidth/uint64.cairo -------------------------------------------------------------------------------- /int_fixedwidth/uint8.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/int_fixedwidth/uint8.cairo -------------------------------------------------------------------------------- /int_unbounded/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/int_unbounded/README.md -------------------------------------------------------------------------------- /int_unbounded/bigint.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/int_unbounded/bigint.cairo -------------------------------------------------------------------------------- /int_unbounded/biguint.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/int_unbounded/biguint.cairo -------------------------------------------------------------------------------- /int_unbounded/biguint_tools.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/int_unbounded/biguint_tools.py -------------------------------------------------------------------------------- /int_unbounded/cairo_smart_test_framework.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/int_unbounded/cairo_smart_test_framework.py -------------------------------------------------------------------------------- /int_unbounded/run_all_tests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/int_unbounded/run_all_tests.sh -------------------------------------------------------------------------------- /int_unbounded/test_bigint.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/int_unbounded/test_bigint.py -------------------------------------------------------------------------------- /int_unbounded/test_biguint.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/int_unbounded/test_biguint.py -------------------------------------------------------------------------------- /run-cairo-with-trace.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/run-cairo-with-trace.sh -------------------------------------------------------------------------------- /run-cairo.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/run-cairo.sh -------------------------------------------------------------------------------- /run-this-file-to-build-code-directory-from-template-directory.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/run-this-file-to-build-code-directory-from-template-directory.py -------------------------------------------------------------------------------- /templates/cairo_smart_test_framework.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/templates/cairo_smart_test_framework.py -------------------------------------------------------------------------------- /templates/run_all_tests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/templates/run_all_tests.sh -------------------------------------------------------------------------------- /templates/template_for_int.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/templates/template_for_int.cairo -------------------------------------------------------------------------------- /templates/template_for_test_int.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/templates/template_for_test_int.py -------------------------------------------------------------------------------- /templates/template_for_test_uint.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/templates/template_for_test_uint.py -------------------------------------------------------------------------------- /templates/template_for_uint.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bellissimogiorno/cairo-integer-types/HEAD/templates/template_for_uint.cairo --------------------------------------------------------------------------------