Commit Graph

7 Commits

Author SHA1 Message Date
James Harris
8758a99662
Restore ERRASIBLE in WAITLIST.agc 2018-07-24 10:37:55 +01:00
cai
27e2acf88a Proof DOWNLINK_LISTS (#202) (#341)
* Proof DOWNLINK_LISTS

* typo about ERASABLE

* keep `ERRASIBLE`
2018-06-09 11:03:11 +01:00
cai
95475a353e Proof WAITLIST (#274) (#330)
Proof WAITLIST (#274)
2018-05-28 03:03:11 +01:00
James Harris
4f3a1d4374 Trim whitespace 2016-12-28 16:11:25 +00:00
Dhananjoy Biswas
77c9154a1e Fix typo (#169) 2016-08-14 16:09:15 +01:00
Alhadis
5f9529f4d1 Merge branch 'master' into rename 2016-07-13 18:02:59 +10:00
Alhadis
f1f0e58e2a Reassign AGC file extension to assembly files 2016-07-13 02:49:43 +10:00