summaryrefslogtreecommitdiffstats
path: root/src/misc/util
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-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
| | | | | | | | | | | | | | | | 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-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, ↵Alan Mishchenko2019-03-053-9/+9
| | | | memcpy, etc.
* 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
| | | | | | | If ABC_HAVE_STDINT_H is defined, standard C99 headers will be used to define all of the platform-dependent types required. arch_flags will also no longer be required. This new define is optional and must be manually enabled by setting ARCHFLAGS.
* 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
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-25 06:42:02 +0000