Commit graph

Select branches

Hide pull requests

master

runtime-generics

square-brackets-generics-experiment

type-deduction

#10

#11

#12

#13

#14

#15

#16

#17

#18

#19

#2

#20

#21

#22

#23

#24

#25

#26

#27

#28

#29

#3

#30

#31

#32

#33

#5

#7

#8

#9

v0.1.0

v0.2.0

Mono Color

• 668e714dc9
  
  actually test always_zero hasher master Jacob Lifshay 2025-04-09 21:11:09 -07:00
• 88323a8c16
  
  run some tests with always_zero hasher Jacob Lifshay 2025-04-09 21:03:57 -07:00
• 91e1b619e8
  
  switch to petgraph 0.8.1 now that my PR was merged and released to crates.io Jacob Lifshay 2025-04-09 20:48:40 -07:00
• e2d2d4110b
  
  upgrade hashbrown to 0.15.2 Jacob Lifshay 2025-04-09 20:33:21 -07:00
• b1f9706e4e
  
  add custom hasher for testing Jacob Lifshay 2025-04-09 20:24:39 -07:00
• 4eda4366c8
  
  check types in debug mode in impl Debug for Expr, helping to catch bugs Jacob Lifshay 2025-04-09 20:23:19 -07:00
• 122c08d3cf
  
  add fake which for miri Jacob Lifshay 2025-04-09 20:21:43 -07:00
• b08a747e20
  
  switch to using type aliases for HashMap/HashSet to allow easily switching hashers Jacob Lifshay 2025-04-09 20:03:14 -07:00
• e0c9939147
  
  add test that SimValue can't be interned, since its PartialEq may ignore types Jacob Lifshay 2025-04-09 19:55:09 -07:00
• 07725ab489
  
  switch interning to use HashTable rather than HashMap Jacob Lifshay 2025-04-09 19:30:02 -07:00
• 36f1b9bbb6
  
  add derive(Debug) to all types that are interned Jacob Lifshay 2025-04-09 19:19:25 -07:00
• 9a1b047d2f
  
  change TypeIdMap to not use any unsafe code Jacob Lifshay 2025-04-09 16:25:56 -07:00
• 5967e812a2
  
  fix [SU]IntValue's PartialEq for interning Jacob Lifshay 2025-04-08 21:52:47 -07:00
• 001fd31451
  
  add UIntInRange[Inclusive][Type] Jacob Lifshay 2025-04-04 19:05:04 -07:00
• 57aae7b7fb
  
  implement [de]serializing BaseTypes, SimValues, and support PhantomConst<T> in #[hdl] struct S<T> Jacob Lifshay 2025-04-04 01:04:26 -07:00
• 6929352be7
  
  re-export bitvec and add types useful for simulation to the prelude Jacob Lifshay 2025-04-03 15:59:03 -07:00
• 62058dc141
  
  fix cargo doc warnings -- convert urls to auto links Jacob Lifshay 2025-04-01 22:22:54 -07:00
• c4b6a0fee6
  
  add support for #[hdl(sim)] enum_ty.Variant(value) and #[hdl(sim)] EnumTy::Variant(value) and non-sim variants too Jacob Lifshay 2025-04-01 22:05:42 -07:00
• 9092e45447
  
  fix #[hdl(sim)] match on enums Jacob Lifshay 2025-03-30 01:25:07 -07:00
• a40eaaa2da
  
  expand SimValue support Jacob Lifshay 2025-03-30 00:55:38 -07:00
• 5028401a5a
  
  change SimValue to contain and deref to a value and not just contain bits Jacob Lifshay 2025-03-27 23:44:36 -07:00
• e0f978fbb6
  
  silence unused m variable warning in #[hdl_module] with an empty body. Jacob Lifshay 2025-03-27 23:17:28 -07:00
• ec3a61513b
  
  simulator read/write types must be passive Jacob Lifshay 2025-03-27 23:03:44 -07:00
• fdc73b5f3b
  
  add ripple counter test to test simulating alternating circuits and extern modules Jacob Lifshay 2025-03-25 18:53:46 -07:00
• a115585d5a
  
  simulator: allow external module generators to wait for value changes and/or clock edges Jacob Lifshay 2025-03-25 18:26:48 -07:00
• ab9ff4f2db
  
  simplify setting an extern module simulation Jacob Lifshay 2025-03-21 17:08:29 -07:00
• d1bd176b28
  
  implement simulation of extern modules Jacob Lifshay 2025-03-19 17:11:41 -07:00
• 920d8d875f
  
  add some missing #[track_caller] Jacob Lifshay 2025-03-19 17:10:51 -07:00
• d453755bb2
  
  add ExprPartialEq/ExprPartialOrd impls for PhantomConst Jacob Lifshay 2025-03-10 19:40:03 -07:00
• 450e1004b6
  
  fix using fayalite as a dependency Jacob Lifshay 2025-03-09 23:14:14 -07:00
