Commit graph

Select branches

Hide pull requests

adding-simulator

master

runtime-generics

square-brackets-generics-experiment

type-deduction

#2

#3

#5

v0.1.0

v0.2.0

Mono Color

• 4422157db8
  
  WIP adding enums to simulator adding-simulator Jacob Lifshay 2024-12-02 21:06:23 -0800
• d3f52292a1
  
  test doc tests in CI Jacob Lifshay 2024-12-01 20:21:26 -0800
• fd45465d35
  
  sim: add support for registers Jacob Lifshay 2024-12-01 20:14:13 -0800
• 5e0548db26
  
  vcd: single bit signals have no spaces in their value changes Jacob Lifshay 2024-12-01 20:12:43 -0800
• 12b3ba57f1
  
  add some ExprCastTo supertraits to ResetType to make generic code easier Jacob Lifshay 2024-12-01 20:10:25 -0800
• 965fe53077
  
  deduce_resets: show more debugging info on assertion failure Jacob Lifshay 2024-12-01 20:08:43 -0800
• 3abba7f9eb
  
  simulating circuits with deduced resets works Jacob Lifshay 2024-11-27 23:52:07 -0800
• 6446b71afd
  
  deduce_resets works! Jacob Lifshay 2024-11-27 23:20:22 -0800
• d36cf92d7f
  
  make ToReset generic over the reset type Jacob Lifshay 2024-11-27 23:19:55 -0800
• d744d85c66
  
  working on deduce_resets Jacob Lifshay 2024-11-27 01:31:18 -0800
• 358cdd10c8
  
  add more expr casts Jacob Lifshay 2024-11-27 01:30:28 -0800
• 9128a84284
  
  Merge remote-tracking branch 'origin/master' into adding-simulator Jacob Lifshay 2024-11-26 21:28:22 -0800
• 546010739a
  
  working on deduce_resets Jacob Lifshay 2024-11-26 21:26:56 -0800
• 9b5f1218fd
  
  make ClockDomain and Reg generic over reset type Jacob Lifshay 2024-11-26 20:47:03 -0800
• 89d84551f8
  
  add ResetType to the list of recognized type bounds Jacob Lifshay 2024-11-26 18:52:03 -0800
• c45624e3c2
  
  Fix SInt::for_value not accounting for sign bit for positive values master Jacob Lifshay 2024-11-26 16:26:29 -0800
• 7851bf545c
  
  working on deduce_resets.rs Jacob Lifshay 2024-11-26 00:07:11 -0800
• 3e3da53bd2
  
  working on deduce_resets Jacob Lifshay 2024-11-25 00:01:02 -0800
• fa50930ff8
  
  update petgraph dependency to include UnionFind::new_set() Jacob Lifshay 2024-11-25 00:00:26 -0800
• 9516fe03a1
  
  increase rust version in CI too Jacob Lifshay 2024-11-24 14:46:25 -0800
• 52ab134673
  
  increase rust version to support omitting match arms with uninhabited types Jacob Lifshay 2024-11-24 14:41:39 -0800
• 698b8adc23
  
  working on deduce_resets pass Jacob Lifshay 2024-11-24 14:39:32 -0800
• 59be3bd645
  
  WIP working on implementing deduce_resets pass Jacob Lifshay 2024-11-24 03:44:31 -0800
• 913baa37e9
  
  WIP adding deduce_resets pass Jacob Lifshay 2024-11-22 16:07:18 -0800
• 11ddbc43c7
  
  writing VCD for combinatorial circuits works! Jacob Lifshay 2024-11-20 22:36:12 -0800
• c4b5d00419
  
  WIP adding VCD output Jacob Lifshay 2024-11-18 03:04:10 -0800
• 09aa9fbc78
  
  wire up simulator trace writing interface Jacob Lifshay 2024-11-17 21:02:44 -0800
• 288a6b71b9
  
  WIP adding VCD output Jacob Lifshay 2024-11-17 01:02:00 -0800
• 0095570f19
  
  simple combinatorial simulation works! Jacob Lifshay 2024-11-14 20:28:43 -0800
• f54e55a143
  
  Simulation::settle_step() works for simple modules Jacob Lifshay 2024-11-13 21:20:15 -0800
• a6e40839ac
  
  simulator WIP: use petgraph for topological sort over assignments Jacob Lifshay 2024-11-13 04:14:04 -0800
• 3106a6fff6
  
  working on simulator... Jacob Lifshay 2024-11-12 22:11:12 -0800
• f338f37d3e
  
  working on simulator Jacob Lifshay 2024-11-12 01:08:32 -0800
