Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Renamed scripts/smt2-bmc/mem_equiv to .../async | Clifford Wolf | 2015-08-15 | 6 | -19/+19 |
* | Refactoring of scripts/smt2-bmc/ | Clifford Wolf | 2015-08-15 | 2 | -211/+220 |
* | Added z3 support to mem_equiv.py | Clifford Wolf | 2015-08-14 | 1 | -10/+20 |
* | Reset bugfix (bug found via scripts/smt2-bmc/mem_equiv.*) | Clifford Wolf | 2015-08-13 | 3 | -15/+108 |
* | Progress with smt2-based bmc scripts | Clifford Wolf | 2015-08-13 | 2 | -188/+203 |
* | Progress with smt2-based bmc scripts | Clifford Wolf | 2015-08-10 | 3 | -21/+183 |
* | Added smt2-based bmc scripts | Clifford Wolf | 2015-08-09 | 5 | -0/+247 |
* | Improvements in icestorm test firmware | Clifford Wolf | 2015-07-31 | 1 | -7/+35 |
* | icestorm sim improvements | Clifford Wolf | 2015-07-21 | 3 | -6/+38 |
* | Improved icestorm example | Clifford Wolf | 2015-07-19 | 3 | -13/+11 |
* | Improved icestorm example | Clifford Wolf | 2015-07-19 | 9 | -76/+226 |
* | Added $(VIVADO_BASE) to vivado Makefile | Clifford Wolf | 2015-07-16 | 1 | -4/+5 |
* | Improved firmware for vivado "system" example | Clifford Wolf | 2015-07-16 | 5 | -9/+41 |
* | Improved vivado "system" example | Clifford Wolf | 2015-07-12 | 2 | -16/+56 |
* | Vivado "system" example | Clifford Wolf | 2015-07-09 | 10 | -21/+142 |
* | Updated evaluation | Clifford Wolf | 2015-07-09 | 1 | -9/+9 |
* | Refactoring of TWO_CYCLE_ALU | Clifford Wolf | 2015-07-08 | 1 | -143/+117 |
* | Updated evaluation | Clifford Wolf | 2015-07-08 | 6 | -18/+22 |
* | Added TWO_CYCLE_ALU parameter | Clifford Wolf | 2015-07-08 | 2 | -52/+136 |
* | Enabled report_timing in vivado synth_area scripts | Clifford Wolf | 2015-07-08 | 4 | -4/+4 |
* | Updated eval data | Clifford Wolf | 2015-07-08 | 3 | -12/+26 |
* | Added TWO_CYCLE_COMPARE | Clifford Wolf | 2015-07-07 | 2 | -8/+29 |
* | Updated RV32I tools instructions | Clifford Wolf | 2015-07-05 | 1 | -4/+4 |
* | Improved IceStorm example script | Clifford Wolf | 2015-07-04 | 3 | -1/+75 |
* | Added -Werror | Clifford Wolf | 2015-07-04 | 1 | -1/+1 |
* | c++/c99-style for loops in firmware | Clifford Wolf | 2015-07-04 | 4 | -11/+7 |
* | Turned gcc warnings up to eleven | Clifford Wolf | 2015-07-04 | 6 | -17/+19 |
* | Fixed typo in Makefile | Clifford Wolf | 2015-07-03 | 1 | -1/+1 |
* | Added missing LD_RS1 debug statements | Clifford Wolf | 2015-07-02 | 1 | -3/+10 |
* | Updated area and timing stats | Clifford Wolf | 2015-07-02 | 2 | -10/+11 |
* | Being more aggressive with parallel cases | Clifford Wolf | 2015-07-02 | 1 | -145/+173 |
* | Added TWO_STAGE_SHIFT parameter | Clifford Wolf | 2015-07-02 | 2 | -1/+11 |
* | Added `debug macro | Clifford Wolf | 2015-07-02 | 1 | -42/+27 |
* | Minor Makefile changes | Clifford Wolf | 2015-07-02 | 2 | -4/+5 |
* | Removed trailing whitespaces in dhrystone code | Clifford Wolf | 2015-07-02 | 4 | -61/+61 |
* | Removed trailing whitespaces | Clifford Wolf | 2015-07-02 | 13 | -15/+15 |
* | Unsigned arguments for print_dec() | Clifford Wolf | 2015-07-02 | 4 | -7/+7 |
* | Some testbench-related improvements | Clifford Wolf | 2015-07-02 | 2 | -4/+13 |
* | Updated evaluation | Clifford Wolf | 2015-07-02 | 1 | -21/+34 |
* | Back to Vivado 2015.1 | Clifford Wolf | 2015-07-01 | 2 | -3/+3 |
* | Vivado 2015.2 area evaluation | Clifford Wolf | 2015-07-01 | 6 | -20/+15 |
* | Added vivado synth_area_{small,regular,large}.tcl scripts | Clifford Wolf | 2015-07-01 | 4 | -4/+33 |
* | Updated Xilinx 7-Series area stats | Clifford Wolf | 2015-07-01 | 2 | -23/+19 |
* | Added CATCH_MISALIGN and CATCH_ILLINSN | Clifford Wolf | 2015-07-01 | 2 | -8/+23 |
* | After some profiling: one-hot FSM encoding | Clifford Wolf | 2015-07-01 | 1 | -9/+10 |
* | Spelling fixes by Larry Doolittle | Clifford Wolf | 2015-07-01 | 1 | -10/+10 |
* | Improvements in PCPI MUL core | Clifford Wolf | 2015-06-30 | 1 | -10/+15 |
* | Added TOC to README | Clifford Wolf | 2015-06-30 | 2 | -1/+16 |
* | Added "make test_synth" | Clifford Wolf | 2015-06-30 | 3 | -2/+22 |
* | Added Note about Icarus Verilog to README | Clifford Wolf | 2015-06-29 | 1 | -0/+5 |