Make snmalloc optional - Githubissues

microsoft / Trieste

A term rewriting system for experimental programming language development.

MIT License

37 stars 20 forks source link

Closed mjp41 closed 2 months ago

mjp41 commented 3 months ago

This allows snmalloc to be disabled. It also only overrides new/delete.

mjp41 commented 3 months ago

Addresses #116