• c0c5b550bc
  
  add PhantomConst Jacob Lifshay 2025-03-09 21:03:47 -07:00
• 2fa0ea6192
  
  make FillInDefaultedGenerics work with Sizes and not just Types Jacob Lifshay 2025-03-09 20:59:21 -07:00
• bd75fdfefd
  
  add efficient prefix-sums and reductions Jacob Lifshay 2025-03-02 23:04:17 -08:00
• 50c86e18dc
  
  add Expr<ArrayType<T, Len>>: IntoIterator and Expr<Array<T>>: FromIterator<T> Jacob Lifshay 2025-03-02 16:11:05 -08:00
• 60734cc9d1
  
  switch CI to use mirrors Jacob Lifshay 2025-03-02 17:43:29 -08:00
• 3458c21f44
  
  add #[hdl(cmp_eq)] to implement HdlPartialEq automatically Jacob Lifshay 2025-02-16 20:48:16 -08:00
• 43797db36e
  
  sort custom keywords Jacob Lifshay 2025-02-16 20:46:54 -08:00
• cdd84953d0
  
  support unknown trait bounds in type parameters Jacob Lifshay 2025-02-13 18:35:30 -08:00
• 86a1bb46be
  
  add #[hdl] let destructuring and, while at it, tuple patterns Jacob Lifshay 2025-02-10 22:49:41 -08:00
• 209d5b5fe1
  
  fix broken doc links Jacob Lifshay 2025-02-10 22:49:16 -08:00
• d4ea826051
  
  sim: fix "label address not set" bug when the last Assignment is conditional Jacob Lifshay 2025-01-15 19:04:40 -08:00
• 404a2ee043
  
  tests/sim: add test_array_rw Jacob Lifshay 2025-01-12 21:36:54 -08:00
• e3a2ccd41c
  
  properly handle duplicate names in vcd Jacob Lifshay 2025-01-09 22:52:22 -08:00
• 3771cea78e
  
  Gather the FIFO debug ports in a bundle Cesar Strauss 2024-12-29 13:17:24 -03:00
• dcf865caec
  
  Add assertions and debug ports in order for the FIFO to pass induction Cesar Strauss 2024-12-29 13:12:58 -03:00
• 31d01046a8
  
  Initial queue formal proof based on one-entry FIFO equivalence Cesar Strauss 2024-12-29 13:04:01 -03:00
• c16726cee6
  
  fix #[hdl]/#[hdl_module] attributes getting the wrong hygiene when processing #[cfg]s Jacob Lifshay 2024-12-29 00:48:15 -08:00
• b63676d0ca
  
  add test for cfgs Jacob Lifshay 2024-12-27 04:01:53 -08:00
• 7005fa3330
  
  implement handling #[cfg] and #[cfg_attr] in proc macro inputs Jacob Lifshay 2024-12-27 04:02:39 -08:00
• 2ab8428062
  
  upgrade syn version Jacob Lifshay 2024-12-28 23:34:46 -08:00
• 9b06019bf5
  
  make sim::Compiler not print things to stdout unless you ask for it Jacob Lifshay 2024-12-18 21:15:09 -08:00
• 36bad52978
  
  sim: fix sim.write to struct Jacob Lifshay 2024-12-18 20:50:50 -08:00
• 21c73051ec
  
  sim: add SimValue and reading/writing more than just a scalar Jacob Lifshay 2024-12-18 01:39:35 -08:00
• 304d8da0e8
  
  Merge remote-tracking branch 'origin/master' into adding-simulator Jacob Lifshay 2024-12-13 15:06:45 -08:00
• 2af38de900
  
  add more memory tests Jacob Lifshay 2024-12-13 15:04:48 -08:00
• c756aeec70
  
  tests/sim: add test for memory rw port Jacob Lifshay 2024-12-12 20:50:41 -08:00
• 903ca1bf30
  
  sim: simple memory test works! Jacob Lifshay 2024-12-12 19:47:57 -08:00
• 8d030ac65d
  
  sim/interpreter: add addresses to instruction listing Jacob Lifshay 2024-12-12 16:25:38 -08:00
• 562c479b62
  
  sim/interpreter: fix StatePartLayout name in debug output Jacob Lifshay 2024-12-12 15:06:17 -08:00
• 393f78a14d
  
  sim: add WIP memory test Jacob Lifshay 2024-12-11 23:28:15 -08:00
• 8616ee4737
  
  tests/sim: test_enums works! Jacob Lifshay 2024-12-11 00:01:04 -08:00
• 5087f16099
  
  sim: fix assignments graph by properly including conditions as assignment inputs Jacob Lifshay 2024-12-11 00:00:21 -08:00
• 6b31e6d515
  
  sim: add .dot output for Assignments graph for debugging Jacob Lifshay 2024-12-10 23:40:33 -08:00
• 564ccb30bc
  
  sim/vcd: fix variable identifiers to follow verilog rules Jacob Lifshay 2024-12-10 23:39:17 -08:00
