Commit Graph

8 Commits

Author SHA1 Message Date
Arthur Meyre
f910f1fa9c chore(tools): add user friendly coverage make command
- add a command allowing to run tests and coverage in one go
2021-07-27 12:14:42 +02:00
Arthur Meyre
deb7631a3a chore(tools): add mypy_test and mypy_ci target
- update tests that were failing with new mypy check
- mypy_test runs mypy on all .py source files in tests
- mypy_ci runs mypy and mypy_test, mypy is for source i.e. hdk/ only
2021-07-26 18:28:39 +02:00
Arthur Meyre
a060aaae99 feat(tracing): add tracing facilities
- add BaseTracer which will hold most of the boilerplate code
- add hnumpy with a bare NPTracer and tracing function
- update IR to be compatible with tracing helpers
- update test helper to properly check that graphs are equivalent
- add test tracing a simple addition
- rename common/data_types/helpers.py to .../dtypes_helpers.py to avoid
having too many files with the same name
- ignore missing type stubs in the default mypy command
- add a comfort Makefile target to get errors about missing mypy stubs
2021-07-26 17:05:53 +02:00
Arthur Meyre
36d93a60d9 chore(tools): add mypy as dev tool but don't check in CI for now
- we'll see if the benefits of static typing are worth it or not
2021-07-19 16:25:24 +02:00
Arthur Meyre
7dccfa649c build(tests): add tests and coverage to CI workflow
#refs 15
2021-07-16 12:25:10 +02:00
Arthur Meyre
a2185af578 tests: add test structure and dependencies
- add unique ID generator to hdk and unit test it

refs #15
2021-07-16 12:25:10 +02:00
aquint-zama
ae992e4cdc docs: move to sphinx
relates #15
2021-07-15 16:56:53 +02:00
Arthur Meyre
58e35136f5 chore(tools): add Makefile, formatting script, pylintrc and dependencies
refs #15
2021-07-15 11:46:19 +02:00