CakeML / CakeML/cakeml

Update Eval setup so it works with W^X (and Arm8)

Open
#998 3 comments 0 reactions 0 assignees View on GitHub
Dominant language
Standard ML
Stars
1.2k
Forks
104
Avg merge
2d 21h
Merged PRs (30d)
16

Description

It should be possible to run `eval` on ARMv8 on non-Mac machines at least.

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.