| Commit message (Expand) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | Various changes. | Alan Mishchenko | 2021-10-22 | 9 | -82/+228 | |
| * | Changing static to extern for two procedures. | Alan Mishchenko | 2021-10-17 | 1 | -2/+2 | |
| * | Experiments with pattern generation. | Alan Mishchenko | 2021-10-10 | 6 | -0/+1471 | |
| * | Experiments with SAT solving. | Alan Mishchenko | 2021-10-09 | 3 | -3/+1388 | |
| * | New command &stochsyn for stochastic synthesis. | Alan Mishchenko | 2021-10-07 | 2 | -57/+213 | |
| * | Compiler warning. | Alan Mishchenko | 2021-10-06 | 1 | -1/+1 | |
| * | New command &stochsyn for stochastic synthesis. | Alan Mishchenko | 2021-10-06 | 3 | -0/+425 | |
| * | Various changes. | Alan Mishchenko | 2021-10-06 | 4 | -38/+62 | |
| * | Compiler warnings. | Alan Mishchenko | 2021-09-30 | 1 | -2/+2 | |
| * | Compiler warnings. | Alan Mishchenko | 2021-09-30 | 1 | -3/+3 | |
| * | Various changes. | Alan Mishchenko | 2021-09-30 | 16 | -5/+1617 | |
| * | Other compiler changes. | Alan Mishchenko | 2021-09-26 | 9 | -4/+44 | |
| * | Changing declaration of Vec_Ptr_t sorting function to satisfy some compilers. | Alan Mishchenko | 2021-09-26 | 37 | -66/+66 | |
| * | Various changes. | Alan Mishchenko | 2021-09-26 | 3 | -4/+160 | |
| * | Two rare corner-case bugs in &if mapper. | Alan Mishchenko | 2021-09-26 | 2 | -2/+6 | |
| * | Experiment with simulation. | Alan Mishchenko | 2021-09-22 | 1 | -2/+55 | |
| * | Adding command &reshape. | Alan Mishchenko | 2021-09-21 | 3 | -8/+13 | |
| * | Adding command &reshape. | Alan Mishchenko | 2021-09-21 | 2 | -15/+15 | |
| * | Adding command &reshape. | Alan Mishchenko | 2021-09-21 | 4 | -23/+65 | |
| * | Removing unused command. | Alan Mishchenko | 2021-09-21 | 3 | -159/+0 | |
| * | Various changes. | Alan Mishchenko | 2021-09-21 | 8 | -17/+175 | |
| * | Improving MiniAIG and name manager. | Alan Mishchenko | 2021-09-16 | 5 | -13/+58 | |
| * | Further debugging of MiniLUT APIs. | Alan Mishchenko | 2021-09-16 | 2 | -1/+73 | |
| * | Various changes. | Alan Mishchenko | 2021-09-14 | 5 | -10/+180 | |
| * | Enable command 'pipe' for pipelining. | Alan Mishchenko | 2021-09-13 | 3 | -15/+15 | |
| * | Bug fix in MiniLUT code. | Alan Mishchenko | 2021-09-13 | 1 | -1/+1 | |
| * | Procedure to printout MiniLUT. | Alan Mishchenko | 2021-09-11 | 1 | -1/+31 | |
| * | Disabling command print_mint when CUDD is not used. | Alan Mishchenko | 2021-09-07 | 1 | -0/+7 | |
| * | Bug fix in logic optimization. | Alan Mishchenko | 2021-09-06 | 1 | -1/+18 | |
| * | Bug fix in the timing manager. | Alan Mishchenko | 2021-09-06 | 1 | -28/+30 | |
| * | Various changes. | Alan Mishchenko | 2021-09-04 | 4 | -9/+12 | |
| * | Additional MiniLUT API. | Alan Mishchenko | 2021-09-03 | 2 | -0/+18 | |
| * | Various changes. | Alan Mishchenko | 2021-09-02 | 16 | -35/+539 | |
| * | Allow &mfs to work on sequential AIGs. | Alan Mishchenko | 2021-08-24 | 1 | -1/+10 | |
| * | Compiler warnings. | Alan Mishchenko | 2021-08-23 | 9 | -11/+12 | |
| * | Adding input/output/flop name reading in command &r. | Alan Mishchenko | 2021-08-22 | 4 | -2/+153 | |
| * | Support of pair-wise miter and other changes. | Alan Mishchenko | 2021-08-22 | 6 | -4/+582 | |
| * | Merge pull request #132 from jamesjer/aliasing | alanminko | 2021-08-19 | 1 | -1/+3 | |
| |\ | ||||||
| | * | Fix violation of C strict aliasing rules. | Jerry James | 2021-08-09 | 1 | -1/+3 | |
| * | | Merge pull request #133 from twier/inv_get_name_mangling_fix | alanminko | 2021-08-19 | 2 | -9/+43 | |
| |\ \ | ||||||
| | * | | Add comment to Wlc_NtkGetInv about vNamesIn's role | Tobias Wiersema | 2021-08-19 | 1 | -0/+2 | |
| | * | | Fix typo inifity -> infinity in inv_get help | Tobias Wiersema | 2021-08-19 | 1 | -1/+1 | |
| | * | | Add inv_get -f to read flop names from GIA | Tobias Wiersema | 2021-08-19 | 2 | -8/+40 | |
| * | | | Extending &trim to trim structurally equivalent primary outputs. | Alan Mishchenko | 2021-08-19 | 3 | -3/+141 | |
| |/ / | ||||||
| * | | Improving AIG to Verilog converter. | Alan Mishchenko | 2021-08-17 | 3 | -27/+75 | |
| * | | Suggested changes to collect and pass timing information (unused variable). | Alan Mishchenko | 2021-08-12 | 1 | -1/+1 | |
| * | | Suggested changes to collect and pass timing information (compiler issues). | Alan Mishchenko | 2021-08-12 | 1 | -7/+5 | |
| * | | Suggested changes to collect and pass timing information. | Alan Mishchenko | 2021-08-12 | 2 | -13/+64 | |
| |/ | ||||||
| * | Making &cec support the miter circuit. | Alan Mishchenko | 2021-08-05 | 1 | -0/+14 | |
| * | Supporting simple operators in NDR. | Alan Mishchenko | 2021-08-05 | 4 | -13/+53 | |
 |
index : iCE40/abc | |
| [no description] |
| summaryrefslogtreecommitdiffstats |