| .. |
|
abc_global.h
|
Changing default time counting from thread time to wall time.
|
2023-07-25 12:54:22 -07:00 |
|
abc_namespaces.h
|
C++ comaptibility: add namespace support to Glucose
|
2017-11-23 23:32:44 -08:00 |
|
module.make
|
New ISOP computation.
|
2014-10-04 17:56:08 -07:00 |
|
utilBridge.c
|
Adding switch &w -n to modify the comment section of the AIGER file written.
|
2018-11-21 13:12:01 -08:00 |
|
utilCex.c
|
Procedure to trasnsform counter-examples.
|
2019-01-15 17:30:39 -08:00 |
|
utilCex.h
|
Added transformation of CEX after 'fix_aig' and checking of transformed CEXes using 'testcex -a'.
|
2014-06-17 12:21:48 -07:00 |
|
utilColor.c
|
Command to test console colors.
|
2014-04-10 18:07:54 -07:00 |
|
utilDouble.h
|
Movinng custom floating-point implementations, etc.
|
2017-02-11 13:55:41 -08:00 |
|
utilFile.c
|
Recommended changes for portability.
|
2014-10-12 09:10:27 -07:00 |
|
utilFloat.h
|
Movinng custom floating-point implementations, etc.
|
2017-02-11 13:55:41 -08:00 |
|
utilIsop.c
|
Improvements to storing and reusing simulation info.
|
2015-11-05 15:27:33 -08:00 |
|
utilMem.c
|
Fixing some warnings by adding cast from 'int' to 'size_t' in memset, memcpy, etc.
|
2019-03-05 15:57:50 -08:00 |
|
utilMem.h
|
Major restructuring of the code.
|
2012-01-21 04:30:10 -08:00 |
|
utilNam.c
|
Various changes.
|
2021-09-21 10:00:46 -07:00 |
|
utilNam.h
|
Improving MiniAIG and name manager.
|
2021-09-16 21:51:10 -07:00 |
|
utilSignal.c
|
pyabc: remove python integration from abc, it is moved to a separate extension
|
2015-11-05 01:24:26 -08:00 |
|
utilSignal.h
|
Major restructuring of the code.
|
2012-01-21 04:30:10 -08:00 |
|
utilSort.c
|
Trying to fix the compilation issue.
|
2024-07-31 22:25:01 -07:00 |
|
utilTruth.h
|
chore: add `__builtin_popcount` for MSVC
|
2024-07-26 21:48:53 +02:00 |
|
util_hack.h
|
Adding a wrapper around clock() for more accurate time counting in ABC.
|
2013-05-27 15:09:23 -07:00 |
9f864ebe76