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

• 11ddbc43c7
  
  writing VCD for combinatorial circuits works! Jacob Lifshay 2024-11-20 22:36:12 -08:00
• c4b5d00419
  
  WIP adding VCD output Jacob Lifshay 2024-11-18 03:04:10 -08:00
• 09aa9fbc78
  
  wire up simulator trace writing interface Jacob Lifshay 2024-11-17 21:02:44 -08:00
• 288a6b71b9
  
  WIP adding VCD output Jacob Lifshay 2024-11-17 01:02:00 -08:00
• 0095570f19
  
  simple combinatorial simulation works! Jacob Lifshay 2024-11-14 20:28:43 -08:00
• f54e55a143
  
  Simulation::settle_step() works for simple modules Jacob Lifshay 2024-11-13 21:20:15 -08:00
• a6e40839ac
  
  simulator WIP: use petgraph for topological sort over assignments Jacob Lifshay 2024-11-13 04:14:04 -08:00
• 3106a6fff6
  
  working on simulator... Jacob Lifshay 2024-11-12 22:11:12 -08:00
• f338f37d3e
  
  working on simulator Jacob Lifshay 2024-11-12 01:08:32 -08:00
• 277d3e0d4d
  
  working on simulator Jacob Lifshay 2024-11-10 22:12:57 -08:00
• b288d6f8f2
  
  add missing copyright headers Jacob Lifshay 2024-11-07 21:50:31 -08:00
• 479d59b287
  
  WIP implementing simulator Jacob Lifshay 2024-11-07 21:46:34 -08:00
• 6f904148c4
  
  WIP adding simulator Jacob Lifshay 2024-11-07 01:19:07 -08:00
• 3ea0d98924
  
  always write formal cache json Jacob Lifshay 2024-11-20 22:51:40 -08:00
• c1f1a8b749 Add test module exercising formal verification. Cesar Strauss 2024-11-20 17:39:00 -03:00
• 3d5d8c54b6
  
  add repository to cache key Jacob Lifshay 2024-10-30 20:55:02 -07:00
• ee15fd2b94
  
  support #[hdl] type aliases Jacob Lifshay 2024-10-30 20:47:10 -07:00
• 20cf0abbcc
  
  fix using #[hdl] types like S<{ 1 + 2 }> Jacob Lifshay 2024-10-30 20:46:11 -07:00
• 5bd0de48b7
  
  change to version 0.2.1 Jacob Lifshay 2024-10-30 19:36:05 -07:00
• 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 -07:00
• 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 -07:00
• 42effd1132
  
  switch to using a make job server for managing test parallelism Jacob Lifshay 2024-10-15 20:32:33 -07:00
• 3d0f95cfe5
  
  formal: add workaround for wires disappearing because yosys optimizes them out Jacob Lifshay 2024-10-15 01:48:48 -07:00
• 3939ce2360
  
  add Bundle and Enum to prelude Jacob Lifshay 2024-10-14 17:47:58 -07:00
• d0229fbcfb
  
  get #[hdl] struct S<A: KnownSize, B: KnownSize> to work Jacob Lifshay 2024-10-11 17:30:49 -07:00
• 4909724995
  
  add more thorough checks that bounds are properly handled on #[hdl] structs Jacob Lifshay 2024-10-10 23:34:46 -07:00
• d0694cbd52
  
  add disabled test for #[hdl] struct S4<W: KnownSize, W2: KnownSize> which type errors Jacob Lifshay 2024-10-10 22:58:15 -07:00
• 1a2149b040
  
  silence warnings for field names that start with _ Jacob Lifshay 2024-10-10 20:53:29 -07:00
• 59cef3f398
  
  add PhantomData as a hdl bundle Jacob Lifshay 2024-10-10 20:48:09 -07:00
• bf907c3872
  
  cache results of formal proofs Jacob Lifshay 2024-10-07 23:31:24 -07:00
• 99180eb3b4
  
  fix clippy lints in generated code Jacob Lifshay 2024-10-07 21:59:50 -07:00
• 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 -07:00
• ed1aea41f3
  
  clean up some clippy warnings Jacob Lifshay 2024-10-07 21:49:18 -07:00
• f12322aa2a
  
  remove interning contexts Jacob Lifshay 2024-10-07 21:33:56 -07:00
• 44ca1a607a
  
  remove unused AGCContext Jacob Lifshay 2024-10-07 20:27:39 -07:00
