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

replace sumo binary format by gzipped xml #5448

Open
behrisch opened this issue Apr 9, 2019 · 1 comment

Comments

@behrisch
Copy link
Contributor

commented Apr 9, 2019

Our own format is probably neither space nor parsing time efficient and zip support comes with no additional coding cost.

@behrisch

This comment has been minimized.

Copy link
Contributor Author

commented Jul 2, 2019

https://github.com/mateidavid/zstr seems like a good implementation

@behrisch behrisch self-assigned this Jul 2, 2019

behrisch added a commit that referenced this issue Jul 3, 2019
behrisch added a commit that referenced this issue Jul 3, 2019
behrisch added a commit that referenced this issue Jul 4, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
1 participant
You can’t perform that action at this time.