Commit graph

Select branches

Hide pull requests

master

v0.1.0

v0.2.0

Mono Color

• c45624e3c2
  
  Fix SInt::for_value not accounting for sign bit for positive values master Jacob Lifshay 2024-11-26 16:26:29 -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
• 4ff01690a7
  
  clean up deps and move missed deps to workspace Jacob Lifshay 2024-09-25 01:22:35 -0700
• 28aad19bf5
  
  add assert/assume/cover Jacob Lifshay 2024-09-23 19:10:51 -0700
• 716c65edcd
  
  add WIP version of queue() Jacob Lifshay 2024-09-22 18:59:12 -0700
• f6146048d1
  
  add memory::splat_mask to generate mask types from a Bool Jacob Lifshay 2024-09-22 18:57:30 -0700
• a701f99fd6
  
  add repeat() Jacob Lifshay 2024-09-22 18:56:26 -0700
• 78edfc97b2
  
  split int::IntCmp into expr::HdlPartialEq and expr::HdlPartialOrd Jacob Lifshay 2024-09-22 17:28:46 -0700
• 9ad4ec0f39
  
  add ty.uninit() Jacob Lifshay 2024-09-22 17:26:23 -0700
• 8449854cac
  
  add ToExpr for usize/isize/NonZero<T> Jacob Lifshay 2024-09-22 17:19:58 -0700
• 790bb15408
  
  remove reset_default from proc-macro, forgot to remove when removing from RegBuilder Jacob Lifshay 2024-09-22 16:01:23 -0700
• bdbc6d89bd
  
  add check-copyright to CI Jacob Lifshay 2024-09-22 15:30:53 -0700
• 10ae95fac1
  
  add missing copyright headers Jacob Lifshay 2024-09-22 15:30:05 -0700
• 053391b010
  
  add script for checking copyright headers Jacob Lifshay 2024-09-22 15:29:28 -0700
• 51ce7b079e
  
  add ReadyValid<T> Jacob Lifshay 2024-09-20 19:11:30 -0700
• ff269e5def
  
  add utility functions on HdlOption, inspired by Option's API Jacob Lifshay 2024-09-20 18:49:12 -0700
• df55a514e4
  
  add support for incomplete_wire -- a wire that you can supply the type of later Jacob Lifshay 2024-09-20 18:46:56 -0700
• ff94dda922
  
  support #[hdl] on functions -- enables #[hdl] usage in function body Jacob Lifshay 2024-09-20 18:42:24 -0700
• a8c804ef4a
  
  some final cleanups Jacob Lifshay 2024-09-19 23:52:32 -0700
• 2d293ae87b
  
  #[hdl] match works! Jacob Lifshay 2024-09-19 23:51:49 -0700
• 9887d70f41
  
  fix handling of const and size type generics when generating Index impls Jacob Lifshay 2024-09-19 18:45:04 -0700
• 2c1afd1cd6
  
  const generics on hdl_module work! Jacob Lifshay 2024-09-17 15:39:23 -0700
• 76ea7f82c3
  
  WIP adding const generics Jacob Lifshay 2024-09-16 16:47:10 -0700
• 5835b995a9
  
  WIP: use HdlOption[the_type_var] or UInt[123 + n] for creating types Jacob Lifshay 2024-08-07 03:16:29 -0700
• cd99dbc849
  
  properly bound with StaticValue or StaticType<MaskType: StaticType> Jacob Lifshay 2024-07-30 20:25:37 -0700
• 2dce478d48
  
  rename FixedType->StaticType, fixed_type()->static_type(), hdl(fixed_type)->hdl(static), IsFixedLen->IsStaticLen Jacob Lifshay 2024-07-30 20:16:00 -0700
• c19a6821cf
  
  bump version to 0.2.0 in prep for breaking changes Jacob Lifshay 2024-07-30 19:57:23 -0700
• be025c14ca
  
  split up util.rs Jacob Lifshay 2024-07-28 22:08:51 -0700
• 14a9c23697
  
  change raw url to a link Jacob Lifshay 2024-07-28 22:08:22 -0700
• 305805d237
  
  fix wire example to actually be about wires, not registers Jacob Lifshay 2024-07-26 14:09:52 -0700
• b33566841d
  
  make #[hdl_module] support functions with generic parameters v0.1.0 Jacob Lifshay 2024-07-25 22:10:33 -0700
• ef4b3b4081
  
  make [T; N]: ToExpr for any N instead of a fixed list Jacob Lifshay 2024-07-25 22:08:28 -0700
• 7963f0a5cd
  
  add Iterator<Item = Pair<T, P>> helpers Jacob Lifshay 2024-07-25 22:07:23 -0700
• c94a437686
  
  add cli option to set verilog dialect Jacob Lifshay 2024-07-24 23:13:56 -0700
• f582013c1b
  
  add cli for compiling to verilog Jacob Lifshay 2024-07-23 23:31:23 -0700
• 0611044941
  
  Fix typo Jacob Lifshay 2024-07-22 15:58:05 -0700
• 180ecad017
  
  fix doctests to use Expr<UInt<1>> instead of bool for example conditions Jacob Lifshay 2024-07-22 02:20:06 -0700
• 0edf380c79
  
  refactor fayalite::cli to expose subcommands Jacob Lifshay 2024-07-22 01:41:45 -0700