|
|
f94cd8c2d7
|
handled empty file when importing
|
2019-11-07 10:10:54 +01:00 |
|
|
|
b163e17c4d
|
handled read from json, need to handle empty file
|
2019-11-07 10:00:06 +01:00 |
|
|
|
086e32ef3f
|
set up export to file in json format
|
2019-11-07 09:13:40 +01:00 |
|
|
|
fb53ab1c69
|
Exception handling
|
2019-11-04 17:34:32 +01:00 |
|
|
|
a013a2d38a
|
Set up file handling, not tested yet
|
2019-11-04 16:49:13 +01:00 |
|
|
|
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 |
|
