summaryrefslogtreecommitdiffstats
path: root/src/aig/gia
Commit message (Collapse)AuthorAgeFilesLines
* Maintenance and updates.Alan Mishchenko2017-09-242-4/+10
|
* Maintenance and updates.Alan Mishchenko2017-09-202-1/+6
|
* Uncommenting handling of initial values of the flops.Alan Mishchenko2017-09-191-2/+2
|
* Adding support for Dimacs input to &satoko.Alan Mishchenko2017-09-161-21/+91
|
* Experiment with mapping.Alan Mishchenko2017-09-152-0/+56
|
* Several small changes.Alan Mishchenko2017-09-051-0/+3
|
* Useful AIG duplication procedure.Alan Mishchenko2017-09-051-0/+36
|
* Several changes to various packages.Alan Mishchenko2017-09-041-0/+21
|
* Corner-case sitution in truth-table computation.Alan Mishchenko2017-08-301-0/+2
|
* Fixing bronken C++ build; Satoko internal header, solver.h, should not be ↵Bruno Schmitt2017-08-292-6/+4
| | | | used in other packages
* Integrating Satoko into 'bmc' and 'bmc2'.Alan Mishchenko2017-08-161-1/+1
|
* Fixing non-scalability in CNF generation.Alan Mishchenko2017-08-131-1/+1
|
* Fixing non-scalability in CNF generation.Alan Mishchenko2017-08-131-1/+1
|
* Fixing non-scalability in CNF generation.Alan Mishchenko2017-08-131-1/+1
|
* Fixing non-scalability in CNF generation.Alan Mishchenko2017-08-131-1/+25
|
* Experiments with BMC.Alan Mishchenko2017-08-091-0/+1
|
* Transforming miter by swapping sides.Alan Mishchenko2017-07-231-0/+61
|
* Compiler warnings.Alan Mishchenko2017-07-228-11/+11
|
* Experiments with logic optimization.Alan Mishchenko2017-07-211-0/+54
|
* Commenting out things in GIA constant sweeping.Alan Mishchenko2017-07-141-3/+3
|
* Bug fix in MiniLUT APIs.Alan Mishchenko2017-07-121-1/+31
|
* Supporting CO attributes in GIA.Alan Mishchenko2017-07-123-1/+10
|
* Making MiniLUT work for more than 6 inputs.Alan Mishchenko2017-07-081-17/+38
|
* Adding new command line options for &verify and &synch2.Alan Mishchenko2017-07-062-2/+14
|
* Commenting out useless assertion.Alan Mishchenko2017-07-061-1/+1
|
* Merged in boschmitt/abc (pull request #77)Alan Mishchenko2017-07-041-1/+1
|\ | | | | | | Small fixes for C++ compilers
| * Small fixes for C++ compilersBruno Schmitt2017-07-041-1/+1
| |
* | Synchronizing various data-structures.Alan Mishchenko2017-07-046-13/+277
|/
* Saturating floating point computation.Alan Mishchenko2017-07-012-2/+10
|
* Not calling a changed API until it is fixed.Alan Mishchenko2017-06-272-2/+2
|
* Temp changesAlan Mishchenko2017-06-151-0/+25
|
* Outputting cell configurations.Alan Mishchenko2017-06-021-3/+51
|
* Several new procedures for GIA manipulation.Alan Mishchenko2017-06-011-0/+51
|
* Experiments with support minimization.Alan Mishchenko2017-04-292-0/+553
|
* Experiments with support minimization.Alan Mishchenko2017-04-273-0/+345
|
* Two small fixes.Alan Mishchenko2017-04-241-1/+1
|
* Experiments with don't-cares.Alan Mishchenko2017-04-081-1/+1
|
* Adding stand-alone cut computation to GIA.Alan Mishchenko2017-04-051-1/+1
|
* Adding stand-alone cut computation to GIA.Alan Mishchenko2017-04-051-0/+1
|
* Adding stand-alone cut computation to GIA.Alan Mishchenko2017-04-051-0/+646
|
* Code for structural unateness checking.Alan Mishchenko2017-03-181-0/+255
|
* Code for structural unateness checking.Alan Mishchenko2017-03-181-0/+1
|
* Clone of the main SAT solver to eneable independent work.Alan Mishchenko2017-03-031-0/+1
|
* Clone of the main SAT solver to eneable independent work.Alan Mishchenko2017-03-031-0/+136
|
* changed int to unsigned / narrowing conversion errorHeinz Riener2017-03-032-2/+2
|
* Adding command 'glitch' for glitch simulation.Alan Mishchenko2017-03-021-10/+9
|
* Removing unused procedure.Alan Mishchenko2017-02-222-20/+0
|
* Compiler warnings.Alan Mishchenko2017-02-181-1/+1
|
* Compiler warnings.Alan Mishchenko2017-02-181-1/+1
|
* Experiments with SAT sweeping.Alan Mishchenko2017-02-183-6/+29
|