• 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 -07:00
• eed0afc6ab
  
  add some utility From<Interned<T>> impls Jacob Lifshay 2024-10-07 19:05:20 -07:00
• aec383c0af
  
  try to fix ccache Jacob Lifshay 2024-10-06 20:57:42 -07:00
• f403eed7c0
  
  only run tests once, since they are quite slow Jacob Lifshay 2024-10-06 20:08:39 -07:00
• 2e8b73d2fc
  
  rename fire/fire_data to firing/firing_data Jacob Lifshay 2024-10-06 19:04:48 -07:00
• e05c368688
  
  change register names to end in _reg by convention Jacob Lifshay 2024-10-06 18:50:09 -07:00
• ec77559e2b
  
  fix cache action name Jacob Lifshay 2024-10-04 17:10:06 -07:00
• 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 -07:00
• 487af07154
  
  yosys build runs out of memory Jacob Lifshay 2024-10-04 01:03:17 -07:00
• c0d4de56a9
  
  try to make yosys build faster Jacob Lifshay 2024-10-03 23:40:44 -07:00
• 9f154e6b96
  
  try caching ccache manually Jacob Lifshay 2024-10-03 23:36:39 -07:00
• 0d54b9a2a9
  
  queue formal proof passes! Jacob Lifshay 2024-10-03 23:07:14 -07:00
• 343805f80b
  
  fix #[hdl] to work with unusual identifier hygiene from macros Jacob Lifshay 2024-10-03 23:04:14 -07:00
• 15a28aa7a7
  
  install python3-click -- needed by symbiyosys Jacob Lifshay 2024-10-03 01:44:06 -07:00
• 4084a70485
  
  switch default solver to z3 Jacob Lifshay 2024-10-03 01:43:46 -07:00
• 3e2fb9b94f
  
  WIP getting queue formal to pass -- passes for capacity <= 2 Jacob Lifshay 2024-10-03 01:08:01 -07:00
• bc26fe32fd
  
  add ccache and clean up deps Jacob Lifshay 2024-10-03 01:01:06 -07:00
• eb65bec26e
  
  add yosys deps Jacob Lifshay 2024-10-03 00:44:04 -07:00
• 4497f09ea0
  
  fix wrong build steps Jacob Lifshay 2024-10-03 00:39:18 -07:00
• 1c63a441a9
  
  add needed tools to CI Jacob Lifshay 2024-10-03 00:27:28 -07:00
• 0cf01600b3
  
  add mod formal and move assert/assume/cover stuff to it Jacob Lifshay 2024-10-01 19:56:17 -07:00
• f3d6528f5b
  
  make annotations easier to use Jacob Lifshay 2024-10-01 19:54:17 -07:00
• f35d88d2bb
  
  remove unused valueless.rs Jacob Lifshay 2024-10-01 18:41:41 -07:00
• e8c393f3bb
  
  sort pub mod items Jacob Lifshay 2024-10-01 18:40:52 -07:00
• d0b406d288
  
  add more annotation kinds Jacob Lifshay 2024-10-01 18:33:32 -07:00
• 2a25dd9d7b
  
  fix annotations getting lost Jacob Lifshay 2024-10-01 18:31:44 -07:00
• 6e0b6c000d
  
  remove stray debugging prints Jacob Lifshay 2024-10-01 18:30:46 -07:00
• d089095667
  
  change default to --simplify-enums=replace-with-bundle-of-uints Jacob Lifshay 2024-10-01 00:07:48 -07:00
• 9d66fcc548
  
  improve ExportOptions support in assert_export_firrtl! Jacob Lifshay 2024-10-01 00:05:39 -07:00
• 186488a82e
  
  remove FIXME now that simplify_enums is fixed Jacob Lifshay 2024-09-30 23:31:45 -07:00
• edcea1adc3
  
  add firrtl comments when connecting expressions with different types Jacob Lifshay 2024-09-30 22:33:27 -07:00
• 30a38bc8da
  
  fix simplify_enums to properly handle nested enums and connects with different types Jacob Lifshay 2024-09-30 22:31:16 -07:00
• 1e2831da47
  
  add validation of connects and matches when validating module Jacob Lifshay 2024-09-30 21:20:35 -07:00
• d2ba313f0f
  
  fix simplify_memories trying to connect Bool with UInt Jacob Lifshay 2024-09-30 21:19:20 -07:00
