summaryrefslogtreecommitdiffstats
path: root/src/misc/util/abc_global.h
Commit message (Expand)AuthorAgeFilesLines
* Other compiler changes.Alan Mishchenko2021-09-261-1/+6
* Various changes.Alan Mishchenko2021-09-261-0/+1
* Various changes.Alan Mishchenko2021-09-211-0/+1
* Various changes.Alan Mishchenko2021-09-021-0/+2
* Various changes.Alan Mishchenko2020-03-291-0/+6
* Downgrading random number generator to be not inlined.Alan Mishchenko2020-03-181-24/+2
* Adding macro to disable bridge output and APIs by popular demand.Alan Mishchenko2019-11-091-10/+85
* Fixing some more warnings by adding cast from 'int' to 'size_t'.Alan Mishchenko2019-03-051-8/+8
* 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-051-5/+5
* Various usability changes (second round).Alan Mishchenko2018-11-201-0/+3
* Rename new flag to ABC_USE_STDINT_HRobert Ou2018-03-291-6/+6
* Add an option to use C99 stdint.hRobert Ou2018-03-261-0/+53
* Addressing recently reported Bitbucket Issue #72 and #73.Alan Mishchenko2017-10-031-5/+5
* Using arch macro for moderns compilersBruno Schmitt2017-07-041-5/+5
* Compiler warnings.Alan Mishchenko2017-04-281-3/+3
* Movinng custom floating-point implementations, etc.Alan Mishchenko2017-02-111-0/+2
* move namespace logic into a separate file. It is useful for users of ABC that...Baruch Sterin2015-11-201-27/+1
* Fix to the #include <stdlib.h> problem for Debug version on Window.Alan Mishchenko2015-10-161-8/+8
* make sure all of ABC and related libraries are in the same namespace (when co...Baruch Sterin2015-10-161-0/+1
* Improvements to Cba data-structure.Alan Mishchenko2015-08-081-0/+1
* Adding resource limit switch -C to 'sop'.Alan Mishchenko2015-02-111-1/+1
* Preprocessing for multi-output PLA tables.Alan Mishchenko2015-01-311-0/+1
* New assertions and bug fix in DSD balancing.Alan Mishchenko2015-01-271-8/+19
* Fix in reading flop classes.Alan Mishchenko2014-11-211-0/+4
* Fix parenthesization of Abc_Clock #ifdef.Aaron Tomb2013-11-061-1/+1
* Don't assume MSVC when __MINGW32__ set.Aaron Tomb2013-11-041-0/+2
* Make definition of Abc_Clock work with MINGW32.Aaron Tomb2013-11-041-1/+1
* Compiler warnings.Alan Mishchenko2013-10-301-3/+3
* Small changes to compile on Mac.Alan Mishchenko2013-08-151-1/+1
* Adding #include <stdlib.h> to 'abc_global.h' to prevent compilation problem o...Alan Mishchenko2013-07-011-0/+1
* Suggested changes to counting time in Abc_Clock()Alan Mishchenko2013-06-181-10/+10
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-271-1/+1
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-271-12/+30
* User-controlable SAT sweeper.Alan Mishchenko2013-02-251-1/+2
* Fixing compilation problems on Linux-32 related to constants of type unsigned...Alan Mishchenko2013-01-301-0/+6
* Fixing C++ compilation issues.Alan Mishchenko2013-01-081-0/+4
* DSD manager.Alan Mishchenko2012-11-191-0/+1
* Improvements to the truth table computations.Alan Mishchenko2012-10-301-0/+1
* Added switch for netlist type to 'send_aig'. Changed defautl to &-space. Fixe...Niklas Een2012-10-301-4/+13
* Adding #ifdef to guard windows-specific debugging option.Alan Mishchenko2012-10-201-3/+5
* C++ portability changes.Alan Mishchenko2012-10-031-5/+6
* New package to read/write a subset of Liberty for STA.Alan Mishchenko2012-08-251-0/+1
* Added purification of UNSAT core in &gla.Alan Mishchenko2012-08-101-6/+6
* Fixing the integer print-out problem.Alan Mishchenko2012-07-131-13/+13
* Fixing the integer print-out problem.Alan Mishchenko2012-07-131-12/+18
* Improvements in the proof-logging SAT solver.Alan Mishchenko2012-07-111-0/+19
* Replacing Mb/Gb to be MB/GB.Alan Mishchenko2012-07-091-4/+4
* Fixing time printouts in 'pdr'.Alan Mishchenko2012-07-071-4/+4
* Fixing time printouts in 'pdr'.Alan Mishchenko2012-07-071-4/+4