summaryrefslogtreecommitdiffstats
path: root/src/misc/util
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-041-0/+18
|\|
| * Supporting new resub problem format.Alan Mishchenko2022-06-021-0/+18
* | 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-125-35/+613
|\|
| * Various changes.Alan Mishchenko2021-10-221-15/+15
| * Various changes.Alan Mishchenko2021-09-301-4/+44
| * Other compiler changes.Alan Mishchenko2021-09-261-1/+6
| * Various changes.Alan Mishchenko2021-09-262-0/+104
| * Various changes.Alan Mishchenko2021-09-213-1/+103
| * Improving MiniAIG and name manager.Alan Mishchenko2021-09-162-0/+41
| * Various changes.Alan Mishchenko2021-09-022-0/+8
| * 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
| * Experiments with LUT mapping for small functions.Alan Mishchenko2021-06-191-0/+49
| * Experiments with simulation.Alan Mishchenko2020-12-301-0/+12
| * Experimental resubstitution.Alan Mishchenko2020-05-031-0/+146
* | 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-281-0/+10
* Experiments with simulation-based engines.Alan Mishchenko2020-03-251-0/+17
* Experiments with simulation-based engines.Alan Mishchenko2020-03-221-0/+10
* Downgrading random number generator to be not inlined.Alan Mishchenko2020-03-182-24/+37
* Updating and extending simulation data structures.Alan Mishchenko2020-03-051-0/+7
* Adding several new utilities.Alan Mishchenko2020-01-271-0/+102
* Adding macro to disable bridge output and APIs by popular demand.Alan Mishchenko2019-11-091-10/+85
* Updating command 'symfun' to generate symmetric functions and their NPN classes.Alan Mishchenko2019-05-301-1/+26
* Fixing some more warnings by adding cast from 'int' to 'size_t'.Alan Mishchenko2019-03-052-20/+20
* Fixing several other type conversion warnings.Alan Mishchenko2019-03-051-8/+8
* Fixing some warnings by adding cast from 'int' to 'size_t' in memset, memcpy,...Alan Mishchenko2019-03-053-9/+9
* Procedure to trasnsform counter-examples.Alan Mishchenko2019-01-151-3/+3
* Adding switch &w -n to modify the comment section of the AIGER file written.Alan Mishchenko2018-11-211-1/+1
* Various usability changes (second round).Alan Mishchenko2018-11-201-0/+3
* New APIs of the truth table package.Alan Mishchenko2018-09-211-0/+28
* Adding command 'majgen'.Alan Mishchenko2018-07-041-0/+69
* Rename new flag to ABC_USE_STDINT_HRobert Ou2018-03-292-7/+7
* Add an option to use C99 stdint.hRobert Ou2018-03-262-0/+56
* Updating &mfs to support hard objects.Alan Mishchenko2018-03-231-0/+30
* C++ comaptibility: add namespace support to GlucoseBaruch Sterin2017-11-231-0/+6
* Another variation on exact synthesis.Alan Mishchenko2017-10-111-1/+1
* Improvements to truth table manipulation.Alan Mishchenko2017-10-051-98/+37
* Updates and bug fixes.Alan Mishchenko2017-10-041-0/+3
* Addressing recently reported Bitbucket Issue #72 and #73.Alan Mishchenko2017-10-031-5/+5
* Exact synthesis of majority gates.Alan Mishchenko2017-10-011-8/+32
* Exact synthesis of majority gates.Alan Mishchenko2017-10-011-1/+214