summaryrefslogtreecommitdiffstats
path: root/src
Commit message (Collapse)AuthorAgeFilesLines
* read_cex: Allow reading cex that has extra registersJannis Harder2022-07-011-0/+6
|
* distinquish between old and new format as wellMiodrag Milanovic2022-05-061-3/+3
|
* Give more reasonable error on read_cex and handle statusMiodrag Milanovic2022-05-061-4/+7
|
* Add missing class names in FreeBSD-ifdefed code.Yuri Victorovich2022-05-062-2/+2
|
* Fix for unhandled aiw file commandsMiodrag Milanovic2022-04-151-2/+2
|
* Make read_cex able to append if some latches are missingMiodrag Milanovic2022-04-131-3/+11
|
* 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
| | | Added read_cex command
* Merge pull request #11 from YosysHQ/writecex_cexinfoMiodrag Milanović2022-02-151-30/+64
|\ | | | | Integrate write_cex and cexinfo and some fixes in write_cex output code
| * Fixes and more cleanups in write_cex output codeClaire Xenia Wolf2022-02-151-34/+27
| | | | | | | | Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
| * Cleanups in write_cex output formatClaire Xenia Wolf2022-02-151-2/+7
| | | | | | | | Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
| * Enable writing of minimized Cex in non-names modeClaire Xenia Wolf2022-02-151-3/+7
| | | | | | | | Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
| * 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
|/ | | | Abort on OOM since there are no C++ exceptions yet.
* Add WASI platform support to glucose2.Miodrag Milanovic2021-11-121-8/+6
| | | | Signed-off-by: Miodrag Milanovic <mmicko@gmail.com>
* Define S_IREAD|IWRITE macros using IRUSR|IWUSRMohamed A. Bamakhrama2021-11-121-0/+17
| | | | | | | | On platforms such as Android, legacy macros are no longer defined. Hence, we define them in terms of the new POSIX macros if the new ones are defined. Otherwise, we throw an error. Signed-off-by: Mohamed A. Bamakhrama <mohamed@alumni.tum.de> Signed-off-by: Miodrag Milanovic <mmicko@gmail.com>
* Add WASI platform support to bsat2 and glucose.whitequark2021-11-126-0/+32
| | | | | | Abort on OOM since there are no C++ exceptions yet. Signed-off-by: Miodrag Milanovic <mmicko@gmail.com>
* 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
| |\ | | | | | | Consider unconnected carry-out ports
| | * Fix typoMichael Gielda2021-10-261-1/+1
| | |
| | * Added including unconnected carry-outs in the carry-chain connection list.Maciej Kurc2021-10-251-1/+24
| | | | | | | | | | | | Signed-off-by: Maciej Kurc <mkurc@antmicro.com>
| * | 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
| |
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-15 18:21:47 +0000