|
|
cf8cd03291
|
rearrange folder, added exec mode to example.py
|
2019-11-04 14:18:30 +01:00 |
|
|
|
562d38442e
|
added proof attribute to block, wrote tests template
|
2019-11-04 11:01:53 +01:00 |
|
|
|
c31d2b28e3
|
Change some docstrings to prepare for file implementation
|
2019-11-04 10:20:18 +01:00 |
|
