51 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Jacob Lifshay	5075a43070	WIP adding next_pc	2025-11-04 00:17:21 -08:00
Jacob Lifshay	2363eece7a	add Serialize/Deserialize impls for CpuConfig	2025-11-04 00:17:21 -08:00
Jacob Lifshay	9a8d685664	update Fayalite to 840c5e1895 to get support for PhantomConst accessor type aliases, fork_join, and resettable	2025-11-04 00:16:33 -08:00
Jacob Lifshay	c30bd0737f	add readme	2025-10-24 16:36:31 -07:00
Jacob Lifshay	291ad59b02	update CI to use new fayalite-deps container	2025-10-24 02:54:03 -07:00
Jacob Lifshay	5e8bc3e580	upgrade to Fayalite edcc5927a5f9ebca6 ... as part of this I switched to using Fayalite's UIntInRangeInclusive instead of using a custom Length struct	2025-10-24 02:53:35 -07:00
Jacob Lifshay	0e7a518bd0	switch to use server's new actions org	2025-10-10 00:03:53 -07:00
Jacob Lifshay	00ddd602c5	format code	2025-08-24 19:08:58 -07:00
Jacob Lifshay	b969249f5f	switch to edition 2024	2025-08-24 19:07:53 -07:00
Jacob Lifshay	aa50ae543e	upgrade to rust 1.89.0	2025-08-24 19:06:01 -07:00
Jacob Lifshay	7de7d5435a	make forgejo actions actually run	2025-08-24 18:50:33 -07:00
Jacob Lifshay	60341e22af	WIP: add ArrayVec	2025-03-04 00:20:33 -08:00
Jacob Lifshay	2cfd54ba88	update fayalite to latest git	2025-03-03 22:00:11 -08:00
Jacob Lifshay	ca3bcd7df2	switch CI to use mirrors	2025-03-02 18:04:09 -08:00
Jacob Lifshay	518284685f	UnitMOp now has L2RegisterFileMOp after renaming and instead has MoveRegMOp before renaming	2025-02-28 17:45:46 -08:00
Jacob Lifshay	6c91d1b0b0	start adding ROB	2025-02-27 18:22:01 -08:00
Jacob Lifshay	4ff75313e7	add helper functions for creating instructions	2025-02-23 20:51:44 -08:00
Jacob Lifshay	5b15f4a6b4	runs instructions that read other instructions' outputs	2025-02-23 19:51:45 -08:00
Jacob Lifshay	3bd5c77a3f	unit_base is basically finished, implemented AddSub[I], didn't check any tests yet	2025-02-20 20:24:14 -08:00
Jacob Lifshay	3f6e5cc600	WIP implementing unit_base	2025-02-19 23:54:41 -08:00
Jacob Lifshay	ece788dda3	update fayalite dependency	2025-02-16 20:59:02 -08:00
Jacob Lifshay	2b7e7e4946	WIP adding unit input/output values and insn tracking	2025-02-13 20:55:43 -08:00
Jacob Lifshay	d7818d889c	update fayalite dependency	2025-02-13 18:52:58 -08:00
Jacob Lifshay	1084278f34	reg_alloc: add writes to rename table	2025-02-11 19:19:06 -08:00
Jacob Lifshay	64566f718f	update fayalite to latest git	2025-02-11 16:05:14 -08:00
Jacob Lifshay	294e979848	tests/reg_alloc: remove simulator debug output	2025-02-06 21:31:05 -08:00
Jacob Lifshay	7efcd872b5	working on reg_alloc	2025-02-06 21:28:30 -08:00
Jacob Lifshay	88eff5952b	working on reg_alloc -- wire up free_regs_tracker.alloc_out	2025-01-15 19:47:00 -08:00
Jacob Lifshay	9781f1f4c5	update to latest fayalite to include bug fix libre-chip/fayalite#16	2025-01-15 19:14:31 -08:00
Jacob Lifshay	5f7766777a	working on reg_alloc -- selected_unit_nums should be correct now	2025-01-12 22:12:58 -08:00
Jacob Lifshay	89717f8916	update to latest version of fayalite	2025-01-09 23:36:23 -08:00
Jacob Lifshay	24a8b4b71b	update fayalite to latest git	2025-01-09 19:39:25 -08:00
Jacob Lifshay	12481cfab3	start debugging reg_alloc with simulator	2024-12-20 00:28:22 -08:00
Jacob Lifshay	bf34dee043	update to fayalite commit 9b06019bf54303e51989484a0cfa1641b0e9d543	2024-12-18 22:36:08 -08:00
Jacob Lifshay	1761d7094e	update to latest fayalite and match rust version	2024-12-15 20:32:27 -08:00
Jacob Lifshay	b51109f4f6	WIP implementing reg_alloc	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	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	2024-10-16 18:45:18 -07:00
Jacob Lifshay	e5f59939cc	remove now-unnecessary memory-based parallelism limiting	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	2024-10-15 02:39:56 -07:00
Jacob Lifshay	cb5855589f	WIP adding register allocator	2024-10-14 21:20:42 -07:00
Jacob Lifshay	d0aa86e335	add forgejo CI	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