Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Update to ABC 3709744 | Clifford Wolf | 2019-04-18 | 1 | -1/+1 |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | Update to ABC d1b6413 | Clifford Wolf | 2019-04-17 | 1 | -1/+1 |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | Merge https://github.com/YosysHQ/yosys into read_aiger | Eddie Hung | 2019-03-19 | 1 | -2/+7 |
|\ | |||||
| * | Disable realmath tests | Clifford Wolf | 2019-03-15 | 1 | -1/+1 |
| | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | Add ENABLE_GLOB Makefile switch | Clifford Wolf | 2019-03-11 | 1 | -0/+5 |
| | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | Fix Travis | Clifford Wolf | 2019-02-22 | 1 | -1/+1 |
| | | | | | | | | | | | | | | 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> | ||||
* | | Add aiger tests to make tests | Eddie Hung | 2019-02-19 | 1 | -0/+1 |
|/ | |||||
* | Update Verific default path | Clifford Wolf | 2019-01-04 | 1 | -1/+1 |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | Merge pull request #704 from webhat/feature/fix-awk | Clifford Wolf | 2018-12-16 | 1 | -2/+3 |
|\ | | | | | Using awk rather than gawk | ||||
| * | Using awk rather than gawk | Daniƫl W. Crompton | 2018-11-19 | 1 | -2/+3 |
| | | |||||
* | | Verific updates | Clifford Wolf | 2018-12-06 | 1 | -1/+1 |
| | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | | opt_lut: new pass, to combine LUTs for tighter packing. | whitequark | 2018-12-05 | 1 | -1/+2 |
|/ | |||||
* | Update ABC to git rev 2ddc57d | Clifford Wolf | 2018-11-13 | 1 | -1/+1 |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | Update ABC to git rev 68da3cf | Clifford Wolf | 2018-11-11 | 1 | -1/+1 |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | Merge pull request #696 from arjenroodselaar/verific_darwin | Clifford Wolf | 2018-11-09 | 1 | -0/+4 |
|\ | | | | | Use appropriate static libraries when building with Verific on MacOS | ||||
| * | Use appropriate static libraries when building with Verific on MacOS | Arjen Roodselaar | 2018-11-07 | 1 | -0/+4 |
| | | |||||
* | | Fix "make ystests" to use correct Yosys binary | Clifford Wolf | 2018-11-08 | 1 | -1/+1 |
|/ | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | Update ABC rev to 4d56acf | Clifford Wolf | 2018-11-06 | 1 | -1/+1 |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | Basic test for checking correct synthesis of SystemVerilog interfaces | Ruben Undheim | 2018-10-18 | 1 | -0/+2 |
| | |||||
* | Update ABC to git rev 14d985a | Clifford Wolf | 2018-10-18 | 1 | -1/+1 |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | Update ABC to git rev c5b48bb | Clifford Wolf | 2018-10-17 | 1 | -1/+1 |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | After release is before release | Clifford Wolf | 2018-10-16 | 1 | -1/+1 |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | Yosys 0.8 | Clifford Wolf | 2018-10-16 | 1 | -1/+1 |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | Fix Cygwin build and document needed packages | Miodrag Milanovic | 2018-09-19 | 1 | -0/+9 |
| | |||||
* | Add "make ystests" | Clifford Wolf | 2018-08-30 | 1 | -0/+8 |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | Add "make coverage" | Clifford Wolf | 2018-08-27 | 1 | -1/+7 |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | Add ENABLE_GCOV build option | Clifford Wolf | 2018-08-27 | 1 | -0/+11 |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | static link flag on main executable | Miodrag Milanovic | 2018-08-25 | 1 | -1/+1 |
| | |||||
* | no -fPIC for any static build | Miodrag Milanovic | 2018-08-18 | 1 | -3/+1 |
| | |||||
* | respect DISABLE_ABC_THREADS if used | Miodrag Milanovic | 2018-08-18 | 1 | -2/+5 |
| | |||||
* | Enable propagating ARCHFLAGS | Miodrag Milanovic | 2018-08-18 | 1 | -2/+2 |
| | |||||
* | Added option to disable -fPIC on unsupported platforms | Miodrag Milanovic | 2018-08-18 | 1 | -0/+3 |
| | |||||
* | Added gcc-static for easier cross compilation | Miodrag Milanovic | 2018-08-18 | 1 | -1/+15 |
| | |||||
* | Changes for MXE configuration in order to compile | Miodrag Milanovic | 2018-08-15 | 1 | -4/+4 |
| | |||||
* | Merge pull request #573 from cr1901/msys-64 | Clifford Wolf | 2018-08-15 | 1 | -2/+17 |
|\ | | | | | Add support for 64-bit builds using msys2 environment, use msys-provided `libpthread`. | ||||
| * | Add support for 64-bit builds using msys2 environment. | William D. Jones | 2018-06-27 | 1 | -1/+16 |
| | | |||||
| * | Use msys2-provided pthreads instead of abc's. | William D. Jones | 2018-06-27 | 1 | -1/+1 |
| | | |||||
* | | Upodate ABC to git rev ae6716b | Clifford Wolf | 2018-07-22 | 1 | -1/+1 |
| | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | | Add missing -lz to MXE build | Clifford Wolf | 2018-07-22 | 1 | -1/+1 |
|/ | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | Add Protobuf backend | Serge Bazanski | 2018-06-19 | 1 | -0/+5 |
| | | | | Signed-off-by: Serge Bazanski <q3k@symbioticeda.com> | ||||
* | Update ABC to git rev 6df1396 | Clifford Wolf | 2018-05-30 | 1 | -1/+1 |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | Force abc to align memory to 8 bytes | Robert Ou | 2018-05-18 | 1 | -1/+1 |
| | | | | | | | | | | 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). | ||||
* | Force abc to be linked statically and without threads in emscripten | Robert Ou | 2018-05-18 | 1 | -0/+5 |
| | |||||
* | Add options to disable abc's usage of pthreads and readline | Robert Ou | 2018-05-18 | 1 | -0/+10 |
| | |||||
* | Add an option to statically link abc into yosys | Robert Ou | 2018-05-18 | 1 | -4/+18 |
| | | | | This is currently incomplete because the output filter no longer works. | ||||
* | Makefile: Make abc always use stdint.h | Robert Ou | 2018-05-18 | 1 | -4/+8 |
| | |||||
* | Use $(OS) in makefile to check for Darwin | Clifford Wolf | 2018-05-13 | 1 | -1/+1 |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | Enable building on FreeBSD | Johnny Sorocil | 2018-05-06 | 1 | -1/+17 |
| | |||||
* | Update ABC to git rev f23ea8e | Clifford Wolf | 2018-04-30 | 1 | -1/+1 |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | Improve Makefile error handling for when abc/ is a hg working copy | Clifford Wolf | 2018-04-12 | 1 | -0/+3 |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> |