Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | | Use "verilog -sv" to parse .sv files | Clifford Wolf | 2014-07-11 | 1 | -0/+2 | |
| | | ||||||
* | | Fixed processing of initial values for block-local variables | Clifford Wolf | 2014-07-11 | 1 | -0/+5 | |
| | | ||||||
* | | now ignore init attributes on non-register wires in sat command | Clifford Wolf | 2014-07-05 | 3 | -4/+43 | |
| | | ||||||
* | | fixed parsing of constant with comment between size and value | Clifford Wolf | 2014-07-02 | 2 | -0/+14 | |
| | | ||||||
* | | small changes in presentation | Clifford Wolf | 2014-07-02 | 1 | -5/+2 | |
| | | ||||||
* | | Tiny fix in presentation | Clifford Wolf | 2014-06-29 | 1 | -1/+1 | |
| | | ||||||
* | | Progress in presentation | Clifford Wolf | 2014-06-29 | 2 | -0/+97 | |
| | | ||||||
* | | Added links to some liberty files to README | Clifford Wolf | 2014-06-28 | 1 | -0/+8 | |
| | | ||||||
* | | Progress in presentation | Clifford Wolf | 2014-06-26 | 7 | -79/+105 | |
| | | ||||||
* | | Fixed handling of mixed real/int ternary expressions | Clifford Wolf | 2014-06-25 | 2 | -3/+22 | |
| | | ||||||
* | | More found_real-related fixes to AstNode::detectSignWidthWorker | Clifford Wolf | 2014-06-24 | 1 | -6/+6 | |
| | | ||||||
* | | Progress in presentation | Clifford Wolf | 2014-06-22 | 7 | -42/+503 | |
| | | ||||||
* | | Little steps in realmath test bench | Clifford Wolf | 2014-06-21 | 2 | -2/+8 | |
| | | ||||||
* | | fixed signdness detection for expressions with reals | Clifford Wolf | 2014-06-21 | 1 | -2/+8 | |
| | | ||||||
* | | fixed typo | Clifford Wolf | 2014-06-21 | 1 | -1/+1 | |
| | | ||||||
* | | Progress in presentation | Clifford Wolf | 2014-06-21 | 9 | -23/+188 | |
| | | ||||||
* | | Do not create $dffsr cells with no-op resets in proc_dff | Clifford Wolf | 2014-06-19 | 1 | -0/+5 | |
| | | ||||||
* | | Added test case for AstNode::MEM2REG_FL_CMPLX_LHS | Clifford Wolf | 2014-06-17 | 1 | -0/+12 | |
| | | ||||||
* | | Added AstNode::MEM2REG_FL_CMPLX_LHS | Clifford Wolf | 2014-06-17 | 2 | -0/+23 | |
| | | ||||||
* | | Improved handling of relational op of real values | Clifford Wolf | 2014-06-17 | 2 | -12/+17 | |
| | | ||||||
* | | Little steps in realmath test bench | Clifford Wolf | 2014-06-16 | 2 | -0/+3 | |
| | | ||||||
* | | Improved ternary support for real values | Clifford Wolf | 2014-06-16 | 1 | -13/+24 | |
| | | ||||||
* | | Use undef (x/z vs. NaN) rules for real values from IEEE Std 1800-2012 | Clifford Wolf | 2014-06-16 | 2 | -0/+11 | |
| | | ||||||
* | | Fixed parsing of TOK_INTEGER (implies TOK_SIGNED) | Clifford Wolf | 2014-06-16 | 1 | -5/+11 | |
| | | ||||||
* | | Added found_real feature to AstNode::detectSignWidth | Clifford Wolf | 2014-06-16 | 2 | -6/+11 | |
| | | ||||||
* | | Added more calls to "hierarchy" to README file | Clifford Wolf | 2014-06-15 | 1 | -3/+8 | |
| | | ||||||
* | | Removed long running tests from tests/simple/realexpr.v (replaced by ↵ | Clifford Wolf | 2014-06-15 | 1 | -55/+0 | |
| | | | | | | | | tests/realmath) | |||||
* | | Added tests/realmath to "make test" | Clifford Wolf | 2014-06-15 | 5 | -4/+6 | |
| | | ||||||
* | | Improved AstNode::realAsConst for large numbers | Clifford Wolf | 2014-06-15 | 1 | -1/+1 | |
| | | ||||||
* | | Improved realmath test bench | Clifford Wolf | 2014-06-15 | 2 | -5/+13 | |
| | | ||||||
* | | Improved parsing of large integer constants | Clifford Wolf | 2014-06-15 | 1 | -11/+28 | |
| | | ||||||
* | | Improved AstNode::asReal for large integers | Clifford Wolf | 2014-06-15 | 2 | -10/+13 | |
| | | ||||||
* | | improved realmath test bench | Clifford Wolf | 2014-06-14 | 1 | -1/+4 | |
| | | ||||||
* | | improved (fixed) conversion of real values to bit vectors | Clifford Wolf | 2014-06-14 | 4 | -11/+30 | |
| | | ||||||
* | | progress in realmath test bench | Clifford Wolf | 2014-06-14 | 2 | -4/+45 | |
| | | ||||||
* | | Fixed relational operators for const real expressions | Clifford Wolf | 2014-06-14 | 1 | -8/+8 | |
| | | ||||||
* | | added first draft of real math testcase generator | Clifford Wolf | 2014-06-14 | 1 | -0/+52 | |
| | | ||||||
* | | Progress in presentation | Clifford Wolf | 2014-06-14 | 5 | -3/+109 | |
| | | ||||||
* | | Added %D and %c select commands | Clifford Wolf | 2014-06-14 | 1 | -2/+20 | |
| | | ||||||
* | | Added support for math functions | Clifford Wolf | 2014-06-14 | 2 | -0/+127 | |
| | | ||||||
* | | Added realexpr.v test case | Clifford Wolf | 2014-06-14 | 1 | -0/+13 | |
| | | ||||||
* | | Added handling of real-valued parameters/localparams | Clifford Wolf | 2014-06-14 | 4 | -24/+62 | |
| | | ||||||
* | | Implemented more real arithmetic | Clifford Wolf | 2014-06-14 | 1 | -27/+70 | |
| | | ||||||
* | | Implemented basic real arithmetic | Clifford Wolf | 2014-06-14 | 3 | -6/+51 | |
| | | ||||||
* | | Added real->int convertion in ast genrtlil | Clifford Wolf | 2014-06-14 | 1 | -0/+12 | |
| | | ||||||
* | | Added Verilog lexer and parser support for real values | Clifford Wolf | 2014-06-13 | 4 | -3/+31 | |
| | | ||||||
* | | Added read_verilog -sv options, added support for bit, logic, | Clifford Wolf | 2014-06-12 | 7 | -8/+52 | |
| | | | | | | | | allways_ff, always_comb, and always_latch | |||||
* | | Now we are in Yoys 0.3.0+ development | Clifford Wolf | 2014-06-08 | 2 | -1/+7 | |
| | | ||||||
* | | Tagging Yosys 0.3.0 | Clifford Wolf | 2014-06-08 | 2 | -3/+47 | |
| | | ||||||
* | | Updated ABC to 7600ffb9340c | Clifford Wolf | 2014-06-08 | 1 | -1/+1 | |
| | |