fayalite

Author	SHA1	Message	Date
Jacob Lifshay	4422157db8	WIP adding enums to simulator All checks were successful / deps (push) Successful in 23s Details / test (push) Successful in 5m17s Details / deps (pull_request) Successful in 13s Details / test (pull_request) Successful in 5m19s Details	2024-12-02 21:06:23 -08:00
Jacob Lifshay	d3f52292a1	test doc tests in CI All checks were successful / deps (push) Successful in 16s Details / test (push) Successful in 5m16s Details / deps (pull_request) Successful in 13s Details / test (pull_request) Successful in 5m18s Details	2024-12-01 20:21:26 -08:00
Jacob Lifshay	fd45465d35	sim: add support for registers All checks were successful / deps (push) Successful in 19s Details / test (push) Successful in 5m1s Details / deps (pull_request) Successful in 14s Details / test (pull_request) Successful in 5m0s Details	2024-12-01 20:14:13 -08:00
Jacob Lifshay	5e0548db26	vcd: single bit signals have no spaces in their value changes	2024-12-01 20:12:43 -08:00
Jacob Lifshay	12b3ba57f1	add some ExprCastTo supertraits to ResetType to make generic code easier	2024-12-01 20:10:25 -08:00
Jacob Lifshay	965fe53077	deduce_resets: show more debugging info on assertion failure	2024-12-01 20:09:17 -08:00
Jacob Lifshay	3abba7f9eb	simulating circuits with deduced resets works All checks were successful / deps (push) Successful in 15s Details / test (push) Successful in 4m58s Details / deps (pull_request) Successful in 14s Details / test (pull_request) Successful in 4m58s Details	2024-11-27 23:52:07 -08:00
Jacob Lifshay	6446b71afd	deduce_resets works! All checks were successful / deps (push) Successful in 18s Details / test (push) Successful in 4m56s Details / deps (pull_request) Successful in 13s Details / test (pull_request) Successful in 5m0s Details	2024-11-27 23:24:11 -08:00
Jacob Lifshay	d36cf92d7f	make ToReset generic over the reset type	2024-11-27 23:19:55 -08:00
Jacob Lifshay	d744d85c66	working on deduce_resets All checks were successful / deps (push) Successful in 16s Details / test (push) Successful in 4m57s Details / deps (pull_request) Successful in 13s Details / test (pull_request) Successful in 5m3s Details	2024-11-27 01:31:18 -08:00
Jacob Lifshay	358cdd10c8	add more expr casts	2024-11-27 01:30:28 -08:00
Jacob Lifshay	9128a84284	Merge remote-tracking branch 'origin/master' into adding-simulator All checks were successful / deps (push) Successful in 15s Details / test (push) Successful in 4m55s Details / deps (pull_request) Successful in 14s Details / test (pull_request) Successful in 4m58s Details	2024-11-26 21:28:22 -08:00
Jacob Lifshay	546010739a	working on deduce_resets Some checks failed / deps (push) Successful in 15s Details / test (push) Has been cancelled Details / deps (pull_request) Successful in 13s Details / test (pull_request) Successful in 5m1s Details	2024-11-26 21:26:56 -08:00
Jacob Lifshay	9b5f1218fd	make ClockDomain and Reg generic over reset type All checks were successful / deps (push) Successful in 15s Details / test (push) Successful in 4m57s Details / deps (pull_request) Successful in 13s Details / test (pull_request) Successful in 4m55s Details	2024-11-26 20:47:03 -08:00
Jacob Lifshay	89d84551f8	add ResetType to the list of recognized type bounds	2024-11-26 18:52:03 -08:00
Jacob Lifshay	c45624e3c2	Fix SInt::for_value not accounting for sign bit for positive values All checks were successful / deps (pull_request) Successful in 14s Details / test (pull_request) Successful in 4m42s Details / deps (push) Successful in 13s Details / test (push) Successful in 4m39s Details Fixes: #4	2024-11-26 16:26:29 -08:00
Jacob Lifshay	7851bf545c	working on deduce_resets.rs All checks were successful / deps (push) Successful in 19s Details / test (push) Successful in 4m53s Details / deps (pull_request) Successful in 13s Details / test (pull_request) Successful in 4m52s Details	2024-11-26 00:07:11 -08:00
Jacob Lifshay	3e3da53bd2	working on deduce_resets All checks were successful / deps (push) Successful in 16s Details / test (push) Successful in 4m54s Details / deps (pull_request) Successful in 13s Details / test (pull_request) Successful in 4m53s Details	2024-11-25 00:01:02 -08:00
Jacob Lifshay	fa50930ff8	update petgraph dependency to include `UnionFind::new_set()`	2024-11-25 00:00:26 -08:00
Jacob Lifshay	9516fe03a1	increase rust version in CI too All checks were successful / deps (push) Successful in 15s Details / test (push) Successful in 4m57s Details / deps (pull_request) Successful in 14s Details / test (pull_request) Successful in 5m1s Details	2024-11-24 14:46:25 -08:00
Jacob Lifshay	52ab134673	increase rust version to support omitting match arms with uninhabited types Some checks failed / deps (push) Successful in 17s Details / test (push) Failing after 1m18s Details / deps (pull_request) Successful in 13s Details / test (pull_request) Failing after 1m17s Details	2024-11-24 14:41:39 -08:00
Jacob Lifshay	698b8adc23	working on deduce_resets pass Some checks failed / deps (push) Successful in 16s Details / test (push) Failing after 1m30s Details / deps (pull_request) Successful in 13s Details / test (pull_request) Failing after 1m32s Details	2024-11-24 14:39:32 -08:00
Jacob Lifshay	59be3bd645	WIP working on implementing deduce_resets pass Some checks failed / deps (push) Successful in 18s Details / test (push) Failing after 1m31s Details / deps (pull_request) Successful in 13s Details / test (pull_request) Failing after 1m31s Details	2024-11-24 03:44:31 -08:00
Jacob Lifshay	913baa37e9	WIP adding deduce_resets pass All checks were successful / deps (push) Successful in 19s Details / test (push) Successful in 4m46s Details / deps (pull_request) Successful in 13s Details / test (pull_request) Successful in 4m45s Details	2024-11-22 16:07:18 -08:00
Jacob Lifshay	11ddbc43c7	writing VCD for combinatorial circuits works! All checks were successful / deps (push) Successful in 15s Details / test (push) Successful in 4m46s Details / deps (pull_request) Successful in 13s Details / test (pull_request) Successful in 4m45s Details	2024-11-20 22:53:54 -08:00
Jacob Lifshay	c4b5d00419	WIP adding VCD output	2024-11-20 22:53:54 -08:00
Jacob Lifshay	09aa9fbc78	wire up simulator trace writing interface	2024-11-20 22:53:54 -08:00
Jacob Lifshay	288a6b71b9	WIP adding VCD output	2024-11-20 22:53:54 -08:00
Jacob Lifshay	0095570f19	simple combinatorial simulation works!	2024-11-20 22:53:54 -08:00
Jacob Lifshay	f54e55a143	Simulation::settle_step() works for simple modules	2024-11-20 22:53:54 -08:00
Jacob Lifshay	a6e40839ac	simulator WIP: use petgraph for topological sort over assignments	2024-11-20 22:53:54 -08:00
Jacob Lifshay	3106a6fff6	working on simulator...	2024-11-20 22:53:54 -08:00
Jacob Lifshay	f338f37d3e	working on simulator	2024-11-20 22:53:54 -08:00
Jacob Lifshay	277d3e0d4d	working on simulator	2024-11-20 22:53:54 -08:00
Jacob Lifshay	b288d6f8f2	add missing copyright headers	2024-11-20 22:53:54 -08:00
Jacob Lifshay	479d59b287	WIP implementing simulator	2024-11-20 22:53:54 -08:00
Jacob Lifshay	6f904148c4	WIP adding simulator	2024-11-20 22:53:54 -08:00
Jacob Lifshay	3ea0d98924	always write formal cache json All checks were successful / deps (push) Successful in 15s Details / test (push) Successful in 4m37s Details	2024-11-20 22:51:40 -08:00
Cesar Strauss	c1f1a8b749	Add test module exercising formal verification. All checks were successful / deps (pull_request) Successful in 15s Details / test (pull_request) Successful in 4m47s Details / deps (push) Successful in 13s Details / test (push) Successful in 5m16s Details	2024-11-20 18:29:39 -03:00
Jacob Lifshay	3d5d8c54b6	add repository to cache key All checks were successful / deps (push) Successful in 10m39s Details / test (push) Successful in 5m14s Details	2024-10-30 20:55:02 -07:00
Jacob Lifshay	ee15fd2b94	support #[hdl] type aliases All checks were successful / deps (push) Successful in 11m28s Details / test (push) Successful in 4m40s Details	2024-10-30 20:47:10 -07:00
Jacob Lifshay	20cf0abbcc	fix using #[hdl] types like S<{ 1 + 2 }>	2024-10-30 20:46:11 -07:00
Jacob Lifshay	5bd0de48b7	change to version 0.2.1	2024-10-30 19:36:05 -07:00
Jacob Lifshay	0c9c48a066	split out deps into separate workflow with better caching using deps.yml from cpu.git All checks were successful / deps (push) Successful in 21s Details / test (push) Successful in 19m32s Details	2024-10-17 21:05:18 -07:00
Jacob Lifshay	cb17913004	limit sby to one thread each since it seems not to respect job count in parallel mode All checks were successful / test (push) Successful in 46m32s Details	2024-10-15 21:32:38 -07:00
Jacob Lifshay	42effd1132	switch to using a make job server for managing test parallelism Some checks failed / test (push) Failing after 39m16s Details	2024-10-15 20:32:33 -07:00
Jacob Lifshay	3d0f95cfe5	formal: add workaround for wires disappearing because yosys optimizes them out All checks were successful / test (push) Successful in 39m13s Details	2024-10-15 01:48:48 -07:00
Jacob Lifshay	3939ce2360	add Bundle and Enum to prelude All checks were successful / test (push) Successful in 39m33s Details	2024-10-14 17:47:58 -07:00
Jacob Lifshay	d0229fbcfb	get #[hdl] struct S<A: KnownSize, B: KnownSize> to work All checks were successful / test (push) Successful in 39m2s Details	2024-10-11 17:30:49 -07:00
Jacob Lifshay	4909724995	add more thorough checks that bounds are properly handled on #[hdl] structs All checks were successful / test (push) Successful in 37m37s Details	2024-10-10 23:34:46 -07:00

1 2 3 4

165 commits