Clifford Wolf
|
56ea35cc22
|
Updated riscv-gnu-toolchain
|
2016-01-21 11:39:24 +01:00 |
|
Clifford Wolf
|
d2e20edaab
|
Cleanup regarding pcpi_timeout
|
2015-12-22 11:17:24 +01:00 |
|
Clifford Wolf
|
649144ba5d
|
Keep mem_wstrb low even when mem_valid is low anyways
|
2015-12-22 11:17:11 +01:00 |
|
Clifford Wolf
|
6e6aeaeab6
|
Bump riscv-gnu-toolchain version
|
2015-12-16 15:36:15 +01:00 |
|
Clifford Wolf
|
473ff0d700
|
Extended c++ demo
|
2015-12-01 15:45:37 +01:00 |
|
Clifford Wolf
|
f2566561b0
|
Bump riscv-gnu-toolchain version
|
2015-12-01 10:49:58 +01:00 |
|
Clifford Wolf
|
014b2c6f09
|
Bugfix in hex8tohex32.py
|
2015-11-18 12:52:56 +01:00 |
|
Clifford Wolf
|
aa25e426be
|
Added hex8tohex32.py script to cxxdemo
|
2015-11-17 14:22:19 +01:00 |
|
Clifford Wolf
|
c59b0043c4
|
Bump riscv-gnu-toolchain version
|
2015-11-09 11:18:12 +01:00 |
|
Clifford Wolf
|
4015d4a5ab
|
Added scripts/cxxdemo/
|
2015-11-04 12:55:33 +01:00 |
|
Clifford Wolf
|
8d9f048785
|
Using riscv32-unknown-elf- toolchain
|
2015-11-03 18:59:12 +01:00 |
|
Clifford Wolf
|
17a665913e
|
dhrystone: copy&paste newlib code for memcpy() and strcpy()
|
2015-10-30 21:42:13 +01:00 |
|
Clifford Wolf
|
89abd9a957
|
Improvements in firmware/sections.lds
|
2015-10-30 15:58:29 +01:00 |
|
Clifford Wolf
|
3cb910cd51
|
Added regions to firmware/sections.lds
|
2015-10-30 15:52:40 +01:00 |
|
Clifford Wolf
|
51a9a9357a
|
Added scripts/yosys-cmp/
|
2015-10-30 14:25:04 +01:00 |
|
Clifford Wolf
|
8eaeebf486
|
Progress in "make check"
|
2015-10-15 15:45:19 +02:00 |
|
Clifford Wolf
|
07f28068f6
|
Added "make check"
|
2015-10-14 23:26:04 +02:00 |
|
Clifford Wolf
|
6783abd994
|
Merge branch 'master' of github.com:cliffordwolf/picorv32
|
2015-10-13 11:06:40 +02:00 |
Larry Doolittle
|
f5eb93ff9d
|
Add a missing dependency
|
2015-10-13 11:06:11 +02:00 |
|
Clifford Wolf
|
a1b0d36432
|
Minor scripts/icestorm changes
|
2015-10-08 11:58:59 +02:00 |
|
Clifford Wolf
|
39b01ae24f
|
Added apt-get doc for toolchain build
|
2015-10-07 21:22:59 +02:00 |
|
Clifford Wolf
|
b5b1816101
|
Better "steps" default in smt2-bmc/sync.py
|
2015-10-06 11:35:23 +02:00 |
|
Clifford Wolf
|
f8c96d6d37
|
Fixed README typo
|
2015-09-23 08:07:00 +02:00 |
|
Clifford Wolf
|
e063f64ea2
|
Improvements to smtio.py
|
2015-09-18 20:19:14 +02:00 |
|
Clifford Wolf
|
482b2299d5
|
Updated toolchain build instructions to riscv-gnu-toolchain git 572033b
|
2015-09-14 12:17:26 +02:00 |
|
Clifford Wolf
|
00844092ee
|
Added scripts/yosys/synth_gates
|
2015-09-12 14:02:23 +02:00 |
|
Clifford Wolf
|
686289adc5
|
Improvements in smtio.py
|
2015-08-28 00:59:12 +02:00 |
|
Clifford Wolf
|
534ea17811
|
Improvements in smtio.py "timer display during solving" feature
|
2015-08-28 00:12:45 +02:00 |
|
Clifford Wolf
|
3512605052
|
Added smtio.py "timer display during solving" feature
|
2015-08-27 22:25:11 +02:00 |
|
Clifford Wolf
|
ebb0ea6f7b
|
Added mkvcd class to smtio.py
|
2015-08-27 13:44:53 +02:00 |
|
Clifford Wolf
|
4b62d4cbb9
|
Added (set-info ..) generation to smtio.py
|
2015-08-27 12:46:02 +02:00 |
|
Clifford Wolf
|
8d1956f0da
|
Using "#!/usr/bin/env python3"
|
2015-08-22 09:54:21 +02:00 |
|
Clifford Wolf
|
c6ee9522df
|
More improvements in smt2-bmc scripts
|
2015-08-15 18:07:01 +02:00 |
|
Clifford Wolf
|
e4ddc26576
|
Added cvc4 and mathsat to scripts/smt2-bmc
|
2015-08-15 11:51:55 +02:00 |
|
Clifford Wolf
|
f227332a98
|
Added scripts/smt2-bmc/sync.*
|
2015-08-15 11:28:35 +02:00 |
|
Clifford Wolf
|
ec0891326a
|
Renamed scripts/smt2-bmc/mem_equiv to .../async
|
2015-08-15 10:50:27 +02:00 |
|
Clifford Wolf
|
b28e82cb81
|
Refactoring of scripts/smt2-bmc/
|
2015-08-15 00:20:06 +02:00 |
|
Clifford Wolf
|
0ab0b6eca4
|
Added z3 support to mem_equiv.py
|
2015-08-14 23:57:09 +02:00 |
|
Clifford Wolf
|
16f97a86a1
|
Reset bugfix (bug found via scripts/smt2-bmc/mem_equiv.*)
|
2015-08-13 13:30:21 +02:00 |
|
Clifford Wolf
|
8397962424
|
Progress with smt2-based bmc scripts
|
2015-08-13 11:52:53 +02:00 |
|
Clifford Wolf
|
12e64c7968
|
Progress with smt2-based bmc scripts
|
2015-08-10 12:11:33 +02:00 |
|
Clifford Wolf
|
93d78f38d8
|
Added smt2-based bmc scripts
|
2015-08-09 14:23:02 +02:00 |
|
Clifford Wolf
|
2f326d0761
|
Improvements in icestorm test firmware
|
2015-07-31 11:08:28 +02:00 |
|
Clifford Wolf
|
484fa4ac5f
|
icestorm sim improvements
|
2015-07-21 17:43:33 +02:00 |
|
Clifford Wolf
|
f4842be8bb
|
Improved icestorm example
|
2015-07-19 16:44:31 +02:00 |
|
Clifford Wolf
|
6c7125b380
|
Improved icestorm example
|
2015-07-19 16:09:19 +02:00 |
|
Clifford Wolf
|
812d4d0793
|
Added $(VIVADO_BASE) to vivado Makefile
|
2015-07-16 18:59:58 +02:00 |
|
Clifford Wolf
|
d8c3157bf8
|
Improved firmware for vivado "system" example
|
2015-07-16 11:11:45 +02:00 |
|
Clifford Wolf
|
0249d538fa
|
Improved vivado "system" example
|
2015-07-12 22:59:21 +02:00 |
|
Clifford Wolf
|
94edf3565d
|
Vivado "system" example
|
2015-07-09 02:48:14 +02:00 |