merge from afp-2021-1
Description
Description
Details
Details
- Provenance
kleing Authored on - Parents
- rAFP4eae52fd65f6: metadata for Universal_Hash_Families
rAFPeec42543ab91: Backed out changeset c9f94b0ae10e - Branches
- Unknown
- Tags
- Unknown
Event Timeline
Merged Changes
Merged Changes
This commit merges a very large number of changes. Only the first 50 are shown.
- eec42543ab91 Backed out changeset c9f94b0ae10eAuthor
- 26c4c8765120 Backed out changeset b8c3f69745a4Author
- b8c3f69745a4 metadata update for VYDRA_MDLAuthor
- c9f94b0ae10e New entry: VYDRA_MDLAuthor
- c3256e9003bc fixed failing proofsAuthor
- 04d347968c92 some new lemmasAuthor
- 78b756217908 More materialAuthor
- 3e0d4252153b merge from afp-2021-1Author
- 2d18ab671110 Qualification required(?)Author
- 64393a5f8dc2 more variants of the algorithmAuthor
- bd32b1fd6406 merged
- 6ef2e075a034 tuned whitespace;Author