Commit Graph

23 Commits

Author SHA1 Message Date
Arthur Meyre
b45944b66a dev(ir): add the basis for the frontend IR
- add IntermediateNode base class
- add Add
- add Input
2021-07-26 17:05:53 +02:00
Arthur Meyre
29c1641f48 dev: remove unique_id system, not needed for now
- wrong assumption when reading hnp's code, for now unique ids are not
needed
2021-07-26 17:05:53 +02:00
Arthur Meyre
1a54bc1f22 dev(data-types): create Value classes which represent values in a program
- value classes have a data_type member to know what they hold
- add __repr__ to a few classes to ease readability for debug/print
- add helper functions to perform value checks that will be used for
tracing to ease readability
- add unit tests to get 100% coverage
2021-07-26 17:05:53 +02:00
Arthur Meyre
063b2db9db feat(data-types): add skeleton of data types, add an Integer type
- add convenience functions to instantiate Integer
- add tests for the basic functions of integers
2021-07-26 17:05:53 +02:00
Arthur Meyre
ce358ca838 tests: add test helper to compare digraphs
- add test to check that the helper is working
2021-07-26 17:05:53 +02:00
Arthur Meyre
42e9b8af2c chore: change requirements to be able to use networkx for graph handling
- support only Python >= 3.7, numpy is also dropping support for 3.6
2021-07-26 17:05:53 +02:00
Arthur Meyre
94f79f2345 chore(tools): update coverage.sh script 2021-07-22 10:31:51 +02:00
Arthur Meyre
2208a87327 chore(git): ignore output file for diff-coverage 2021-07-22 10:31:51 +02:00
Arthur Meyre
ac31a712ca chore(build): update a CI command to properly call pip 2021-07-22 10:31:51 +02:00
Arthur Meyre
9bf380bfce fix(typo): fix unfortunate typos 2021-07-19 16:32: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
e0c838b230 chore(tools): a less annoying pylint
- allow 1 letter names
- no minimum on class public methods
2021-07-16 12:26:52 +02:00
Arthur Meyre
ef78e66241 build(coverage): add comment to PR with diff-cover output
- add script to help format the coverage comment
- manage steps logic

refs #15
2021-07-16 12:25:10 +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
e45cd6cc86 build: add github actions workflow for PR checks
refs #15
2021-07-15 15:31: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
Arthur Meyre
8c61a12581 chore(tools): setup poetry and bare hdk package
refs #15
2021-07-15 11:09:17 +02:00
Arthur Meyre
68a6244593 docs(dev): add ARCHITECTURE.md and initial frontend flow 2021-07-15 11:00:42 +02:00
Arthur Meyre
2365a34b2a chore(tooling): add .editorconfig 2021-07-15 10:55:55 +02:00
Arthur Meyre
ae2041202f chore: add github issue templates 2021-07-15 10:55:22 +02:00
Arthur Meyre
d8a8565f16 Initial commit 2021-07-12 16:36:22 +02:00