232 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Jacob Lifshay	07725ab489	switch interning to use HashTable rather than HashMap	2025-04-09 19:30:02 -07:00
Jacob Lifshay	36f1b9bbb6	add derive(Debug) to all types that are interned	2025-04-09 19:24:08 -07:00
Jacob Lifshay	9a1b047d2f	change TypeIdMap to not use any unsafe code	2025-04-09 16:25:56 -07:00
Jacob Lifshay	5967e812a2	fix [SU]IntValue's PartialEq for interning ... different widths must make values compare not equal otherwise interning will e.g. substitute a 0x0_u8 for a 0x0_u2	2025-04-08 21:57:56 -07:00
Jacob Lifshay	001fd31451	add UIntInRange[Inclusive][Type]	2025-04-07 18:27:54 -07:00
Jacob Lifshay	57aae7b7fb	implement [de]serializing BaseTypes, SimValues, and support PhantomConst<T> in #[hdl] struct S<T>	2025-04-04 01:04:26 -07:00
Jacob Lifshay	6929352be7	re-export bitvec and add types useful for simulation to the prelude	2025-04-03 16:01:39 -07:00
Jacob Lifshay	62058dc141	fix cargo doc warnings -- convert urls to auto links	2025-04-01 22:22:54 -07:00
Jacob Lifshay	c4b6a0fee6	add support for #[hdl(sim)] enum_ty.Variant(value) and #[hdl(sim)] EnumTy::Variant(value) and non-sim variants too	2025-04-01 22:16:47 -07:00
Jacob Lifshay	9092e45447	fix #[hdl(sim)] match on enums	2025-03-30 01:25:07 -07:00
Jacob Lifshay	a40eaaa2da	expand SimValue support	2025-03-30 00:55:38 -07:00
Jacob Lifshay	5028401a5a	change SimValue to contain and deref to a value and not just contain bits	2025-03-27 23:44:36 -07:00
Jacob Lifshay	e0f978fbb6	silence unused m variable warning in #[hdl_module] with an empty body.	2025-03-27 23:17:28 -07:00
Jacob Lifshay	ec3a61513b	simulator read/write types must be passive	2025-03-27 23:03:44 -07:00
Jacob Lifshay	fdc73b5f3b	add ripple counter test to test simulating alternating circuits and extern modules	2025-03-25 18:56:26 -07:00
Jacob Lifshay	a115585d5a	simulator: allow external module generators to wait for value changes and/or clock edges	2025-03-25 18:26:48 -07:00
Jacob Lifshay	ab9ff4f2db	simplify setting an extern module simulation	2025-03-21 17:08:29 -07:00
Jacob Lifshay	d1bd176b28	implement simulation of extern modules	2025-03-21 01:47:14 -07:00
Jacob Lifshay	920d8d875f	add some missing #[track_caller]	2025-03-19 17:10:51 -07:00
Jacob Lifshay	d453755bb2	add ExprPartialEq/ExprPartialOrd impls for PhantomConst	2025-03-10 19:40:03 -07:00
Jacob Lifshay	450e1004b6	fix using fayalite as a dependency	2025-03-09 23:14:14 -07:00
Jacob Lifshay	c0c5b550bc	add PhantomConst	2025-03-09 21:03:47 -07:00
Jacob Lifshay	2fa0ea6192	make FillInDefaultedGenerics work with Sizes and not just Types	2025-03-09 20:59:21 -07:00
Jacob Lifshay	bd75fdfefd	add efficient prefix-sums and reductions	2025-03-02 23:04:17 -08:00
Jacob Lifshay	50c86e18dc	add Expr<ArrayType<T, Len>>: IntoIterator and Expr<Array<T>>: FromIterator<T>	2025-03-02 18:02:34 -08:00
Jacob Lifshay	60734cc9d1	switch CI to use mirrors	2025-03-02 17:43:29 -08:00
Jacob Lifshay	3458c21f44	add #[hdl(cmp_eq)] to implement HdlPartialEq automatically	2025-02-16 20:48:16 -08:00
Jacob Lifshay	43797db36e	sort custom keywords	2025-02-16 20:46:54 -08:00
Jacob Lifshay	cdd84953d0	support unknown trait bounds in type parameters	2025-02-13 18:35:30 -08:00
Jacob Lifshay	86a1bb46be	add #[hdl] let destructuring and, while at it, tuple patterns	2025-02-10 22:49:41 -08:00
Jacob Lifshay	209d5b5fe1	fix broken doc links	2025-02-10 22:49:16 -08:00
Jacob Lifshay	d4ea826051	sim: fix "label address not set" bug when the last Assignment is conditional	2025-01-15 19:04:40 -08:00
Jacob Lifshay	404a2ee043	tests/sim: add test_array_rw	2025-01-12 21:38:59 -08:00
Jacob Lifshay	e3a2ccd41c	properly handle duplicate names in vcd	2025-01-09 22:52:22 -08:00
Cesar Strauss	3771cea78e	Gather the FIFO debug ports in a bundle	2024-12-29 13:17:24 -03:00
Cesar Strauss	dcf865caec	Add assertions and debug ports in order for the FIFO to pass induction ... As some proofs involving memories, it is necessary to add more ports to the queue interface, to sync state. These changes are predicated on the test environment, so normal use is not affected. Since some speedup is achieved, use the saved time to test with a deeper FIFO.	2024-12-29 13:12:58 -03:00
Cesar Strauss	31d01046a8	Initial queue formal proof based on one-entry FIFO equivalence ... For now, only check that the basic properties work in bounded model check mode, leave the induction proof for later. Partially replace the previously existing proof. Remove earlier assumptions and bounds that don't apply for this proof. Use parameterized types instead of hard-coded types.	2024-12-29 13:04:01 -03:00
Jacob Lifshay	c16726cee6	fix #[hdl]/#[hdl_module] attributes getting the wrong hygiene when processing #[cfg]s	2024-12-29 00:48:15 -08:00
Jacob Lifshay	b63676d0ca	add test for cfgs	2024-12-28 23:39:50 -08:00
Jacob Lifshay	7005fa3330	implement handling #[cfg] and #[cfg_attr] in proc macro inputs	2024-12-28 23:39:08 -08:00
Jacob Lifshay	2ab8428062	upgrade syn version	2024-12-28 23:39:08 -08:00
Jacob Lifshay	9b06019bf5	make sim::Compiler not print things to stdout unless you ask for it	2024-12-18 21:15:09 -08:00
Jacob Lifshay	36bad52978	sim: fix sim.write to struct	2024-12-18 20:50:50 -08:00
Jacob Lifshay	21c73051ec	sim: add SimValue and reading/writing more than just a scalar	2024-12-18 01:39:35 -08:00
Jacob Lifshay	304d8da0e8	Merge remote-tracking branch 'origin/master' into adding-simulator	2024-12-13 15:06:45 -08:00
Jacob Lifshay	2af38de900	add more memory tests	2024-12-13 15:04:48 -08:00
Jacob Lifshay	c756aeec70	tests/sim: add test for memory rw port	2024-12-12 20:50:41 -08:00
Jacob Lifshay	903ca1bf30	sim: simple memory test works!	2024-12-12 19:47:57 -08:00
Jacob Lifshay	8d030ac65d	sim/interpreter: add addresses to instruction listing	2024-12-12 16:25:38 -08:00
Jacob Lifshay	562c479b62	sim/interpreter: fix StatePartLayout name in debug output	2024-12-12 15:06:17 -08:00