Eddie Hung
9a371cfba9
Merge remote-tracking branch 'origin/master' into xaig
2019-06-27 12:53:23 -07:00
David Shah
71b046d639
tests: Check that Icarus can parse arch sim models
...
Signed-off-by: David Shah <dave@ds0.me>
2019-06-26 18:46:22 +01:00
Eddie Hung
cbbd96aae9
Revert Makefile
2019-06-20 22:30:20 -07:00
Eddie Hung
32f8014e12
Fix gcc error, due to dict invalidation during recursion
2019-06-20 22:10:43 -07:00
Eddie Hung
eb09ea6d54
Run simple_abc9 tests
2019-06-20 19:41:27 -07:00
Eddie Hung
f81a0ed92e
Merge remote-tracking branch 'origin/master' into xc7mux
2019-06-03 23:07:08 -07:00
Eddie Hung
5e75abf870
Bump ABC
2019-05-29 16:34:43 -07:00
Miodrag Milanovic
14bd40cd3d
Aded one more load of .conf to support change of prefix
2019-05-29 18:57:03 +02:00
Miodrag Milanovic
040b06cb37
Remove info line in 2nd load of conf file
2019-05-28 15:43:27 +02:00
Miodrag Milanovic
1575d962fa
Moved pyosys block in Makefile
2019-05-28 14:53:07 +02:00
Miodrag Milanovic
1bbcd277fb
make config-afl-gcc to help creating conf file
2019-05-27 20:43:10 +02:00
Miodrag Milanovic
2ccbfc8d38
Added afl-gcc as target for fuzzer
2019-05-27 20:38:44 +02:00
Kaj Tuomi
90d070d294
Guard all Python-api related items.
2019-05-27 11:31:50 +03:00
Kaj Tuomi
29b898cf76
OS X related fixes.
2019-05-22 22:58:12 +03:00
Stefan Biereigel
c97c860303
extract python prefix to allow overriding
2019-05-14 15:28:03 +02:00
Stefan Biereigel
660e733bd2
remove ldconfig call
2019-05-14 14:49:40 +02:00
Stefan Biereigel
6c9c78d4aa
add mkdir for libyosys target, explicitly copy to target folder
2019-05-14 14:36:31 +02:00
Benedikt Tutzer
dc06e3a28b
Merge branch 'master' of https://github.com/YosysHQ/yosys into feature/python_bindings
2019-04-30 13:22:33 +02:00
Benedikt Tutzer
124a284487
Cleaned up root directory
2019-04-30 13:19:04 +02:00
Clifford Wolf
c0f9a74b12
Set ENABLE_LIBYOSYS=0 by default
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2019-04-22 14:59:30 +02:00
Clifford Wolf
93f32b5dec
Set ENABLE_PYOSYS=0 by default
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2019-04-22 14:49:17 +02:00
Clifford Wolf
99d5435650
Merge pull request #905 from christian-krieg/feature/python_bindings
...
Feature/python bindings
2019-04-22 14:47:52 +02:00
Clifford Wolf
e625324489
Update to ABC 3709744
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2019-04-18 21:25:02 +02:00
Clifford Wolf
ea8ac0aaad
Update to ABC d1b6413
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2019-04-17 13:51:34 +02:00
Benedikt Tutzer
e19981ab61
Suppress error from the compiler run during libboost-python* detection
2019-04-07 10:11:35 +02:00
Benedikt Tutzer
cc270ea81b
Autodetect Python paths and boost python libraries for different distributions
2019-04-05 11:56:01 +02:00
Benedikt Tutzer
574dfb2ef9
Removed link to experimental filesystem library
2019-04-04 09:51:14 +02:00
Benedikt Tutzer
e64b3f1074
Changed filesystem dependency to boost instead of experimental std library
2019-04-04 09:24:50 +02:00
Benedikt Tutzer
c3486c4270
Removed compiler flags that are clang specific
2019-04-03 16:19:47 +02:00
Benedikt Tutzer
d330f4e009
Even less options for the preprocessor
2019-04-03 15:34:31 +02:00
Benedikt Tutzer
c5a8dceff8
Preprocessing does not need all the flags
2019-04-03 15:13:58 +02:00
Benedikt Tutzer
fd7fb1377d
Added cross-platform support for plugin-paths
2019-04-03 13:21:40 +02:00
Benedikt Tutzer
adfd8d463d
Autodetect highest installed python version
2019-04-03 11:17:50 +02:00
Benedikt Tutzer
03d1606b42
Merge remote-tracking branch 'origin/master' into feature/python_bindings
2019-03-28 12:16:39 +01:00
Eddie Hung
02e8dc7ad2
Merge https://github.com/YosysHQ/yosys into read_aiger
2019-03-19 08:52:31 -07:00
Clifford Wolf
9820ed6531
Disable realmath tests
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2019-03-15 00:48:23 +01:00
Clifford Wolf
d9bb5f3637
Add ENABLE_GLOB Makefile switch
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2019-03-11 01:08:36 -07:00
Clifford Wolf
362ef36ccd
Fix Travis
...
It looks like that whole "Fixing Travis's git clone" code was just
there to make the "git describe --tags" work. I simply removed both.
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2019-02-22 00:15:55 +01:00
Eddie Hung
d365682a21
Add aiger tests to make tests
2019-02-19 15:25:47 -08:00
Clifford Wolf
f5d23d4c7a
Update Verific default path
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2019-01-04 14:44:35 +01:00
Benedikt Tutzer
b9288b216d
Make can now install Python libraries to system path
2018-12-21 14:08:23 +01:00
Clifford Wolf
4c5173045b
Merge pull request #704 from webhat/feature/fix-awk
...
Using awk rather than gawk
2018-12-16 16:31:37 +01:00
Benedikt Tutzer
7ca9fa64f7
Added python-api to install
2018-12-11 08:42:57 +01:00
Clifford Wolf
910d94b212
Verific updates
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2018-12-06 07:21:50 +01:00
whitequark
9e072ec21f
opt_lut: new pass, to combine LUTs for tighter packing.
2018-12-05 16:30:37 +00:00
Daniël W. Crompton
c472467be9
Using awk rather than gawk
2018-11-19 21:46:18 +01:00
Clifford Wolf
9228f015a3
Update ABC to git rev 2ddc57d
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2018-11-13 17:22:28 +01:00
Clifford Wolf
d1372873e8
Update ABC to git rev 68da3cf
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2018-11-11 19:37:31 +01:00
Clifford Wolf
43ee1f3f62
Merge pull request #696 from arjenroodselaar/verific_darwin
...
Use appropriate static libraries when building with Verific on MacOS
2018-11-09 13:02:49 +01:00
Clifford Wolf
05d2e5d773
Fix "make ystests" to use correct Yosys binary
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2018-11-08 09:58:47 +01:00