Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merged various testbench changes from compressed ISA branch | Clifford Wolf | 2016-02-03 | 7 | -30/+31 |
| | |||||
* | minor README changes | Clifford Wolf | 2016-01-21 | 1 | -4/+4 |
| | |||||
* | Added ENABLE_FASTIRQ switch in start.S | Clifford Wolf | 2016-01-21 | 1 | -0/+83 |
| | |||||
* | Updated riscv-gnu-toolchain | Clifford Wolf | 2016-01-21 | 1 | -8/+8 |
| | |||||
* | Cleanup regarding pcpi_timeout | Clifford Wolf | 2015-12-22 | 1 | -0/+1 |
| | |||||
* | Keep mem_wstrb low even when mem_valid is low anyways | Clifford Wolf | 2015-12-22 | 1 | -1/+1 |
| | |||||
* | Bump riscv-gnu-toolchain version | Clifford Wolf | 2015-12-16 | 3 | -129/+6 |
| | |||||
* | Extended c++ demo | Clifford Wolf | 2015-12-01 | 1 | -0/+50 |
| | |||||
* | Bump riscv-gnu-toolchain version | Clifford Wolf | 2015-12-01 | 1 | -2/+2 |
| | |||||
* | Bugfix in hex8tohex32.py | Clifford Wolf | 2015-11-18 | 1 | -2/+1 |
| | |||||
* | Added hex8tohex32.py script to cxxdemo | Clifford Wolf | 2015-11-17 | 4 | -3/+57 |
| | |||||
* | Bump riscv-gnu-toolchain version | Clifford Wolf | 2015-11-09 | 1 | -4/+4 |
| | |||||
* | Added scripts/cxxdemo/ | Clifford Wolf | 2015-11-04 | 8 | -1/+699 |
| | |||||
* | Using riscv32-unknown-elf- toolchain | Clifford Wolf | 2015-11-03 | 3 | -7/+12 |
| | |||||
* | dhrystone: copy&paste newlib code for memcpy() and strcpy() | Clifford Wolf | 2015-10-30 | 1 | -225/+189 |
| | |||||
* | Improvements in firmware/sections.lds | Clifford Wolf | 2015-10-30 | 1 | -1/+3 |
| | |||||
* | Added regions to firmware/sections.lds | Clifford Wolf | 2015-10-30 | 1 | -1/+5 |
| | |||||
* | Added scripts/yosys-cmp/ | Clifford Wolf | 2015-10-30 | 6 | -0/+196 |
| | |||||
* | Progress in "make check" | Clifford Wolf | 2015-10-15 | 2 | -13/+31 |
| | |||||
* | Added "make check" | Clifford Wolf | 2015-10-14 | 3 | -2/+33 |
| | |||||
* | Merge branch 'master' of github.com:cliffordwolf/picorv32 | Clifford Wolf | 2015-10-13 | 4 | -14/+7 |
|\ | |||||
| * | Minor scripts/icestorm changes | Clifford Wolf | 2015-10-08 | 3 | -14/+3 |
| | | |||||
| * | Added apt-get doc for toolchain build | Clifford Wolf | 2015-10-07 | 1 | -0/+4 |
| | | |||||
* | | Add a missing dependency | Larry Doolittle | 2015-10-13 | 1 | -2/+2 |
|/ | |||||
* | Better "steps" default in smt2-bmc/sync.py | Clifford Wolf | 2015-10-06 | 1 | -1/+1 |
| | |||||
* | Fixed README typo | Clifford Wolf | 2015-09-23 | 1 | -1/+1 |
| | |||||
* | Improvements to smtio.py | Clifford Wolf | 2015-09-18 | 3 | -2/+3 |
| | |||||
* | Updated toolchain build instructions to riscv-gnu-toolchain git 572033b | Clifford Wolf | 2015-09-14 | 1 | -2/+2 |
| | |||||
* | Added scripts/yosys/synth_gates | Clifford Wolf | 2015-09-12 | 3 | -0/+76 |
| | |||||
* | Improvements in smtio.py | Clifford Wolf | 2015-08-28 | 3 | -86/+94 |
| | |||||
* | Improvements in smtio.py "timer display during solving" feature | Clifford Wolf | 2015-08-28 | 1 | -8/+13 |
| | |||||
* | Added smtio.py "timer display during solving" feature | Clifford Wolf | 2015-08-27 | 3 | -5/+51 |
| | |||||
* | Added mkvcd class to smtio.py | Clifford Wolf | 2015-08-27 | 1 | -0/+29 |
| | |||||
* | Added (set-info ..) generation to smtio.py | Clifford Wolf | 2015-08-27 | 3 | -20/+32 |
| | |||||
* | Using "#!/usr/bin/env python3" | Clifford Wolf | 2015-08-22 | 4 | -4/+4 |
| | |||||
* | More improvements in smt2-bmc scripts | Clifford Wolf | 2015-08-15 | 4 | -3/+128 |
| | |||||
* | Added cvc4 and mathsat to scripts/smt2-bmc | Clifford Wolf | 2015-08-15 | 1 | -0/+6 |
| | |||||
* | Added scripts/smt2-bmc/sync.* | Clifford Wolf | 2015-08-15 | 7 | -5/+312 |
| | |||||
* | 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 |
| |