summaryrefslogtreecommitdiffstats
path: root/src/aig/gia
Commit message (Collapse)AuthorAgeFilesLines
...
* | Improving AIG to Verilog converter.Alan Mishchenko2021-08-172-24/+67
|/
* 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
|
* Preventing command history from being overwritten by internal scripts.Alan Mishchenko2021-01-091-3/+16
|
* Experiments with simulation.Alan Mishchenko2020-12-301-0/+1
|
* Compiler warnings.Alan Mishchenko2020-12-211-0/+34
|
* Adding switch to replace proved outputs by const0.Alan Mishchenko2020-12-163-2/+64
|
* Adding timeout to several commands.Alan Mishchenko2020-12-071-1/+1
|
* Deriving structural choices from proved equivalences.Alan Mishchenko2020-12-071-0/+111
|
* Window resub testing.Alan Mishchenko2020-11-291-0/+64
|
* Fixing a memory corruption problem accidentally introduced by fixing memory ↵Alan Mishchenko2020-11-211-2/+2
| | | | leaks on Sep 28.
* Integration with several commands.Alan Mishchenko2020-11-192-2/+2
|
* Experiments with MFFC computation.Alan Mishchenko2020-11-161-42/+108
|
* Experiments with MFFC computation (bug fix).Alan Mishchenko2020-11-152-3/+3
|
* Experiments with MFFC computation.Alan Mishchenko2020-11-154-1/+228
|
* Improvements to the SAT sweeper.Alan Mishchenko2020-11-142-0/+2
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-04 22:04:00 +0000