Clifford Wolf
|
2cc4e75914
|
Added read_blif command
|
2015-05-17 15:25:03 +02:00 |
Clifford Wolf
|
61512b6f41
|
Verific build fixes
|
2015-05-17 08:19:52 +02:00 |
Clifford Wolf
|
f483dce7c2
|
Added $eq/$neq -> $logic_not/$reduce_bool optimization
|
2015-04-29 07:28:15 +02:00 |
Clifford Wolf
|
49859393bb
|
Improved attributes API and handling of "src" attributes
|
2015-04-24 22:04:05 +02:00 |
Clifford Wolf
|
cfdc9fc50e
|
A "#" does start a comment, not a label.
|
2015-04-16 18:13:41 +02:00 |
Clifford Wolf
|
44519d4399
|
Added back-end auto-detect for .edif and .json
|
2015-04-09 15:37:54 +02:00 |
Clifford Wolf
|
25781e329b
|
Fixed const2big performance bug
|
2015-04-09 13:20:19 +02:00 |
Clifford Wolf
|
21a1cc1b60
|
Added support for "file names with blanks"
|
2015-04-08 12:14:34 +02:00 |
Clifford Wolf
|
aae5f2ca08
|
Added hashlib support for std::tuple<>
|
2015-04-07 17:23:30 +02:00 |
Clifford Wolf
|
b31e77fd06
|
Added pool<K>::pop()
|
2015-04-07 15:07:01 +02:00 |
Clifford Wolf
|
169d1c4711
|
Added support for initialized brams
|
2015-04-06 17:06:15 +02:00 |
Clifford Wolf
|
a1c62b79d5
|
Avoid parameter values with size 0 ($mem cells)
|
2015-04-05 18:04:19 +02:00 |
Clifford Wolf
|
706631225e
|
Added $_MUX4_, $_MUX8_, and $_MUX16_ cell types
|
2015-04-05 09:45:14 +02:00 |
Clifford Wolf
|
c52a4cdeed
|
Added "dffinit", Support for initialized Xilinx DFF
|
2015-04-04 19:00:15 +02:00 |
Clifford Wolf
|
68bbb15214
|
Fixed detection of absolute paths in ABC for win32
|
2015-03-22 11:03:56 +01:00 |
Clifford Wolf
|
b005eedf36
|
Added $assume cell type
|
2015-02-26 18:04:10 +01:00 |
Clifford Wolf
|
9ae21263f0
|
Some cleanups in "clean"
|
2015-02-24 22:31:30 +01:00 |
Clifford Wolf
|
4e6ca7760f
|
Replaced ezDefaultSAT with ezSatPtr
|
2015-02-21 12:15:41 +01:00 |
Clifford Wolf
|
e0e6d130cd
|
YosysJS stuff
|
2015-02-19 13:36:54 +01:00 |
Clifford Wolf
|
f41378af8c
|
Fixed clang (svn trunk) warnings
|
2015-02-18 14:54:22 +01:00 |
Clifford Wolf
|
3e5e9a3889
|
More YosysJS stuff
|
2015-02-16 13:23:54 +01:00 |
Clifford Wolf
|
33e80b96c7
|
Added YosysJS wrapper
|
2015-02-16 12:41:48 +01:00 |
Clifford Wolf
|
8d45f81046
|
More emcc stuff
|
2015-02-15 17:15:29 +01:00 |
Clifford Wolf
|
3216f9420e
|
More emscripten stuff, Added example app
|
2015-02-15 12:09:30 +01:00 |
Clifford Wolf
|
dcf2e24240
|
Added $meminit support to "memory" command
|
2015-02-14 12:55:03 +01:00 |
Clifford Wolf
|
910556560f
|
Added $meminit cell type
|
2015-02-14 10:23:03 +01:00 |
Clifford Wolf
|
adf4ecbc1f
|
Some hashlib improvements
|
2015-02-09 20:11:51 +01:00 |
Clifford Wolf
|
a779a09771
|
Fixed creation of command reference in manual
|
2015-02-09 13:24:29 +01:00 |
Clifford Wolf
|
bcd8a2fc56
|
Fixed eval_select_op() api
|
2015-02-08 19:06:16 +01:00 |
Clifford Wolf
|
09ee65a050
|
Added eval_select_args() and eval_select_op()
|
2015-02-08 18:56:06 +01:00 |
Clifford Wolf
|
6d2f31c04a
|
Various ModIndex improvements
|
2015-02-08 14:23:12 +01:00 |
Clifford Wolf
|
05d4223fb6
|
Added SigSpec::has_const()
|
2015-02-08 00:01:51 +01:00 |
Clifford Wolf
|
dce1fae777
|
Added cell->known(), cell->input(portname), cell->output(portname)
|
2015-02-07 11:40:19 +01:00 |
Clifford Wolf
|
5b41470e15
|
Skip blackbox modules in design->selected_modules()
|
2015-02-03 23:12:23 +01:00 |
Clifford Wolf
|
8514fe79db
|
Added "yosys -L logfile"
|
2015-02-03 23:12:23 +01:00 |
Clifford Wolf
|
1df81f92ce
|
Added "make mklibyosys", some minor API changes
|
2015-02-01 13:38:46 +01:00 |
Clifford Wolf
|
9948ff2d8a
|
Added yosys_banner(), Updated Copyright range
|
2015-02-01 00:39:59 +01:00 |
Clifford Wolf
|
07326943e7
|
Added <algorithm> include to hashlib.h
|
2015-02-01 00:27:07 +01:00 |
Clifford Wolf
|
67218443be
|
Log msg change
|
2015-01-31 21:26:53 +01:00 |
Clifford Wolf
|
bc86b4a7e9
|
Added "equiv_induct -undef"
|
2015-01-31 13:58:04 +01:00 |
Clifford Wolf
|
e9cfc4a453
|
Added "equiv_simple -undef"
|
2015-01-31 13:06:41 +01:00 |
Clifford Wolf
|
f80f5b721d
|
Added "equiv_make -blacklist <file> -encfile <file>"
|
2015-01-31 12:08:20 +01:00 |
Clifford Wolf
|
cb9d0a414d
|
Synced RTLIL::unescape_id() to log_id() behavior
|
2015-01-30 22:51:16 +01:00 |
Clifford Wolf
|
aabd5097ed
|
More log_id() stuff
|
2015-01-30 22:22:52 +01:00 |
Clifford Wolf
|
114a78d11a
|
Some cleanups in log.cc
|
2015-01-30 22:12:26 +01:00 |
Clifford Wolf
|
13b50bacfe
|
Rethrow with "catch(...) throw;"
|
2015-01-25 22:57:09 +01:00 |
Clifford Wolf
|
2a9ad48eb6
|
Added ENABLE_NDEBUG makefile options
|
2015-01-24 12:16:46 +01:00 |
Clifford Wolf
|
8fe9ab50e5
|
Added #ifdef NDEBUG for log_assert()
|
2015-01-24 11:49:34 +01:00 |
Clifford Wolf
|
43951099cf
|
Added dict/pool.sort()
|
2015-01-24 00:13:27 +01:00 |
Clifford Wolf
|
a6aa32e762
|
Various equiv_simple improvements
|
2015-01-22 13:42:04 +01:00 |