5 Commits

Author	SHA1	Message	Date
Hans Svensson	23ccce4c22	Use ?SHL and ?SHR for 'bsl' and 'bsr'	2019-01-22 21:53:30 +01:00
Ulf Norell	5fd24fec86	Add more hash primops	2019-01-22 09:09:37 +01:00
Hans Svensson	d8fff8f20f	Add Crypto.ecverify	2019-01-21 14:20:15 +01:00
Thomas Arts	b8f4a6b67a	Get rid of lager in the compiler	2019-01-07 19:54:53 +01:00
Robert Virding	d4d02fd576	First test work commit, don't touch	2018-12-22 01:23:40 +01:00