search

Frama-C / Frama-C-snapshot

Release snapshots of the Frama-C platform for source code analysis
http://frama-c.com
169 stars 38 forks source link

Add support for aarch64 #33

Open b-pc opened 5 years ago

b-pc commented 5 years ago

Added support for aarch64 and gcc_aarch64 machdeps. ARM v8 CPU are almost everywhere, they should be in Frama-C too !