ASLp Web

On this website, you can use the ASLp partial evaluator within your browser to retrieve semantics for ARM instructions.

Latest: build 5 (assembly input/output) (diff from 4) 2024-09-04 17:09:59+1000

All versions

build 5 (assembly input/output) (diff from 4) 2024-09-04 17:09:59+1000
build 4 (web worker) (diff from 3) 2024-07-06 21:57:54+1000
build 3 (ocaml 5) (diff from 2) 2024-07-03 14:44:14+1000
build 2 (evaluation environment caching) (diff from 1) 2024-06-28 16:25:48+1000
build 1 (initial build) 2024-06-25 16:14:52+1000

The code for this web interface can be found on GitHub.