summaryrefslogtreecommitdiffstats
path: root/src/aig
Commit message (Collapse)AuthorAgeFilesLines
...
* | Compiler warnings.Alan Mishchenko2021-11-052-22/+37
| |
* | Bug fix and new procedures.Alan Mishchenko2021-11-022-4/+6
| |
* | New API for external calls.Alan Mishchenko2021-10-261-0/+16
|/
* Various changes.Alan Mishchenko2021-10-225-67/+187
|
* Experiments with pattern generation.Alan Mishchenko2021-10-104-0/+1376
|
* Experiments with SAT solving.Alan Mishchenko2021-10-092-0/+1366
|
* New command &stochsyn for stochastic synthesis.Alan Mishchenko2021-10-071-57/+204
|
* Compiler warning.Alan Mishchenko2021-10-061-1/+1
|
* New command &stochsyn for stochastic synthesis.Alan Mishchenko2021-10-062-0/+322
|
* Various changes.Alan Mishchenko2021-10-061-0/+1
|
* Various changes.Alan Mishchenko2021-09-306-1/+1211
|
* Other compiler changes.Alan Mishchenko2021-09-261-1/+1
|
* Changing declaration of Vec_Ptr_t sorting function to satisfy some compilers.Alan Mishchenko2021-09-2612-21/+21
|
* Various changes.Alan Mishchenko2021-09-261-4/+56
|
* Experiment with simulation.Alan Mishchenko2021-09-221-2/+55
|
* Adding command &reshape.Alan Mishchenko2021-09-212-2/+2
|
* Adding command &reshape.Alan Mishchenko2021-09-212-15/+15
|
* Adding command &reshape.Alan Mishchenko2021-09-212-2/+2
|
* Removing unused command.Alan Mishchenko2021-09-211-2/+0
|
* Improving MiniAIG and name manager.Alan Mishchenko2021-09-162-12/+16
|
* Further debugging of MiniLUT APIs.Alan Mishchenko2021-09-161-1/+72
|
* Various changes.Alan Mishchenko2021-09-142-1/+135
|
* Bug fix in MiniLUT code.Alan Mishchenko2021-09-131-1/+1
|
* Procedure to printout MiniLUT.Alan Mishchenko2021-09-111-1/+31
|
* Bug fix in logic optimization.Alan Mishchenko2021-09-061-1/+18
|
* Various changes.Alan Mishchenko2021-09-041-2/+2
|
* Additional MiniLUT API.Alan Mishchenko2021-09-031-0/+17
|
* Various changes.Alan Mishchenko2021-09-027-27/+200
|
* Compiler warnings.Alan Mishchenko2021-08-233-4/+4
|
* Adding input/output/flop name reading in command &r.Alan Mishchenko2021-08-223-2/+114
|
* Support of pair-wise miter and other changes.Alan Mishchenko2021-08-224-0/+561
|
* Merge pull request #132 from jamesjer/aliasingalanminko2021-08-191-1/+3
|\ | | | | Fix violation of C strict aliasing rules.
| * Fix violation of C strict aliasing rules.Jerry James2021-08-091-1/+3
| |
* | Extending &trim to trim structurally equivalent primary outputs.Alan Mishchenko2021-08-192-0/+127
| |
* | Improving AIG to Verilog converter.Alan Mishchenko2021-08-172-24/+67
|/
* Supporting simple operators in NDR.Alan Mishchenko2021-08-052-9/+49
|
* Adding node ordering options to command &dfs.Alan Mishchenko2021-08-052-7/+32
|
* Experiments with LUT mapping for small functions.Alan Mishchenko2021-08-021-1/+0
|
* Experiments with LUT mapping for small functions.Alan Mishchenko2021-08-022-4/+217
|
* Experiments with LUT mapping for small functions.Alan Mishchenko2021-08-012-6/+211
|
* Experiments with cofactoring.Alan Mishchenko2021-07-311-0/+265
|
* Experimental simulation commands.Alan Mishchenko2021-07-252-1/+116
|
* Command to move CI/CO names.Alan Mishchenko2021-07-161-1/+2
|
* Several unrelated changes.Alan Mishchenko2021-07-153-9/+119
|
* Experiments with LUT mapping for small functions.Alan Mishchenko2021-07-132-1/+420
|
* Experiments with MUX decomposition.Alan Mishchenko2021-07-111-1/+1
|
* Experiments with CEC.Alan Mishchenko2021-07-102-3/+143
|
* Simple AIGER reader/writer.Alan Mishchenko2021-07-091-0/+141
|
* Experiments with MUX decomposition.Alan Mishchenko2021-07-081-1/+0
|
* Experiments with MUX decomposition.Alan Mishchenko2021-07-081-0/+1
|
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-03 03:35:11 +0000