aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2015-10-02Merged in Scala implementation of FIRRTL IR, parser, and serialization (ie. ↵Jack
AST -> String). Uses ANTLRv4 to generate concrete syntax parser
2015-10-01Merge pull request #43 from ucb-bar/new-semanticsAndrew Waterman
Change of FIRRTL semantics!
2015-10-01Merge pull request #41 from ucb-bar/fix-init-accessorAndrew Waterman
Fix init accessor
2015-10-01Changed DefMemory to be a non-vector type with a size member. Necessary for ↵azidar
ASIC backend.
2015-10-01Change of FIRRTL semantics!azidar
Assignments to a register are no longer affected by enclosing when statements: when p : reg r : UInt,clk,reset r := a will lower to: reg r : UInt,clk,reset r := a instead of: reg r : UInt,clk,reset when p : r := a
2015-10-01Updated tests for previous change that removed RemoveScope test from the ↵azidar
StandardVerilogCompiler
2015-10-01Merge pull request #39 from ducky64/linkfixAdam Izraelevitz
Make Link.fir reference relative path
2015-09-30Linux compatibility instructions and filesducky
2015-09-30Make Link.fir reference relative path, so it doesn't need someone's ↵ducky
particular directory structure.
2015-09-30Fixed test so it passes, as it shouldazidar
2015-09-30Made simple9.fir a short, more isolated test caseazidar
2015-09-30Moved To-Real-Ir earlier, so CheckWidth could happen before PadWidthazidar
2015-09-30Fixed naming bug where __1 was matching. Caused lots o issues.azidar
2015-09-29Fixed final bug. All tests pass. Accessors are a go.azidar
2015-09-29Added DecToIndexer/DecFromIndexer. Fixed most use cases of incorrect ↵azidar
catching of initialization of accessors. Missing use case of accessing an accessor. Still need to update tests to pass
2015-09-24Updated conditional read exampleazidar
2015-09-24Added poison node to specazidar
2015-09-01Added cases of undefined behavior for cmem and smemazidar
2015-09-01Added a conditional readport example, with new idea of representing a read ↵azidar
enable with muxing the index with poison bits
2015-08-31Sped up low form check by not checking the type of every expression, as it ↵azidar
is unneeded
2015-08-31Changed Bulk to Partial, <> to <-, and := to <=azidar
2015-08-31Updated specazidar
2015-08-28Moved check type and check kind after check genderazidar
2015-08-26Fixed bug where subfields weren't entirely removedazidar
2015-08-26Fixed bug where firrtl was incorrectly judging the width of a bigint. #36 #37.azidar
2015-08-26Updated todoazidar
2015-08-26Added regression testazidar
2015-08-25Fix Verilog backend for mixed signed-unsigned opsAndrew Waterman
Code like add(UInt<1>(1), SInt<1>(1)) was resulting in Verilog like $signed(1'h1) + $signed(1'sh1) which is incorrect: it computes -2, not 0. The fix is to zero-extend the unsigned operand, e.g. $signed({1'b0,1'h1}) + $signed(1'sh1)
2015-08-25Fixed bug in split expression that leaked connect statements out of a ↵azidar
conditional assignment
2015-08-25Removed IntWidth, now only use LongWidth. Now do width inference for ↵azidar
Constants in parser, and correctly subtract 1 (except when 0) when calculating width from num-bits of BigInt
2015-08-25Added width check pass with tests. #22.azidar
2015-08-24Temporarily deprecated the flo backend until I fix itazidar
2015-08-24Added BigInt error if passed a string without starting with a b or hazidar
2015-08-24Changed all tests to use verilog backend.azidar
2015-08-24Removed old chisel3 tests that all failed for syntax reasons. Tests should ↵azidar
now be small examples, categorized by either passes, errors, or features.
2015-08-20Updated .gitignoreazidar
2015-08-20Added tests, cleaned up repoazidar
2015-08-20Added Poison node. Includes tests. #26.azidar
2015-08-20Added rsh test for const-propazidar
2015-08-20Added rsh to BigInt library. Const Prop now works on rsh's on constants. #19.azidar
2015-08-20Fixed bigint library to correctly extract bits from UIntValue. #19.azidar
2015-08-19Added new const propagation testazidar
2015-08-19Added beginning of constant propagation pass, doesn't workazidar
2015-08-19Switched to new bigint libraryazidar
2015-08-19Check Neg UInt in the parserazidar
2015-08-19Merge branch 'master' of github.com:ucb-bar/firrtlazidar
2015-08-19Fixed width inference bug where constraints were propagating backwards.azidar
Updated tests to match. #29.
2015-08-19Fixed width inference bug where constraints were propagating backwards. ↵azidar
Updated tests to match.
2015-08-18Updated shr test so it is an expected passazidar
2015-08-18Fixed width inference for static shift left, #18azidar