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

Generic serialization of field and group elements (contains #220) (depends on #233) #232

Merged
merged 24 commits into from
Jul 28, 2020

Conversation

dtebbs
Copy link
Contributor

@dtebbs dtebbs commented Jul 24, 2020

No description provided.

@dtebbs dtebbs changed the base branch from api-group-elements-refactor to develop July 24, 2020 13:43
@dtebbs dtebbs changed the title WIP: Generic serialization of field and group elements WIP: Generic serialization of field and group elements (contains #220) Jul 24, 2020
@dtebbs dtebbs force-pushed the api-group-elements-generic branch from 62fd333 to 86d8b9c Compare July 24, 2020 16:43
@dtebbs dtebbs changed the base branch from develop to fix-type-naming July 27, 2020 15:23
@dtebbs dtebbs force-pushed the api-group-elements-generic branch from 7abc6b3 to da08c0a Compare July 27, 2020 15:24
@dtebbs dtebbs changed the title WIP: Generic serialization of field and group elements (contains #220) Generic serialization of field and group elements (contains #220) (depends on #233) Jul 27, 2020
@dtebbs dtebbs force-pushed the api-group-elements-generic branch from 01be836 to 689466d Compare July 28, 2020 09:27
@AntoineRondelet AntoineRondelet changed the base branch from fix-type-naming to develop July 28, 2020 13:26
@AntoineRondelet
Copy link
Contributor

LGTM, I changed the base branch to point to develop, in which I merged the fix-type-naming branch

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants