aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
...
* | Use "verilog -sv" to parse .sv filesClifford Wolf2014-07-111-0/+2
| |
* | Fixed processing of initial values for block-local variablesClifford Wolf2014-07-111-0/+5
| |
* | now ignore init attributes on non-register wires in sat commandClifford Wolf2014-07-053-4/+43
| |
* | fixed parsing of constant with comment between size and valueClifford Wolf2014-07-022-0/+14
| |
* | small changes in presentationClifford Wolf2014-07-021-5/+2
| |
* | Tiny fix in presentationClifford Wolf2014-06-291-1/+1
| |
* | Progress in presentationClifford Wolf2014-06-292-0/+97
| |
* | Added links to some liberty files to READMEClifford Wolf2014-06-281-0/+8
| |
* | Progress in presentationClifford Wolf2014-06-267-79/+105
| |
* | Fixed handling of mixed real/int ternary expressionsClifford Wolf2014-06-252-3/+22
| |
* | More found_real-related fixes to AstNode::detectSignWidthWorkerClifford Wolf2014-06-241-6/+6
| |
* | Progress in presentationClifford Wolf2014-06-227-42/+503
| |
* | Little steps in realmath test benchClifford Wolf2014-06-212-2/+8
| |
* | fixed signdness detection for expressions with realsClifford Wolf2014-06-211-2/+8
| |
* | fixed typoClifford Wolf2014-06-211-1/+1
| |
* | Progress in presentationClifford Wolf2014-06-219-23/+188
| |
* | Do not create $dffsr cells with no-op resets in proc_dffClifford Wolf2014-06-191-0/+5
| |
* | Added test case for AstNode::MEM2REG_FL_CMPLX_LHSClifford Wolf2014-06-171-0/+12
| |
* | Added AstNode::MEM2REG_FL_CMPLX_LHSClifford Wolf2014-06-172-0/+23
| |
* | Improved handling of relational op of real valuesClifford Wolf2014-06-172-12/+17
| |
* | Little steps in realmath test benchClifford Wolf2014-06-162-0/+3
| |
* | Improved ternary support for real valuesClifford Wolf2014-06-161-13/+24
| |
* | Use undef (x/z vs. NaN) rules for real values from IEEE Std 1800-2012Clifford Wolf2014-06-162-0/+11
| |
* | Fixed parsing of TOK_INTEGER (implies TOK_SIGNED)Clifford Wolf2014-06-161-5/+11
| |
* | Added found_real feature to AstNode::detectSignWidthClifford Wolf2014-06-162-6/+11
| |
* | Added more calls to "hierarchy" to README fileClifford Wolf2014-06-151-3/+8
| |
* | Removed long running tests from tests/simple/realexpr.v (replaced by ↵Clifford Wolf2014-06-151-55/+0
| | | | | | | | tests/realmath)
* | Added tests/realmath to "make test"Clifford Wolf2014-06-155-4/+6
| |
* | Improved AstNode::realAsConst for large numbersClifford Wolf2014-06-151-1/+1
| |
* | Improved realmath test benchClifford Wolf2014-06-152-5/+13
| |
* | Improved parsing of large integer constantsClifford Wolf2014-06-151-11/+28
| |
* | Improved AstNode::asReal for large integersClifford Wolf2014-06-152-10/+13
| |
* | improved realmath test benchClifford Wolf2014-06-141-1/+4
| |
* | improved (fixed) conversion of real values to bit vectorsClifford Wolf2014-06-144-11/+30
| |
* | progress in realmath test benchClifford Wolf2014-06-142-4/+45
| |
* | Fixed relational operators for const real expressionsClifford Wolf2014-06-141-8/+8
| |
* | added first draft of real math testcase generatorClifford Wolf2014-06-141-0/+52
| |
* | Progress in presentationClifford Wolf2014-06-145-3/+109
| |
* | Added %D and %c select commandsClifford Wolf2014-06-141-2/+20
| |
* | Added support for math functionsClifford Wolf2014-06-142-0/+127
| |
* | Added realexpr.v test caseClifford Wolf2014-06-141-0/+13
| |
* | Added handling of real-valued parameters/localparamsClifford Wolf2014-06-144-24/+62
| |
* | Implemented more real arithmeticClifford Wolf2014-06-141-27/+70
| |
* | Implemented basic real arithmeticClifford Wolf2014-06-143-6/+51
| |
* | Added real->int convertion in ast genrtlilClifford Wolf2014-06-141-0/+12
| |
* | Added Verilog lexer and parser support for real valuesClifford Wolf2014-06-134-3/+31
| |
* | Added read_verilog -sv options, added support for bit, logic,Clifford Wolf2014-06-127-8/+52
| | | | | | | | allways_ff, always_comb, and always_latch
* | Now we are in Yoys 0.3.0+ developmentClifford Wolf2014-06-082-1/+7
| |
* | Tagging Yosys 0.3.0Clifford Wolf2014-06-082-3/+47
| |
* | Updated ABC to 7600ffb9340cClifford Wolf2014-06-081-1/+1
| |