Commit Graph

3 Commits

Author SHA1 Message Date
Ignacio
8e64503338 Update vc projects.
Disable RGETC for now.
2020-04-13 18:44:57 -07:00
Ignacio
a671567596 Update nvtt to use icbc library. 2020-04-13 18:01:33 -07:00
Ignacio
9489aed825 Merge changes from The Witness. 2018-02-05 18:55:07 -08:00