summaryrefslogtreecommitdiffstats
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* fix buffer errorMiodrag Milanovic2022-03-221-2/+5
* gcc 4.8 fixMiodrag Milanovic2022-03-041-3/+3
* read_cex (#12)Miodrag Milanović2022-03-041-7/+285
* Merge pull request #11 from YosysHQ/writecex_cexinfoMiodrag Milanović2022-02-151-30/+64
|\
| * Fixes and more cleanups in write_cex output codeClaire Xenia Wolf2022-02-151-34/+27
| * Cleanups in write_cex output formatClaire Xenia Wolf2022-02-151-2/+7
| * Enable writing of minimized Cex in non-names modeClaire Xenia Wolf2022-02-151-3/+7
| * write_cex - add minimize using algorithm from cexinfo commandMiodrag Milanovic2021-11-191-4/+36
* | Extend WASI platform support for glucose2.whitequark2021-11-273-0/+20
|/
* Add WASI platform support to glucose2.Miodrag Milanovic2021-11-121-8/+6
* Define S_IREAD|IWRITE macros using IRUSR|IWUSRMohamed A. Bamakhrama2021-11-121-0/+17
* Add WASI platform support to bsat2 and glucose.whitequark2021-11-126-0/+32
* Merge remote-tracking branch 'upstream/master' into yosys-experimentalMiodrag Milanovic2021-11-12237-2622/+34584
|\
| * Merge pull request #139 from antmicro/fix-unconnected-couts-upstreamalanminko2021-11-101-1/+24
| |\
| | * Fix typoMichael Gielda2021-10-261-1/+1
| | * Added including unconnected carry-outs in the carry-chain connection list.Maciej Kurc2021-10-251-1/+24
| * | Bug fix in processing NDR.Alan Mishchenko2021-11-083-10/+31
| * | Temporary fix to a &blut problem.Alan Mishchenko2021-11-071-2/+2
| * | Compiler warnings.Alan Mishchenko2021-11-052-22/+37
| * | Bug fix and new procedures.Alan Mishchenko2021-11-021-4/+4
| * | Bug fix and new procedures.Alan Mishchenko2021-11-023-4/+70
| * | New API for external calls.Alan Mishchenko2021-10-262-0/+17
| |/
| * Bug fix in sweep (which happens to be a rare bug in Abc_NodeMinimumBase).Alan Mishchenko2021-10-233-6/+55
| * Various changes.Alan Mishchenko2021-10-229-82/+228
| * Changing static to extern for two procedures.Alan Mishchenko2021-10-171-2/+2
| * Experiments with pattern generation.Alan Mishchenko2021-10-106-0/+1471
| * Experiments with SAT solving.Alan Mishchenko2021-10-093-3/+1388
| * New command &stochsyn for stochastic synthesis.Alan Mishchenko2021-10-072-57/+213
| * Compiler warning.Alan Mishchenko2021-10-061-1/+1
| * New command &stochsyn for stochastic synthesis.Alan Mishchenko2021-10-063-0/+425
| * Various changes.Alan Mishchenko2021-10-064-38/+62
| * Compiler warnings.Alan Mishchenko2021-09-301-2/+2
| * Compiler warnings.Alan Mishchenko2021-09-301-3/+3
| * Various changes.Alan Mishchenko2021-09-3016-5/+1617
| * Other compiler changes.Alan Mishchenko2021-09-269-4/+44
| * Changing declaration of Vec_Ptr_t sorting function to satisfy some compilers.Alan Mishchenko2021-09-2637-66/+66
| * Various changes.Alan Mishchenko2021-09-263-4/+160
| * Two rare corner-case bugs in &if mapper.Alan Mishchenko2021-09-262-2/+6
| * Experiment with simulation.Alan Mishchenko2021-09-221-2/+55
| * Adding command &reshape.Alan Mishchenko2021-09-213-8/+13
| * Adding command &reshape.Alan Mishchenko2021-09-212-15/+15
| * Adding command &reshape.Alan Mishchenko2021-09-214-23/+65
| * Removing unused command.Alan Mishchenko2021-09-213-159/+0
| * Various changes.Alan Mishchenko2021-09-218-17/+175
| * Improving MiniAIG and name manager.Alan Mishchenko2021-09-165-13/+58
| * Further debugging of MiniLUT APIs.Alan Mishchenko2021-09-162-1/+73
| * Various changes.Alan Mishchenko2021-09-145-10/+180
| * Enable command 'pipe' for pipelining.Alan Mishchenko2021-09-133-15/+15
| * Bug fix in MiniLUT code.Alan Mishchenko2021-09-131-1/+1
| * Procedure to printout MiniLUT.Alan Mishchenko2021-09-111-1/+31
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-14 00:05:10 +0000