ASLp Web

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

Latest: build 6 (offline lifter) (diff of aslp from 5, diff of aslp_web from 5) 2025-02-07 14:56:18+1000

All versions

build 6 (offline lifter) (diff of aslp from 5, diff of aslp_web from 5) 2025-02-07 14:56:18+1000
build 5 (assembly input/output) (diff of aslp from 4, diff of aslp_web from 4) 2024-09-04 17:09:59+1000
build 4 (web worker) (diff of aslp from 3, diff of aslp_web from 3) 2024-07-06 21:57:54+1000
build 3 (ocaml 5) (diff of aslp from 2, diff of aslp_web from 2) 2024-07-03 14:44:14+1000
build 2 (evaluation environment caching) (diff of aslp from 1, diff of aslp_web 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.