cucapra/filament

Issues

• running tests with `runt` generates test failures

  #452 opened 4 months ago by CrepeGoat
  7

• Typo: its not it's

  #464 opened 5 months ago by TrevorFSmith
  1

• Supplying attributes via yml

  #470 opened 5 months ago by UnsignedByte
  3

• Discharge fails if any indices have been invalidated.

  #469 opened 5 months ago by UnsignedByte
  4

• Sharing checks missing

  #473 opened 5 months ago by UnsignedByte
  0

• Monomorphize generates `ir::Info::empty()` which breaks `IntervalCheck`.

  #467 opened 5 months ago by UnsignedByte
  0

• Remove dependence on specific `Info`s

  #462 opened 6 months ago by UnsignedByte
  5

• Higher order Filament

  #446 opened 10 months ago by gabizon103
  5

• Physical IR

  #456 opened 7 months ago by UnsignedByte
  1

• HLS Filament: Tracker

  #457 opened 7 months ago by UnsignedByte
  0

• Add type inference capabilities to AST

  #455 opened 7 months ago by UnsignedByte
  0

• HLS Filament

  #454 opened 7 months ago by UnsignedByte
  0

• update docs for how to test the Filament installation

  #451 opened 7 months ago by CrepeGoat
  4

• Constraints on Existential Parameters

  #450 opened 7 months ago by UnsignedByte
  1

• running `cargo test` from the main directory fails

  #447 opened 7 months ago by CrepeGoat
  6

• Better error message for `attempt to subtract with overflow`

  #445 opened 10 months ago by gabizon103
  1

• Extend assert syntax

  #444 opened 10 months ago by gabizon103
  1

• Docs link to friscv is broken

  #384 opened 10 months ago by cbiffle
  6

• Providing parameters to `main` component on compilation.

  #440 opened a year ago by UnsignedByte
  3

• BLAS evaluation

  #411 opened a year ago by gabizon103
  1

• Externally-provided parameters

  #441 opened a year ago by UnsignedByte
  4

• If-expressions for parameters

  #436 opened a year ago by gabizon103
  1

• Removing reliance on calyx dockerfile

  #434 opened a year ago by UnsignedByte
  0

• No longer testing against rust panic messages

  #433 opened a year ago by UnsignedByte
  0

• Add a way to specify global values used in the gen framework

  #427 opened a year ago by UnsignedByte
  0

• Cleanup deadline code

  #405 opened a year ago by rachitnigam
  0

• Bundle assignments of same length

  #422 opened a year ago by gabizon103
  1

• Partial Streaming FFTs

  #415 opened a year ago by UnsignedByte
  3

• ASIC Flows for Evaluation

  #416 opened a year ago by UnsignedByte
  2

• Instance borrow syntax should support references to instance's existential parameters

  #419 opened a year ago by gabizon103
  4

• Unused variable warning

  #408 opened a year ago by rachitnigam
  0

• Shortform syntax for external parameter access

  #406 opened a year ago by UnsignedByte
  1

• Build docker container for all ADL tools

  #392 opened a year ago by rachitnigam
  2

• Generic bundle transformers

  #404 opened a year ago by rachitnigam
  0

• Model `let` bindings in the IR

  #362 opened a year ago by rachitnigam
  0

• The Filament `gen` Framework

  #364 opened a year ago by rachitnigam
  2

• Merging `hoist-facts` and `discharge` passes

  #382 opened a year ago by UnsignedByte
  3

• Define helpers to inline IR objects from one component to another

  #371 opened a year ago by rachitnigam
  0

• Current website formatting doesn't meet WCAG text accessibility guidelines

  #390 opened a year ago by cbiffle
  1

• Explore bitvector encoding for parameters

  #374 opened a year ago by rachitnigam
  0

• Multidimensional Bundles

  #351 opened a year ago by UnsignedByte
  3

• AST Passes

  #380 opened a year ago by UnsignedByte
  0

• Bug in guard synthesis

  #378 opened a year ago by UnsignedByte
  0

• Access `let`-bound parameters in component signature using `::` syntax

  #370 opened a year ago by rachitnigam
  0

• Instance bundles and systemverilog `generate` labels

  #367 opened a year ago by UnsignedByte
  3

• `404` in "configuring `fud`" documentation hyperlink

  #365 opened a year ago by UnsignedByte
  1

• Pure function interpretation of `comp` definitions over parameters

  #354 opened a year ago by rachitnigam
  4

• Linearity check for `exist` bindings

  #360 opened a year ago by rachitnigam
  0

• Constraint on `exist` parameter not assumed when checking the signature

  #353 opened a year ago by rachitnigam
  0

• Discharge flag to assert statements one by one

  #349 opened a year ago by UnsignedByte
  0