• 277d3e0d4d
  
  working on simulator Jacob Lifshay 2024-11-10 22:12:57 -0800
• b288d6f8f2
  
  add missing copyright headers Jacob Lifshay 2024-11-07 21:50:31 -0800
• 479d59b287
  
  WIP implementing simulator Jacob Lifshay 2024-11-07 21:46:34 -0800
• 6f904148c4
  
  WIP adding simulator Jacob Lifshay 2024-11-07 01:19:07 -0800
• 3ea0d98924
  
  always write formal cache json Jacob Lifshay 2024-11-20 22:51:40 -0800
• c1f1a8b749 Add test module exercising formal verification. Cesar Strauss 2024-11-20 17:39:00 -0300
• 3d5d8c54b6
  
  add repository to cache key Jacob Lifshay 2024-10-30 20:55:02 -0700
• ee15fd2b94
  
  support #[hdl] type aliases Jacob Lifshay 2024-10-30 20:47:10 -0700
• 20cf0abbcc
  
  fix using #[hdl] types like S<{ 1 + 2 }> Jacob Lifshay 2024-10-30 20:46:11 -0700
• 5bd0de48b7
  
  change to version 0.2.1 Jacob Lifshay 2024-10-30 19:36:05 -0700
• 0c9c48a066
  
  split out deps into separate workflow with better caching using deps.yml from cpu.git v0.2.0 Jacob Lifshay 2024-10-17 21:05:18 -0700
• cb17913004
  
  limit sby to one thread each since it seems not to respect job count in parallel mode Jacob Lifshay 2024-10-15 21:32:38 -0700
• 42effd1132
  
  switch to using a make job server for managing test parallelism Jacob Lifshay 2024-10-15 20:32:33 -0700
• 3d0f95cfe5
  
  formal: add workaround for wires disappearing because yosys optimizes them out Jacob Lifshay 2024-10-15 01:48:48 -0700
• 3939ce2360
  
  add Bundle and Enum to prelude Jacob Lifshay 2024-10-14 17:47:58 -0700
• d0229fbcfb
  
  get #[hdl] struct S<A: KnownSize, B: KnownSize> to work Jacob Lifshay 2024-10-11 17:30:49 -0700
• 4909724995
  
  add more thorough checks that bounds are properly handled on #[hdl] structs Jacob Lifshay 2024-10-10 23:34:46 -0700
• d0694cbd52
  
  add disabled test for #[hdl] struct S4<W: KnownSize, W2: KnownSize> which type errors Jacob Lifshay 2024-10-10 22:58:15 -0700
• 1a2149b040
  
  silence warnings for field names that start with _ Jacob Lifshay 2024-10-10 20:53:29 -0700
• 59cef3f398
  
  add PhantomData as a hdl bundle Jacob Lifshay 2024-10-10 20:48:09 -0700
• bf907c3872
  
  cache results of formal proofs Jacob Lifshay 2024-10-07 23:31:24 -0700
• 99180eb3b4
  
  fix clippy lints in generated code Jacob Lifshay 2024-10-07 21:59:50 -0700
• 017c14a2f1
  
  don't use #[allow(..., reason = "...")] since that's not stable yet on rust 1.80.1 Jacob Lifshay 2024-10-07 22:05:30 -0700
• ed1aea41f3
  
  clean up some clippy warnings Jacob Lifshay 2024-10-07 21:49:18 -0700
• f12322aa2a
  
  remove interning contexts Jacob Lifshay 2024-10-07 21:33:56 -0700
• 44ca1a607a
  
  remove unused AGCContext Jacob Lifshay 2024-10-07 20:27:39 -0700
• 30b9a5e48d
  
  change NameId to have an opaque Id so output firrtl doesn't depend on how many modules of the same name were ever created Jacob Lifshay 2024-10-07 19:06:01 -0700
• eed0afc6ab
  
  add some utility From<Interned<T>> impls Jacob Lifshay 2024-10-07 19:05:20 -0700
• aec383c0af
  
  try to fix ccache Jacob Lifshay 2024-10-06 20:57:42 -0700
• f403eed7c0
  
  only run tests once, since they are quite slow Jacob Lifshay 2024-10-06 20:08:39 -0700
• 2e8b73d2fc
  
  rename fire/fire_data to firing/firing_data Jacob Lifshay 2024-10-06 19:04:48 -0700
• e05c368688
  
  change register names to end in _reg by convention Jacob Lifshay 2024-10-06 18:50:09 -0700
• ec77559e2b
  
  fix cache action name Jacob Lifshay 2024-10-04 17:10:06 -0700
