summaryrefslogtreecommitdiffstats
path: root/src/misc
Commit message (Expand)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
* | Define S_IREAD|IWRITE macros using IRUSR|IWUSRMohamed A. Bamakhrama2021-11-121-0/+17
* | 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