• 04752c5037
  
  add test for connect_any with nested enums with different-sized variant bodies Jacob Lifshay 2024-09-25 21:50:49 -07:00
• e661aeab11
  
  add WIP formal proof for queue() Jacob Lifshay 2024-09-25 01:55:48 -07:00
• 5fc7dbd6e9
  
  add assert_formal helper for running formal proofs in rust tests Jacob Lifshay 2024-09-25 01:54:07 -07:00
• 45dbb554d0
  
  add formal subcommand Jacob Lifshay 2024-09-25 01:52:41 -07:00
• bb860d54cc
  
  add command line options for selecting which transforms to apply when generating firrtl Jacob Lifshay 2024-09-25 01:47:48 -07:00
• efc3a539ed
  
  support redirecting subprocesses' stdout/stderr to print!() so it gets captured for rust tests Jacob Lifshay 2024-09-25 01:36:15 -07:00
• f32c0a7863
  
  switch to #[derive(Parser)] instead of #[derive(Args)] Jacob Lifshay 2024-09-25 01:28:11 -07:00
• 4ff01690a7
  
  clean up deps and move missed deps to workspace Jacob Lifshay 2024-09-25 01:22:35 -07:00
• 28aad19bf5
  
  add assert/assume/cover Jacob Lifshay 2024-09-23 19:10:51 -07:00
• 716c65edcd
  
  add WIP version of queue() Jacob Lifshay 2024-09-22 18:59:12 -07:00
• f6146048d1
  
  add memory::splat_mask to generate mask types from a Bool Jacob Lifshay 2024-09-22 18:57:30 -07:00
• a701f99fd6
  
  add repeat() Jacob Lifshay 2024-09-22 18:56:26 -07:00
• 78edfc97b2
  
  split int::IntCmp into expr::HdlPartialEq and expr::HdlPartialOrd Jacob Lifshay 2024-09-22 17:28:46 -07:00
• 9ad4ec0f39
  
  add ty.uninit() Jacob Lifshay 2024-09-22 17:26:23 -07:00
• 8449854cac
  
  add ToExpr for usize/isize/NonZero<T> Jacob Lifshay 2024-09-22 17:19:58 -07:00
• 790bb15408
  
  remove reset_default from proc-macro, forgot to remove when removing from RegBuilder Jacob Lifshay 2024-09-22 16:01:23 -07:00
• bdbc6d89bd
  
  add check-copyright to CI Jacob Lifshay 2024-09-22 15:30:53 -07:00
• 10ae95fac1
  
  add missing copyright headers Jacob Lifshay 2024-09-22 15:30:05 -07:00
• 053391b010
  
  add script for checking copyright headers Jacob Lifshay 2024-09-22 15:29:28 -07:00
• 51ce7b079e
  
  add ReadyValid<T> Jacob Lifshay 2024-09-20 19:11:30 -07:00
• ff269e5def
  
  add utility functions on HdlOption, inspired by Option's API Jacob Lifshay 2024-09-20 18:49:12 -07:00
• df55a514e4
  
  add support for incomplete_wire -- a wire that you can supply the type of later Jacob Lifshay 2024-09-20 18:46:56 -07:00
• ff94dda922
  
  support #[hdl] on functions -- enables #[hdl] usage in function body Jacob Lifshay 2024-09-20 18:42:24 -07:00
• a8c804ef4a
  
  some final cleanups square-brackets-generics-experiment Jacob Lifshay 2024-09-19 23:52:32 -07:00
• 2d293ae87b
  
  #[hdl] match works! Jacob Lifshay 2024-09-19 23:51:49 -07:00
• 9887d70f41
  
  fix handling of const and size type generics when generating Index impls Jacob Lifshay 2024-09-19 18:45:04 -07:00
• 2c1afd1cd6
  
  const generics on hdl_module work! Jacob Lifshay 2024-09-17 15:39:23 -07:00
• 76ea7f82c3
  
  WIP adding const generics Jacob Lifshay 2024-09-16 16:47:10 -07:00
• 5835b995a9
  
  WIP: use HdlOption[the_type_var] or UInt[123 + n] for creating types Jacob Lifshay 2024-08-07 03:16:29 -07:00
• 86fc148806
  
  WIP adding runtime-evaluated generic parameters runtime-generics Jacob Lifshay 2024-08-06 02:53:45 -07:00
• 47123eb36b
  
  WIP adding type deduction type-deduction Jacob Lifshay 2024-08-01 00:22:46 -07:00