• b7f1101164
  
  reduce parallelism to fit within the number of available cpus even when running sby in prove mode (which likes to run 2 smt solvers in parallel) Jacob Lifshay 2024-10-04 17:03:51 -0700
• 487af07154
  
  yosys build runs out of memory Jacob Lifshay 2024-10-04 01:03:17 -0700
• c0d4de56a9
  
  try to make yosys build faster Jacob Lifshay 2024-10-03 23:40:44 -0700
• 9f154e6b96
  
  try caching ccache manually Jacob Lifshay 2024-10-03 23:36:39 -0700
• 0d54b9a2a9
  
  queue formal proof passes! Jacob Lifshay 2024-10-03 23:07:14 -0700
• 343805f80b
  
  fix #[hdl] to work with unusual identifier hygiene from macros Jacob Lifshay 2024-10-03 23:04:14 -0700
• 15a28aa7a7
  
  install python3-click -- needed by symbiyosys Jacob Lifshay 2024-10-03 01:44:06 -0700
• 4084a70485
  
  switch default solver to z3 Jacob Lifshay 2024-10-03 01:43:46 -0700
• 3e2fb9b94f
  
  WIP getting queue formal to pass -- passes for capacity <= 2 Jacob Lifshay 2024-10-03 01:08:01 -0700
• bc26fe32fd
  
  add ccache and clean up deps Jacob Lifshay 2024-10-03 01:01:06 -0700
• eb65bec26e
  
  add yosys deps Jacob Lifshay 2024-10-03 00:44:04 -0700
• 4497f09ea0
  
  fix wrong build steps Jacob Lifshay 2024-10-03 00:39:18 -0700
• 1c63a441a9
  
  add needed tools to CI Jacob Lifshay 2024-10-03 00:27:28 -0700
• 0cf01600b3
  
  add mod formal and move assert/assume/cover stuff to it Jacob Lifshay 2024-10-01 19:56:17 -0700
• f3d6528f5b
  
  make annotations easier to use Jacob Lifshay 2024-10-01 19:54:17 -0700
• f35d88d2bb
  
  remove unused valueless.rs Jacob Lifshay 2024-10-01 18:41:41 -0700
• e8c393f3bb
  
  sort pub mod items Jacob Lifshay 2024-10-01 18:40:52 -0700
• d0b406d288
  
  add more annotation kinds Jacob Lifshay 2024-10-01 18:33:32 -0700
• 2a25dd9d7b
  
  fix annotations getting lost Jacob Lifshay 2024-10-01 18:31:44 -0700
• 6e0b6c000d
  
  remove stray debugging prints Jacob Lifshay 2024-10-01 18:30:46 -0700
• d089095667
  
  change default to --simplify-enums=replace-with-bundle-of-uints Jacob Lifshay 2024-10-01 00:07:48 -0700
• 9d66fcc548
  
  improve ExportOptions support in assert_export_firrtl! Jacob Lifshay 2024-10-01 00:05:39 -0700
• 186488a82e
  
  remove FIXME now that simplify_enums is fixed Jacob Lifshay 2024-09-30 23:31:45 -0700
• edcea1adc3
  
  add firrtl comments when connecting expressions with different types Jacob Lifshay 2024-09-30 22:33:27 -0700
• 30a38bc8da
  
  fix simplify_enums to properly handle nested enums and connects with different types Jacob Lifshay 2024-09-30 22:31:16 -0700
• 1e2831da47
  
  add validation of connects and matches when validating module Jacob Lifshay 2024-09-30 21:20:35 -0700
• d2ba313f0f
  
  fix simplify_memories trying to connect Bool with UInt Jacob Lifshay 2024-09-30 21:19:20 -0700
• 04752c5037
  
  add test for connect_any with nested enums with different-sized variant bodies Jacob Lifshay 2024-09-25 21:50:49 -0700
• e661aeab11
  
  add WIP formal proof for queue() Jacob Lifshay 2024-09-25 01:55:48 -0700
• 5fc7dbd6e9
  
  add assert_formal helper for running formal proofs in rust tests Jacob Lifshay 2024-09-25 01:54:07 -0700
• 45dbb554d0
  
  add formal subcommand Jacob Lifshay 2024-09-25 01:52:41 -0700
• bb860d54cc
  
  add command line options for selecting which transforms to apply when generating firrtl Jacob Lifshay 2024-09-25 01:47:48 -0700
• efc3a539ed
  
  support redirecting subprocesses' stdout/stderr to print!() so it gets captured for rust tests Jacob Lifshay 2024-09-25 01:36:15 -0700
• f32c0a7863
  
  switch to #[derive(Parser)] instead of #[derive(Args)] Jacob Lifshay 2024-09-25 01:28:11 -0700