aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2015-10-19Merge pull request #47 from jackkoenig/masterAdam Izraelevitz
Updated Scala FIRRTL with Testing and Infer-Types Pass
2015-10-15Reorganized Primops (renamed from PrimOps), added maps and functions to ↵Jack
convert object <=> string, added eqv and neqv
2015-10-15Added infer-types pass, seems to work. Added infer-types error checking, ↵Jack
modified Logger slightly, added Primops object for utility functions, minor changes in Utils
2015-10-14Modified getType to return Type rather than Option[Type] which makes more ↵Jack
sense for some applications, also fixed up printing to better match stanza implementation
2015-10-14Updated Makefile and README to be more friendly to Scala implementationJack
2015-10-14Moved Logger to new private object DebugUtils, changed UInt/SInt value ↵Jack
printing to match stanza implementation
2015-10-14Don't emit SystemVerilog keywordsAndrew Waterman
2015-10-12Added initial support for debug printing for lit based testing, most types ↵Jack
of printVars still missing. Added Logger class for debug printing
2015-10-12Renamed Subindex to Index and added type information to Index and DoPrimOpJack
2015-10-12Added support for no width to mean unknown, and print nothing instead of <?> ↵Jack
for unknown width. Also added test to check this
2015-10-12Added FIRRTL comment removal to TranslatorJack
2015-10-07Added utility map functions Stmt -> Stmt, S; Exp -> Exp, S; Exp -> Exp, EJack
2015-10-07Added Printf and Stop to firrtl. #23 #24.azidar
2015-10-06Added ability to test scala FIRRTLJack
2015-10-06Updated spec to mention sign extending widths of operand inputsazidar
2015-10-06Merge pull request #45 from ucb-bar/change-mem-typeAdam Izraelevitz
Changed DefMemory to be a non-vector type with a size member
2015-10-06Merge branch 'master' of github.com:ucb-bar/firrtlazidar
Conflicts: README.md
2015-10-06Merge branch 'ducky64-linuxrun'azidar
2015-10-06Fix readme for install-linuxducky
2015-10-05Merge pull request #44 from jackkoenig/masterAdam Izraelevitz
Add Scala implementation to firrtl repo
2015-10-02Added mention of Scala FIRRTL to READMEJack
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