summaryrefslogtreecommitdiffstats
path: root/src/aig
Commit message (Expand)AuthorAgeFilesLines
...
* 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.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
* Experiments with MUX decomposition.Alan Mishchenko2021-07-081-0/+79
* Adding place holder file for resub experiments.Alan Mishchenko2021-06-243-1/+56
* Experiments with LUT mapping for small functions.Alan Mishchenko2021-06-194-39/+867
* Experiments with cut computation.Alan Mishchenko2021-06-082-2/+44
* Experiments with cut computation.Alan Mishchenko2021-06-051-4/+143
* Disabled special handling of 2-input LUTs.Alan Mishchenko2021-06-021-2/+4
* Updating LUT synthesis code.Alan Mishchenko2021-05-262-6/+4
* Updating LUT synthesis code.Alan Mishchenko2021-05-251-31/+167
* Updating LUT synthesis code.Alan Mishchenko2021-05-161-1/+2
* Updating LUT synthesis code.Alan Mishchenko2021-05-162-63/+165
* Updating LUT synthesis code.Alan Mishchenko2021-05-111-24/+77
* Disable cube-sort when deriving SOPs.Alan Mishchenko2021-05-111-2/+2
* Updating LUT synthesis code.Alan Mishchenko2021-05-112-25/+195
* Updating LUT synthesis code.Alan Mishchenko2021-05-082-0/+160
* Updating cost function in &save/&load.Alan Mishchenko2021-05-081-1/+1
* Updating cost function in &save/&load.Alan Mishchenko2021-05-081-8/+27
* Bug fix in &blut.Alan Mishchenko2021-05-081-8/+14
* Experiments with LUT mapping for small functions.Alan Mishchenko2021-05-012-0/+153
* Computing sum of PO support sizes.Alan Mishchenko2021-04-091-0/+59
* An option to extend the number of primary inputs.Alan Mishchenko2021-03-282-1/+33
* Compiler warnings.Alan Mishchenko2021-03-281-3/+4
* Command &iwls21test for evaluating the results of 2021 IWLS Contest.Alan Mishchenko2021-03-282-0/+429
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-28 21:41:33 +0000