| .. |
|
abc_global.h
|
Suggested fix of an overflow in vectors (compiler error).
|
2025-02-23 15:47:00 -08:00 |
|
abc_namespaces.h
|
C++ comaptibility: add namespace support to Glucose
|
2017-11-23 23:32:44 -08:00 |
|
module.make
|
Linear equetion solver.
|
2025-11-01 22:55:14 -07:00 |
|
utilBSet.c
|
Improvements to "lutcasdec".
|
2025-07-20 18:29:20 -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
|
Patch to support WASI builds
|
2024-08-07 14:49:13 +02: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 |
|
utilLinear.c
|
Fixing compilier issues.
|
2025-11-01 23:33:25 -07: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 |
|
utilPrefix.cpp
|
Fixing typos.
|
2025-08-09 17:00:02 -07:00 |
|
utilPth.c
|
Include `stdbool.h` for portability of atomic calls
|
2024-08-07 18:13:45 +02:00 |
|
utilSignal.c
|
Patch to support WASI builds
|
2024-08-07 14:49:13 +02: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
|
Improvements to "lutcasdec".
|
2025-07-20 18:29:20 -07:00 |
|
util_hack.h
|
Adding a wrapper around clock() for more accurate time counting in ABC.
|
2013-05-27 15:09:23 -07:00 |
f897673f68