• ca759168ff
  
  tests/sim: add WIP test for enums Jacob Lifshay 2024-12-10 23:37:26 -08:00
• e4cf66adf8
  
  sim: implement memories, still needs testing Jacob Lifshay 2024-12-09 23:03:01 -08:00
• cd0dd7b7ee
  
  change memory write latency to NonZeroUsize to match read latency being usize Jacob Lifshay 2024-12-09 23:01:40 -08:00
• 2e7d685dc7 add module exercising formal verification of memories Cesar Strauss 2024-12-08 15:25:21 -03:00
• 9654167ca3
  
  sim: WIP working on memory Jacob Lifshay 2024-12-06 15:53:34 -08:00
• 3ed7827485
  
  sim: WIP adding memory support Jacob Lifshay 2024-12-05 21:35:23 -08:00
• e504cfebfe
  
  add BoolOrIntType::copy_bits_from_bigint_wrapping and take BigInt arguments by reference Jacob Lifshay 2024-12-05 20:27:50 -08:00
• 9f42cab471
  
  change to version 0.3.0 for breaking change Jacob Lifshay 2024-12-05 20:26:28 -08:00
• 259bee39c2
  
  tests/sim: split expected output text into separate files Jacob Lifshay 2024-12-05 18:15:38 -08:00
• 643816d5b5
  
  vcd: handle enums with fields Jacob Lifshay 2024-12-04 21:03:29 -08:00
• 42afd2da0e
  
  sim: implement enums (except for connecting unequal enum types) Jacob Lifshay 2024-12-04 20:58:39 -08:00
• 15bc304bb6
  
  impl ToExpr for TargetBase Jacob Lifshay 2024-12-04 20:57:44 -08:00
• 4422157db8
  
  WIP adding enums to simulator Jacob Lifshay 2024-12-02 21:06:23 -08:00
• d3f52292a1
  
  test doc tests in CI Jacob Lifshay 2024-12-01 20:21:26 -08:00
• fd45465d35
  
  sim: add support for registers Jacob Lifshay 2024-12-01 20:14:13 -08:00
• 5e0548db26
  
  vcd: single bit signals have no spaces in their value changes Jacob Lifshay 2024-12-01 20:12:43 -08:00
• 12b3ba57f1
  
  add some ExprCastTo supertraits to ResetType to make generic code easier Jacob Lifshay 2024-12-01 20:10:25 -08:00
• 965fe53077
  
  deduce_resets: show more debugging info on assertion failure Jacob Lifshay 2024-12-01 20:08:43 -08:00
• 3abba7f9eb
  
  simulating circuits with deduced resets works Jacob Lifshay 2024-11-27 23:52:07 -08:00
• 6446b71afd
  
  deduce_resets works! Jacob Lifshay 2024-11-27 23:20:22 -08:00
• d36cf92d7f
  
  make ToReset generic over the reset type Jacob Lifshay 2024-11-27 23:19:55 -08:00
• d744d85c66
  
  working on deduce_resets Jacob Lifshay 2024-11-27 01:31:18 -08:00
• 358cdd10c8
  
  add more expr casts Jacob Lifshay 2024-11-27 01:30:28 -08:00
• 9128a84284
  
  Merge remote-tracking branch 'origin/master' into adding-simulator Jacob Lifshay 2024-11-26 21:28:22 -08:00
• 546010739a
  
  working on deduce_resets Jacob Lifshay 2024-11-26 21:26:56 -08:00
• 9b5f1218fd
  
  make ClockDomain and Reg generic over reset type Jacob Lifshay 2024-11-26 20:47:03 -08:00
• 89d84551f8
  
  add ResetType to the list of recognized type bounds Jacob Lifshay 2024-11-26 18:52:03 -08:00
• c45624e3c2
  
  Fix SInt::for_value not accounting for sign bit for positive values Jacob Lifshay 2024-11-26 16:26:29 -08:00
• 7851bf545c
  
  working on deduce_resets.rs Jacob Lifshay 2024-11-26 00:07:11 -08:00
• 3e3da53bd2
  
  working on deduce_resets Jacob Lifshay 2024-11-25 00:01:02 -08:00
• fa50930ff8
  
  update petgraph dependency to include UnionFind::new_set() Jacob Lifshay 2024-11-25 00:00:26 -08:00
• 9516fe03a1
  
  increase rust version in CI too Jacob Lifshay 2024-11-24 14:46:25 -08:00
• 52ab134673
  
  increase rust version to support omitting match arms with uninhabited types Jacob Lifshay 2024-11-24 14:41:39 -08:00
• 698b8adc23
  
  working on deduce_resets pass Jacob Lifshay 2024-11-24 14:39:32 -08:00
• 59be3bd645
  
  WIP working on implementing deduce_resets pass Jacob Lifshay 2024-11-24 03:44:31 -08:00
• 913baa37e9
  
  WIP adding deduce_resets pass Jacob Lifshay 2024-11-22 16:07:18 -08:00