Changes between Version 17 and Version 20 of Ticket #18411


Ignore:
Timestamp:
09/12/15 23:28:05 (4 years ago)
Author:
vdelecroix
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #18411

    • Property Commit changed from 8a5ca0185dc3d46b7c62429b3d60ccccb485c0c4 to 4eacb2236a6f6d950bc3a0b0a4fb5bf038113a5c
  • Ticket #18411 – Description

    v17 v20  
    77 - refine the category of `Set([1,2,3])` to be finite
    88 - implement a (very naive) `random_element` for `Set([1,2,3])`
     9 - implement a (naive) hash for `EnumeratedSetFromIterator`
    910
    1011follow up: #19192