summaryrefslogtreecommitdiffstats
path: root/src
Commit message (Expand)AuthorAgeFilesLines
...
| * Compiler warning.Alan Mishchenko2021-10-061-1/+1
| * New command &stochsyn for stochastic synthesis.Alan Mishchenko2021-10-063-0/+425
| * Various changes.Alan Mishchenko2021-10-064-38/+62
| * Compiler warnings.Alan Mishchenko2021-09-301-2/+2
| * Compiler warnings.Alan Mishchenko2021-09-301-3/+3
| * Various changes.Alan Mishchenko2021-09-3016-5/+1617
| * Other compiler changes.Alan Mishchenko2021-09-269-4/+44
| * Changing declaration of Vec_Ptr_t sorting function to satisfy some compilers.Alan Mishchenko2021-09-2637-66/+66
| * Various changes.Alan Mishchenko2021-09-263-4/+160
| * Two rare corner-case bugs in &if mapper.Alan Mishchenko2021-09-262-2/+6
| * Experiment with simulation.Alan Mishchenko2021-09-221-2/+55
| * Adding command &reshape.Alan Mishchenko2021-09-213-8/+13
| * Adding command &reshape.Alan Mishchenko2021-09-212-15/+15
| * Adding command &reshape.Alan Mishchenko2021-09-214-23/+65
| * Removing unused command.Alan Mishchenko2021-09-213-159/+0
| * Various changes.Alan Mishchenko2021-09-218-17/+175
| * Improving MiniAIG and name manager.Alan Mishchenko2021-09-165-13/+58
| * Further debugging of MiniLUT APIs.Alan Mishchenko2021-09-162-1/+73
| * Various changes.Alan Mishchenko2021-09-145-10/+180
| * Enable command 'pipe' for pipelining.Alan Mishchenko2021-09-133-15/+15
| * Bug fix in MiniLUT code.Alan Mishchenko2021-09-131-1/+1
| * Procedure to printout MiniLUT.Alan Mishchenko2021-09-111-1/+31
| * Disabling command print_mint when CUDD is not used.Alan Mishchenko2021-09-071-0/+7
| * Bug fix in logic optimization.Alan Mishchenko2021-09-061-1/+18
| * Bug fix in the timing manager.Alan Mishchenko2021-09-061-28/+30
| * Various changes.Alan Mishchenko2021-09-044-9/+12
| * Additional MiniLUT API.Alan Mishchenko2021-09-032-0/+18
| * Various changes.Alan Mishchenko2021-09-0216-35/+539
| * Allow &mfs to work on sequential AIGs.Alan Mishchenko2021-08-241-1/+10
| * Compiler warnings.Alan Mishchenko2021-08-239-11/+12
| * Adding input/output/flop name reading in command &r.Alan Mishchenko2021-08-224-2/+153
| * Support of pair-wise miter and other changes.Alan Mishchenko2021-08-226-4/+582
| * Merge pull request #132 from jamesjer/aliasingalanminko2021-08-191-1/+3
| |\
| | * Fix violation of C strict aliasing rules.Jerry James2021-08-091-1/+3
| * | Merge pull request #133 from twier/inv_get_name_mangling_fixalanminko2021-08-192-9/+43
| |\ \
| | * | Add comment to Wlc_NtkGetInv about vNamesIn's roleTobias Wiersema2021-08-191-0/+2
| | * | Fix typo inifity -> infinity in inv_get helpTobias Wiersema2021-08-191-1/+1
| | * | Add inv_get -f to read flop names from GIATobias Wiersema2021-08-192-8/+40
| * | | Extending &trim to trim structurally equivalent primary outputs.Alan Mishchenko2021-08-193-3/+141
| |/ /
| * | Improving AIG to Verilog converter.Alan Mishchenko2021-08-173-27/+75
| * | Suggested changes to collect and pass timing information (unused variable).Alan Mishchenko2021-08-121-1/+1
| * | Suggested changes to collect and pass timing information (compiler issues).Alan Mishchenko2021-08-121-7/+5
| * | Suggested changes to collect and pass timing information.Alan Mishchenko2021-08-122-13/+64
| |/
| * Making &cec support the miter circuit.Alan Mishchenko2021-08-051-0/+14
| * Supporting simple operators in NDR.Alan Mishchenko2021-08-054-13/+53
| * Adding node ordering options to command &dfs.Alan Mishchenko2021-08-053-29/+45
| * Bug fix.Alan Mishchenko2021-08-031-1/+1
| * Experiments with LUT mapping for small functions.Alan Mishchenko2021-08-021-1/+0
| * Experiments with LUT mapping for small functions.Alan Mishchenko2021-08-024-12/+275
| * Experiments with LUT mapping for small functions.Alan Mishchenko2021-08-011-1/+1
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-04 01:08:45 +0000