Scott Moore

Currently, it is difficult to specify a contract that checks a property of a capability before every call to an operation on it. I think this is mostly an issue...

Issues compiling bitcode for redis

2

A user reached out about an error ingesting `redis` (https://github.com/redis/redis) using `mate-cli oneshot redis`. The initial issue appears to be compatibility with `-flto`, which `redis` uses at it's default optimization...

Reliable Disassembly SIG proposal

2

Adds a `sig-lifecycle-documents` folder to the repository with a document describing a proposed SIG on Reliable Disassembly.

Adding remove-impersonators and chaperone-opaque-struct functions

14

This pull request adds two new primitive functions to Racket in the module `racket/unsafe/chaperones`. These functions are necessary to efficiently implement bounded polymorphic contracts: [github.com/thinkmoore/bounded](github.com/thinkmoore/bounded). Documentation and examples of bounded...