15 Commits

Author	SHA1	Message	Date
chriseth	a9cdc0ecda	More text on assembly and rust frontend.	2023-03-24 22:34:27 +01:00
chriseth	1adcc5e082	Allow different terms for pol, constant and commit.	2023-02-15 14:18:28 +01:00
chriseth	387ee636fe	Disclaimer and some changes in asm	2023-02-15 14:02:09 +01:00
chriseth	052c1e5736	Macros	2023-02-14 18:13:07 +01:00
chriseth	bc15a2cfa7	Update README.md	2023-02-09 10:34:59 +01:00
chriseth	b02a569bc7	Immediates for instructions	2023-01-27 16:47:00 +01:00
chriseth	eb9042d5bf	More details for assembly.	2023-01-26 14:22:25 +01:00
Leo Alt	93d4c4f439	pre and post conditions	2023-01-23 19:22:20 +01:00
chriseth	3a5ce18b12	Cross product.	2023-01-23 17:53:54 +01:00
chriseth	1a93b337ca	Array example.	2023-01-23 15:46:50 +01:00
chriseth	f59882c7e4	state machine counters	2023-01-19 11:09:14 +01:00
chriseth	0cb2cb1e03	Save and restore registers.	2023-01-19 09:05:19 +01:00
chriseth	ed29148635	Thoughts about assembly	2023-01-18 15:30:31 +01:00
chriseth	781b684dc4	Add some ideas	2023-01-18 11:08:29 +01:00
chriseth	4c62f49709	Initial commit	2023-01-06 09:56:44 +01:00