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.

Sign up for GitHub

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

Jump to bottom

add version number to serialization format #22888

Closed
StefanKarpinski opened this issue Jul 20, 2017 · 0 comments
Closed

add version number to serialization format #22888

StefanKarpinski opened this issue Jul 20, 2017 · 0 comments
Assignees
@JeffBezanson
Milestone
0.7

Comments

@StefanKarpinski
Copy link
Sponsor Member

We don't necessarily want to commit to serialization format stability with 1.0, but we should emit enough information that we can diagnose a format mismatch and potentially continue to be able to deserialize older formats in newer versions. See also: #1295, #7909, #11135.
@StefanKarpinski StefanKarpinski added this to the 1.0 milestone Jul 20, 2017
@JeffBezanson JeffBezanson self-assigned this Jul 25, 2017
JeffBezanson added a commit that referenced this issue Sep 15, 2017
@JeffBezanson
add header to serialization format. fixes #22888
5dad580
JeffBezanson added a commit that referenced this issue Sep 18, 2017
@JeffBezanson
add header to serialization format. fixes #22888 (#23722)
68d3305 
add header to serialization format. fixes #22888
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@JeffBezanson JeffBezanson

Labels
None yet
Projects
None yet
Milestone
0.7
Development

No branches or pull requests
2 participants
@StefanKarpinski @JeffBezanson