mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-25 01:55:33 +00:00
Code Activity
4781 commits 98 branches 53 tags 45 MiB
Commit graph

331 commits

Author SHA1 Message Date
Eddie Hung
116176e151 Merge remote-tracking branch 'origin/master' into xaig 2019-04-17 11:01:15 -07:00
Clifford Wolf
ea8ac0aaad Update to ABC d1b6413 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2019-04-17 13:51:34 +02:00
Eddie Hung
bca3cf6843 Merge branch 'master' into xaig 2019-04-08 16:31:59 -07: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
Eddie Hung
f7c7003a19 Merge remote-tracking branch 'origin/master' into xaig 2019-02-26 13:16:03 -08: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
3307295488 Merge branch 'read_aiger' into xaig 2019-02-21 14:27:32 -08:00
Eddie Hung
d365682a21 Add aiger tests to make tests 2019-02-19 15:25:47 -08:00
Eddie Hung
edf7267019 Refactor kernel/cost.h definition into cost.cc 2019-02-08 13:58:20 -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
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
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
Arjen Roodselaar
4e846694f7 Use appropriate static libraries when building with Verific on MacOS 2018-11-07 23:18:47 -08:00
Clifford Wolf
60ecc5c70c Update ABC rev to 4d56acf 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-11-06 11:10:27 +01:00
Ruben Undheim
d5aac2650f Basic test for checking correct synthesis of SystemVerilog interfaces 2018-10-18 22:40:53 +02:00
Clifford Wolf
a25f370191 Update ABC to git rev 14d985a 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-10-18 12:26:53 +02:00
Clifford Wolf
22d9535a24 Update ABC to git rev c5b48bb 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-10-17 12:23:50 +02:00
Clifford Wolf
6e00c217ae After release is before release 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-10-16 16:44:58 +02:00
Clifford Wolf
5706e90802 Yosys 0.8 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-10-16 16:22:16 +02:00
Miodrag Milanovic
c5e9034834 Fix Cygwin build and document needed packages 2018-09-19 10:16:53 +02:00
Clifford Wolf
0b7a18470b Add "make ystests" 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-08-30 12:26:26 +02:00
Clifford Wolf
ddc1761f1a Add "make coverage" 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-08-27 14:22:21 +02:00
Clifford Wolf
9e845bd254 Add ENABLE_GCOV build option 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-08-27 13:27:05 +02:00
Miodrag Milanovic
306a010e19 static link flag on main executable 2018-08-25 16:20:44 +02:00
Miodrag Milanovic
75d1852943 no -fPIC for any static build 2018-08-18 19:17:02 +02:00
Miodrag Milanovic
443865ab87 respect DISABLE_ABC_THREADS if used 2018-08-18 18:21:28 +02:00
Miodrag Milanovic
45740236b6 Enable propagating ARCHFLAGS 2018-08-18 15:11:58 +02:00
Miodrag Milanovic
539053ab68 Added option to disable -fPIC on unsupported platforms 2018-08-18 14:14:17 +02:00
Miodrag Milanovic
3e20788c24 Added gcc-static for easier cross compilation 2018-08-18 14:00:55 +02:00
Miodrag Milanovic
a5136c768b Changes for MXE configuration in order to compile 2018-08-15 19:08:45 +02:00
Clifford Wolf
ed32760d4a
Merge pull request #573 from cr1901/msys-64 
Add support for 64-bit builds using msys2 environment, use msys-provided `libpthread`.
 2018-08-15 14:20:10 +02:00
Clifford Wolf
b50fe1e3e9 Upodate ABC to git rev ae6716b 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-07-22 14:35:32 +02:00
Clifford Wolf
ab700ef215 Add missing -lz to MXE build 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-07-22 14:28:45 +02:00
William D. Jones
7e5801beed Add support for 64-bit builds using msys2 environment. 2018-06-27 16:36:18 -04:00
William D. Jones
ee7164b879 Use msys2-provided pthreads instead of abc's. 2018-06-27 16:26:36 -04:00
Serge Bazanski
53e9a1549c Add Protobuf backend 
Signed-off-by: Serge Bazanski <q3k@symbioticeda.com>
 2018-06-19 13:34:56 +01:00
Clifford Wolf
a77e27ab15 Update ABC to git rev 6df1396 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-05-30 13:10:10 +02:00
Robert Ou
bea71e71ca Force abc to align memory to 8 bytes 
Apparently abc has a memory pool implementation that by default returns
memory that is unaligned. There is a workaround in the abc makefile that
uses uname to look for "arm" specifically and then sets the alignment.
However, ARM is not the only platform that requires proper alignment
(e.g. emscripten does too). For now, pessimistically force the alignment
for 8 bytes all the time (somehow 4 wasn't enough for fixing emscripten
despite being approximately a 32-bit platform).
 2018-05-18 22:53:52 -07:00
Robert Ou
d9ef793430 Force abc to be linked statically and without threads in emscripten 2018-05-18 22:53:47 -07:00
Robert Ou
93f79299a5 Add options to disable abc's usage of pthreads and readline 2018-05-18 22:42:24 -07:00
Robert Ou
bfce3a7479 Add an option to statically link abc into yosys 
This is currently incomplete because the output filter no longer works.
 2018-05-18 22:35:28 -07:00
Robert Ou
1b210dbfb7 Makefile: Make abc always use stdint.h 2018-05-18 22:26:29 -07:00