libre-chip/cpu

Author	SHA1	Message	Date
Jacob Lifshay	b51109f4f6	WIP implementing reg_alloc All checks were successful / deps (push) Successful in 18s Details / test (push) Successful in 25m30s Details	2024-11-05 17:34:31 -08:00
Jacob Lifshay	1a72425156	update fayalite dependency	2024-11-05 17:33:24 -08:00
Jacob Lifshay	265b5a9cec	add repository to cache key All checks were successful / deps (push) Successful in 11m27s Details / test (push) Successful in 25m54s Details	2024-10-30 20:57:17 -07:00
Jacob Lifshay	4c94f5d91a	split deps out into separate job with cache and build z3 4.13.3 All checks were successful / deps (push) Successful in 18s Details / test (push) Successful in 25m38s Details	2024-10-16 18:45:18 -07:00
Jacob Lifshay	e5f59939cc	remove now-unnecessary memory-based parallelism limiting Some checks are pending / test (push) Has started running Details	2024-10-15 23:51:41 -07:00
Jacob Lifshay	a305ad51b2	reduce formal proof depth to avoid z3 eating all our memory	2024-10-15 23:50:51 -07:00
Jacob Lifshay	b54e40561f	limit parallelism based on available memory too	2024-10-15 21:56:53 -07:00
Jacob Lifshay	aaa2cb193e	add formal proof for unit_free_regs_tracker Some checks failed / test (push) Failing after 3h11m43s Details	2024-10-15 02:39:56 -07:00
Jacob Lifshay	cb5855589f	WIP adding register allocator All checks were successful / test (push) Successful in 46m24s Details	2024-10-14 21:20:42 -07:00
Jacob Lifshay	d0aa86e335	add forgejo CI All checks were successful / test (push) Successful in 46m49s Details	2024-10-14 16:30:55 -07:00
Jacob Lifshay	d7f62737f2	add license headers	2024-10-14 16:29:20 -07:00
Jacob Lifshay	30c02e2b98	add scripts/check-copyright.sh	2024-10-14 16:25:42 -07:00
Jacob Lifshay	f65fc1d616	add more register stuff	2024-10-13 01:41:45 -07:00
Jacob Lifshay	1a44fcc609	update fayalite dependency	2024-10-11 17:34:12 -07:00
Jacob Lifshay	4c3dd128a3	WIP: adding micro ops	2024-10-10 22:57:11 -07:00
Jacob Lifshay	0f4f067996	start adding cpu data types	2024-10-08 20:22:15 -07:00

16 commits