3095 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
chriseth	672a8438d7	Add mem_align.	2023-02-07 16:09:29 +01:00
chriseth	cbf39b6820	Merge pull request #18 from chriseth/connection ... Connection identities.	2023-02-07 15:44:18 +01:00
chriseth	5e685227b9	Connection identities.	2023-02-07 15:40:13 +01:00
chriseth	e49131b426	Merge pull request #16 from chriseth/mem_work ... Make mem work.	2023-02-07 15:31:38 +01:00
chriseth	54235c9009	Make mem work.	2023-02-07 14:27:19 +01:00
chriseth	681381154e	Improve error message.	2023-02-07 14:19:12 +01:00
chriseth	dd76c0fa0f	Merge pull request #14 from chriseth/ignore_idq ... Ignore specific values for idq in tests.	2023-02-07 01:04:01 +01:00
chriseth	3dc32336ad	Ignore specific values for idq in tests.	2023-02-07 01:01:41 +01:00
chriseth	52a59930fc	Merge pull request #13 from chriseth/fixes_for_binary ... Fixes to make binary work	2023-02-07 00:23:54 +01:00
chriseth	d470135eaf	Fixes to make binary work	2023-02-07 00:00:07 +01:00
chriseth	73cb607504	Merge pull request #12 from chriseth/test_output ... Test json output.	2023-02-06 23:42:37 +01:00
chriseth	eea04b5416	Test json output.	2023-02-06 23:38:16 +01:00
chriseth	ad31ca473d	Merge pull request #10 from chriseth/more_export ... More export features	2023-02-06 22:58:24 +01:00
chriseth	7077a9ffbb	Include source references.	2023-02-06 21:03:50 +01:00
chriseth	29ee10dd54	Degree reduction.	2023-02-06 21:03:35 +01:00
chriseth	9a6290e9f8	Correctly compute IDs.	2023-02-06 21:03:21 +01:00
chriseth	958e559f91	Sort expressions according to source order.	2023-02-06 21:00:52 +01:00
chriseth	cde7f09260	Merge pull request #9 from chriseth/unary ... Unary operators	2023-02-05 21:51:59 +01:00
chriseth	948a406402	Merge pull request #5 from chriseth/pol_defs ... Intermediate poly definitions.	2023-02-05 21:51:29 +01:00
chriseth	4b0491da38	Unary operators	2023-02-05 21:50:30 +01:00
chriseth	aef17405c5	Intermediate poly definitions.	2023-02-04 16:19:59 +01:00
chriseth	b9d7912d1d	Merge pull request #4 from chriseth/json_export ... Some analysis and partial json export.	2023-02-03 14:34:57 +01:00
chriseth	bf87136cc3	Some analysis and partial json export.	2023-02-03 14:28:53 +01:00
chriseth	370ca14e21	Merge pull request #3 from chriseth/add_workflow ... Add workflow.	2023-01-30 23:21:02 +01:00
chriseth	955914ecdb	Ignore clone errors for grammar.	2023-01-30 23:17:47 +01:00
chriseth	42458f8241	Add workflow.	2023-01-30 23:06:37 +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
chriseth	6e3c843aed	Merge pull request #1 from leonardoalt/pre_post_conditions ... pre and post conditions	2023-01-24 14:44:46 +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	54a7900a39	Compiler stub.	2023-01-23 15:39:27 +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	a691f483b6	Unary operators.	2023-01-06 23:38:40 +01:00
chriseth	72d857da85	Polynomial name lists.	2023-01-06 20:58:24 +01:00
chriseth	76a8af7431	Plookups and identities.	2023-01-06 20:51:09 +01:00
chriseth	07e87d7d83	Parse expressions.	2023-01-06 12:48:59 +01:00
chriseth	406ad646e7	Parse global pil file.	2023-01-06 12:10:27 +01:00
chriseth	b0d04b37a8	Parse include statemnts.	2023-01-06 11:07:21 +01:00
chriseth	d664d5bc59	Add basic grammar.	2023-01-06 10:02:24 +01:00
chriseth	4c62f49709	Initial commit	2023-01-06 09:56:44 +01:00