Skip to content
This repository was archived by the owner on Jun 11, 2026. It is now read-only.

Update Vocabulary API#43

Merged
mallamanis merged 2 commits into
dev/version1from
dev/miallama/vocab-update
Jan 28, 2020
Merged

Update Vocabulary API#43
mallamanis merged 2 commits into
dev/version1from
dev/miallama/vocab-update

Conversation

@mallamanis

Copy link
Copy Markdown
Contributor

(PR #42 but on v1.0 branch)

Miltos Allamanis added 2 commits January 27, 2020 12:19
* This breaks backwards compatibility by renaming the argument `max_size` to `max_num_elements_to_add`.
* Remove the assertion that didn't make sense (the size of the Vocabulary should be able to change).
@mallamanis mallamanis self-assigned this Jan 28, 2020
@mallamanis
mallamanis merged commit 1a4fd91 into dev/version1 Jan 28, 2020
@mallamanis
mallamanis deleted the dev/miallama/vocab-update branch January 28, 2020 10:20
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant