Commit Graph

7 Commits

Author SHA1 Message Date
Ignacio
fdfbfb2552 Update to latest icbc version. 2020-06-07 20:02:14 -07:00
Ignacio
a671567596 Update nvtt to use icbc library. 2020-04-13 18:01:33 -07:00
Ignacio
5eac5a4859 Experiment with endpoint refinement. Add Rich's encoder, not functional yet. 2020-03-30 10:13:59 -07:00
Ignacio
9489aed825 Merge changes from The Witness. 2018-02-05 18:55:07 -08:00
Ignacio
49677da371 Remove executable property. 2016-02-22 11:54:43 -08:00
Ignacio
c0ad0f4d31 Merge changes from The Witness. 2015-10-28 23:53:08 -07:00
Ignacio
a083337473 Merge changes from The Witness. 2015-03-24 12:14:49 -07:00