GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-22 14:27:51 +03:00
Code Issues Projects Releases Wiki Activity
2,229 Commits 49 Branches 0 Tags 13 MiB
master
Commit Graph

1 Commits

Author SHA1 Message Date
Tristan Ravitch
1fa9b86b26 Rename macaw-asl to macaw-aarch32 
This is more descriptive, especially since we will eventually have
macaw-aarch32 (also derived from the ASL specs)
 2020-04-05 15:16:39 -07:00