8 Commits (master)

Author	SHA1	Message	Date
markma	f8dfc1ce1f	0.0.1	3 years ago
markma	09fba4a0b5	0.0.1	3 years ago
Josh Berdine	37aa0159ea	[sledge] Add Set.pop_min_elt_exn ... Differential Revision: D29441151 fbshipit-source-id: b317d6458	3 years ago
Josh Berdine	1274bd0d46	[sledge] Optimize equality solver on sequences using super-term index ... Summary: Update the first-order equality solver for the sequence theory to avoid searching the whole representation now that the super-term index is maintained. Reviewed By: jvillard Differential Revision: D26338015 fbshipit-source-id: 24a9a19b6	4 years ago
Josh Berdine	d298eb1bad	[sledge] Optimize Set operations ... Reviewed By: jvillard Differential Revision: D26338013 fbshipit-source-id: 3a21efa9b	4 years ago
Josh Berdine	dfd897d9e4	[sledge] Switch Zero-One-Many type to a standard variant ... Reviewed By: jvillard Differential Revision: D26338018 fbshipit-source-id: 4fe5aea9f	4 years ago
Josh Berdine	cbe6872731	[sledge] Adapt NSSet to Comparer interface ... Reviewed By: jvillard Differential Revision: D26250522 fbshipit-source-id: 3154a1694	4 years ago
Josh Berdine	de8d583f82	[sledge] Rename nonstdlib/{map,set} to nonstdlib/{NSMap,NSSet} ... Reviewed By: ngorogiannis Differential Revision: D26250537 fbshipit-source-id: ff1dc3751	4 years ago