Commit graph

Select branches

Hide pull requests

fifo-proof

formal_memories

formal_test_case

master

v0.1.0

v0.2.0

Mono Color

• 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
• 37d03cec33
  
  change #[hdl] if to only accept Expr<T> instead of accepting bool, this prevents using == by accident Jacob Lifshay 2024-07-22 00:52:48 -0700
• 79031ccf88
  
  fix blinky example to use cmp_eq instead of == Jacob Lifshay 2024-07-22 00:52:29 -0700
• 5707ede2ae
  
  support IntCmp with primitive integer types Jacob Lifshay 2024-07-22 00:50:53 -0700
• 422330d195
  
  fix doc test Jacob Lifshay 2024-07-21 21:09:31 -0700
• a191ece9a5
  
  add blinky example Jacob Lifshay 2024-07-21 20:48:43 -0700
• 23a77368b3
  
  add beginnings of simple CLI Jacob Lifshay 2024-07-21 20:47:52 -0700
• 8080cc7b5c
  
  add utility functions for getting smallest integer type that fits a range/value Jacob Lifshay 2024-07-21 20:46:23 -0700
• bdfa18e11d
  
  add IntTypeTrait::literal utility function Jacob Lifshay 2024-07-21 20:45:36 -0700
• 8ca0cd56c4
  
  fix warning Jacob Lifshay 2024-07-21 20:44:29 -0700
• 1809fccb45
  
  clarify docs some more Jacob Lifshay 2024-07-21 17:38:54 -0700
• 5cf638c74a
  
  fix broken doc tests Jacob Lifshay 2024-07-19 17:14:09 -0700
• dba883e300
  
  split <int>.cast() into cast_as_type and cast to be more useful when casting to deduced fixed types Jacob Lifshay 2024-07-19 17:12:29 -0700
• af95bb2f58
  
  write docs for #[hdl] expressions Jacob Lifshay 2024-07-18 00:51:01 -0700
• 153dc261e3
  
  WIP writing docs -- refactor #[hdl] docs to be a module tree for easier navigation Jacob Lifshay 2024-07-18 00:13:28 -0700
• 190e440b35
  
  WIP adding docs Jacob Lifshay 2024-07-16 19:46:52 -0700
• 86827def91
  
  rename ClockDomain fields to clk and rst for consistency Jacob Lifshay 2024-07-16 19:46:08 -0700
• 63fd038729
  
  correctly handle hdl byte literal suffixes Jacob Lifshay 2024-07-16 19:45:12 -0700
• c2e5ea8e89
  
  implement #[hdl] [a; N] -- an array repeat expression Jacob Lifshay 2024-07-16 17:19:17 -0700
• d610858144
  
  move Value derive macro re-export to same place as Value trait Jacob Lifshay 2024-07-16 16:51:54 -0700
• 6a5f1b8af1
  
  prep for eventual publishing Jacob Lifshay 2024-07-11 22:39:00 -0700
• 109dda21ce
  
  remove unused paste dependency Jacob Lifshay 2024-07-11 22:36:10 -0700
• 8bd7fcfa27
  
  reformat messy code that rustfmt doesn't format Jacob Lifshay 2024-07-10 23:34:41 -0700
• 929e9f8b16
  
  ci: run cargo doc too to ensure docs continue to build Jacob Lifshay 2024-07-10 23:06:29 -0700
• 28f32d7d1a
  
  work around rustdoc bug https://github.com/rust-lang/rust/issues/127593 Jacob Lifshay 2024-07-10 23:00:05 -0700
• 25aa90ec60
  
  rust 1.79.0 released Jacob Lifshay 2024-06-13 13:27:57 -0700
• 3059219fc4
  
  use full action url Jacob Lifshay 2024-06-11 22:20:22 -0700
• 1a55c21af4
  
  fix indentation Jacob Lifshay 2024-06-11 22:15:23 -0700
• 6f57505191
  
  add ci Jacob Lifshay 2024-06-11 22:13:07 -0700
• 0b958e7852
  
  initial public commit Jacob Lifshay 2024-06-10 23:09:13 -0700