Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Json files #278

Merged
merged 20 commits into from
Feb 21, 2020
Merged

Json files #278

merged 20 commits into from
Feb 21, 2020

Conversation

Christian-B
Copy link
Member

@Christian-B Christian-B commented Feb 10, 2020

Changed json writes (when not required for java) to reports
Added an partition to n keys one

needs SpiNNakerManchester/SpiNNFrontEndCommon#543 to actaully work but can be merged first

Copy link
Member

@rowleya rowleya left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good - minor progress issue!

:type json_folder: str
"""
# Steps are tojson, validate and writefile
progress = ProgressBar(3, "Converting to JSON MachineGraph")
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Oops, this isn't a machine graph!

@coveralls
Copy link

coveralls commented Feb 10, 2020

Coverage Status

Coverage decreased (-0.5%) to 68.179% when pulling b6f0bef on json_files into ef9807e on master.

@dkfellows dkfellows merged commit 097a5ef into master Feb 21, 2020
@dkfellows dkfellows deleted the json_files branch February 21, 2020 09:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants