summaryrefslogtreecommitdiffstats
path: root/src/misc
Commit message (Collapse)AuthorAgeFilesLines
* Add WASI support in Abc_Clock.Catherine2023-02-231-1/+1
|
* Merge remote-tracking branch 'upstream/master' into yosys-experimentalMiodrag Milanovic2022-11-091-1/+25
|\
| * Updating features of &if mapper.Alan Mishchenko2022-10-091-1/+25
| |
* | Prevent types from stdint to be defined under abc namespaceMiodrag Milanovic2022-07-041-2/+2
| |
* | Merge remote-tracking branch 'upstream/master' into yosys-experimentalMiodrag Milanovic2022-07-044-1/+29
|\|
| * Dumping equivalences after SAT sweeping.Alan Mishchenko2022-06-261-0/+8
| |
| * Supporting new resub problem format.Alan Mishchenko2022-06-022-0/+20
| |
| * Fix compile error on targets with unsigned charAnton Blanchard2022-02-181-1/+1
| | | | | | | | | | | | | | | | abc is failing to compile on ppc64le because char is unsigned by default: src/misc/extra/extraUtilMisc.c: In function ‘void abc::Extra_TruthExpand(int, int, unsigned int*, unsigned int, unsigned int*)’: src/misc/extra/extraUtilMisc.c:1550:5: error: narrowing conversion of ‘-1’ from ‘int’ to ‘char’ inside { } [-Wnarrowing]
* | 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>
* | Merge remote-tracking branch 'upstream/master' into yosys-experimentalMiodrag Milanovic2021-11-1219-46/+1353
|\|
| * Bug fix and new procedures.Alan Mishchenko2021-11-021-4/+4
| |
| * Bug fix and new procedures.Alan Mishchenko2021-11-021-0/+64
| |
| * Various changes.Alan Mishchenko2021-10-223-15/+39
| |
| * Experiments with pattern generation.Alan Mishchenko2021-10-101-0/+77
| |
| * New command &stochsyn for stochastic synthesis.Alan Mishchenko2021-10-071-0/+9
| |
| * Various changes.Alan Mishchenko2021-10-061-0/+5
| |
| * Compiler warnings.Alan Mishchenko2021-09-301-3/+3
| |
| * Various changes.Alan Mishchenko2021-09-305-4/+150
| |
| * Other compiler changes.Alan Mishchenko2021-09-265-2/+31
| |
| * Changing declaration of Vec_Ptr_t sorting function to satisfy some compilers.Alan Mishchenko2021-09-261-7/+7
| |
| * Various changes.Alan Mishchenko2021-09-262-0/+104
| |
| * Various changes.Alan Mishchenko2021-09-214-1/+149
| |
| * Improving MiniAIG and name manager.Alan Mishchenko2021-09-162-0/+41
| |
| * Various changes.Alan Mishchenko2021-09-142-0/+29
| |
| * Various changes.Alan Mishchenko2021-09-041-5/+8
| |
| * Various changes.Alan Mishchenko2021-09-026-1/+61
| |
| * Experiments with LUT mapping for small functions.Alan Mishchenko2021-08-021-1/+55
| |
| * Experiments with LUT mapping for small functions.Alan Mishchenko2021-08-011-1/+1
| |
| * Experiments with LUT mapping for small functions.Alan Mishchenko2021-08-011-25/+42
| |
| * Experimental simulation commands.Alan Mishchenko2021-07-251-1/+1
| |
| * Experiments with LUT mapping for small functions.Alan Mishchenko2021-07-132-0/+45
| |
| * Experiments with LUT mapping for small functions.Alan Mishchenko2021-06-191-0/+49
| |
| * Updating LUT synthesis code.Alan Mishchenko2021-05-111-11/+14
| |
| * Updating LUT synthesis code.Alan Mishchenko2021-05-081-0/+57
| |
| * Experiments with simulation.Alan Mishchenko2020-12-301-0/+12
| |
| * Compiler warnings.Alan Mishchenko2020-12-211-1/+1
| |
| * Improving MFFC computation code.Alan Mishchenko2020-09-171-0/+20
| |
| * Experiments with iterative synthesis.Alan Mishchenko2020-09-131-0/+20
| |
| * Extending &sim_read to use non-64-divisible pattern counts.Alan Mishchenko2020-08-121-3/+13
| |
| * Experimental resubstitution.Alan Mishchenko2020-05-152-0/+121
| |
| * Experimental resubstitution.Alan Mishchenko2020-05-081-0/+6
| |
| * Experimental resubstitution.Alan Mishchenko2020-05-032-0/+154
| |
* | Add support for WASI platform in Util_SignalSystem.whitequark2020-05-011-0/+4
| |
* | Add support for WASI platform in tmpFile.whitequark2020-05-011-0/+11
|/
* Various changes.Alan Mishchenko2020-03-291-0/+6
|
* Various changes.Alan Mishchenko2020-03-282-5/+15
|
* Experiments with simulation-based engines.Alan Mishchenko2020-03-251-0/+17
|
* Experiments with simulation-based engines.Alan Mishchenko2020-03-223-60/+66
|
* Various changes.Alan Mishchenko2020-03-211-0/+8
|
* Downgrading random number generator to be not inlined.Alan Mishchenko2020-03-182-24/+37
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-28 11:08:22 +0000