summaryrefslogtreecommitdiffstats
path: root/src
Commit message (Collapse)AuthorAgeFilesLines
...
| * | | Bug fix in delay-opt framework.Alan Mishchenko2017-01-071-4/+4
| | | |
| * | | Adding an option to not add buffers to decouple COs driven by the same ↵Alan Mishchenko2017-01-071-0/+7
| | | | | | | | | | | | | | | | internal node.
| * | | Compiler warnings.Alan Mishchenko2017-01-078-31/+31
| | | |
| * | | Dealing wit COs driven by inverters in MiniLUT.Alan Mishchenko2017-01-061-2/+38
| | | |
| * | | Creating file name from design name for PDR invariant.Alan Mishchenko2017-01-061-1/+2
| | | |
| * | | Updates to delay optimization project.Alan Mishchenko2017-01-051-15/+17
| | | |
| * | | Adding two external APIs.Alan Mishchenko2017-01-051-0/+2
| | | |
| * | | Updates to delay optimization project.Alan Mishchenko2017-01-022-10/+10
| | | |
| * | | Updates to delay optimization project.Alan Mishchenko2017-01-021-3/+20
| | | |
| * | | Updates to delay optimization project.Alan Mishchenko2017-01-021-16/+16
| | | |
| * | | Updates to delay optimization project.Alan Mishchenko2017-01-021-1/+1
| | | |
| * | | Updates to delay optimization project.Alan Mishchenko2017-01-021-2/+4
| | | |
| * | | Updates to delay optimization project.Alan Mishchenko2017-01-027-30/+268
| | | |
| * | | Updates to delay optimization project.Alan Mishchenko2017-01-011-1/+1
| | | |
| * | | Updates to delay optimization project.Alan Mishchenko2017-01-012-30/+31
| | | |
| * | | Updates to delay optimization project.Alan Mishchenko2017-01-011-1/+1
| | | |
| * | | Updates to delay optimization project.Alan Mishchenko2017-01-014-1/+468
| | | |
| * | | Updates to delay optimization project.Alan Mishchenko2017-01-011-1/+1
| | | |
| * | | Updates to delay optimization project.Alan Mishchenko2017-01-011-0/+2
| | | |
| * | | Compiler warnings.Alan Mishchenko2017-01-011-1/+1
| | | |
| * | | Updates to delay optimization project.Alan Mishchenko2017-01-011-1/+1
| | | |
| * | | Updates to delay optimization project.Alan Mishchenko2016-12-311-1/+1
| | | |
| * | | Updates to delay optimization project.Alan Mishchenko2016-12-311-1/+1
| | | |
| * | | Compiler warnings.Alan Mishchenko2016-12-316-15/+15
| | | |
| * | | Updates to delay optimization project.Alan Mishchenko2016-12-312-0/+12
| | | |
| * | | Updates to delay optimization project.Alan Mishchenko2016-12-319-198/+446
| | | |
| * | | Updates to delay optimization project.Alan Mishchenko2016-12-297-153/+196
| | | |
| * | | Updates to delay optimization project.Alan Mishchenko2016-12-294-39/+332
| | | |
| * | | Updates to delay optimization project.Alan Mishchenko2016-12-282-107/+239
| | | |
| * | | C++ compatibility fix.Alan Mishchenko2016-12-281-0/+2
| | | |
| * | | Updates to delay optimization project.Alan Mishchenko2016-12-272-0/+618
| | | |
| * | | Updates to delay optimization project.Alan Mishchenko2016-12-272-3/+4
| | | |
| * | | Updates to delay optimization project.Alan Mishchenko2016-12-274-48/+254
| | | |
| * | | Updates to delay optimization project.Alan Mishchenko2016-12-256-63/+551
| | | |
| * | | Correcting API names for inputing/outputing MiniLut.Alan Mishchenko2016-12-231-3/+3
| | | |
| * | | Several changes in arithmetic circuit manipulation.Alan Mishchenko2016-12-227-24/+426
| | | |
| * | | Converting some errors into warnings.Alan Mishchenko2016-12-212-3/+3
| | | |
* | | | Fixes to make xSAT compile with old compilers.Bruno Schmitt2016-12-138-136/+119
|/ / / | | | | | | | | | Small typos and variables renaming.
* | | Bug fix in 'dsat <file.cnf>' when the number of classes in listed incorrectly.Alan Mishchenko2016-12-132-4/+3
| | |
* | | Bug fix in 'dsat <file.cnf>' when the number of classes in listed incorrectly.Alan Mishchenko2016-12-1310-116/+348
| | |
* | | xSAT is an experimental SAT Solver based on Glucose v3(see Glucose ↵Bruno Schmitt2016-12-1214-99/+3391
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | copyrights below) and ABC C version of MiniSat (bsat) developed by Niklas Sorensson and modified by Alan Mishchenko. It’s development has reached sufficient maturity to be committed in ABC, but still in a beta state. TODO: * Read compressed CNF files. * Study the use of floating point for variables and clauses activity. * Better documentation. * Improve verbose messages. * Expose parameters for tuning.
* | | Improvements to GIA visualization.Alan Mishchenko2016-12-081-1/+0
| | |
* | | Improvements to GIA visualization.Alan Mishchenko2016-12-081-265/+505
| |/ |/|
* | Adding support for minimalistic representation of LUT mapping.Alan Mishchenko2016-12-052-1/+5
| |
* | Bug fix in Liberty parser.Alan Mishchenko2016-12-051-0/+4
| |
* | Compiler warnings.Alan Mishchenko2016-12-053-4/+4
| |
* | Adding support for minimalistic representation of LUT mapping.Alan Mishchenko2016-12-056-11/+496
| |
* | New SAT-based optimization package.Alan Mishchenko2016-12-046-39/+168
| |
* | Analysis of arithmetic logic cones.Alan Mishchenko2016-12-046-26/+366
| |
* | New SAT-based optimization package.Alan Mishchenko2016-12-032-123/+437
| |
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-21 21:00:23 +0000