164 Commits

Author	SHA1	Message	Date
Edward Chen	8c0afa7ffc	need to change how to input arrays	2021-11-04 00:49:39 -04:00
Edward Chen	ec74621ccf	for loop support	2021-11-03 22:12:11 -04:00
Edward Chen	dc0cadc5ee	small changes	2021-10-27 23:20:52 -04:00
Edward Chen	a3e5de40b2	refactoring c_frontend, including signed int and extending arrays to use AllocID	2021-10-25 20:34:31 -04:00
Edward Chen	88b6768798	minor changes to add in typing for integers, address some review comments	2021-10-22 01:32:58 -04:00
Edward Chen	a0d07c5717	array stores and loads work!	2021-10-13 22:09:19 -04:00
Edward Chen	9c20fd55f4	temp	2021-10-08 16:26:33 -04:00
Edward Chen	2b320a6426	decl initialization for array types and need to reverse search ctx to get LOC	2021-10-06 22:11:43 -04:00
Edward Chen	82358e89fd	array sum!	2021-10-03 17:51:23 -04:00
Edward Chen	7af5c69940	ite... doesn't work yet	2021-09-28 20:27:50 -04:00
Edward Chen	a4297bc022	updated testing suite for both zok and c frontends	2021-09-27 19:39:17 -04:00
Edward Chen	5a46a5da8d	updated zok tests and added casting to c frontend	2021-09-24 16:00:34 -04:00
Edward Chen	b654c484d0	adding in boolean and bitwise operations for c frontend	2021-09-20 17:19:18 -04:00
Edward Chen	4a01517ea3	int tests work for c frontendgit add .git add .	2021-09-19 21:05:34 -04:00