sydow

Better hashing

9

### Proposal I think we should update our hash functions and at the same time make some changes to the Hashable protocol. Ideas for these updates come from recent developments...

Backend tests leave processes open on MacOS

1

### Acton Version 0.15.0.20230530.12.21.57 ### Steps to Reproduce ps -a make test ps -a ### Expected Behavior Acton tests run, succeed and leave no open processes ### Actual Behavior acton>...

### Acton Version 0.24.1 ### Steps to Reproduce and Observed Behavior The bug does not cause any error in the test suite, but note the following def from builtin/builtin_functions.c: ```...

### Proposal The builtin type list[A] has the attribute def index[B(Eq)](self, val: B, start: int=0, stop: ?int) -> int: """Return the index of the first occurrence of val in the...