| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Commenting out unimportant assertion. | Alan Mishchenko | 2022-06-27 | 1 | -1/+1 |
| * | Dumping equivalences after SAT sweeping. | Alan Mishchenko | 2022-06-26 | 1 | -0/+14 |
| * | Experiments with technology mapping. | Alan Mishchenko | 2022-06-25 | 2 | -0/+258 |
| * | Adding command to check resub problem solution. | Alan Mishchenko | 2022-06-10 | 2 | -7/+91 |
| * | Adding command to check resub problem solution. | Alan Mishchenko | 2022-06-10 | 3 | -0/+508 |
| * | Enabling support for reading AIGs with XOR gates. | Alan Mishchenko | 2022-06-05 | 2 | -1/+74 |
| * | Supporting new resub problem format. | Alan Mishchenko | 2022-06-02 | 1 | -1/+49 |
| * | Improvements to MiniAIG. | Alan Mishchenko | 2022-05-22 | 1 | -3/+22 |
| * | Improvements to MiniAIG. | Alan Mishchenko | 2022-05-18 | 2 | -13/+283 |
| * | Removing equivalence classes when they are not properly refined. | Alan Mishchenko | 2022-04-28 | 1 | -0/+3 |
| * | Bug fix in &uif. | Alan Mishchenko | 2022-04-24 | 1 | -2/+2 |
| * | Supporting multiple box types in &uif. | Alan Mishchenko | 2022-04-24 | 1 | -17/+36 |
| * | Bug fix in &uif. | Alan Mishchenko | 2022-04-24 | 1 | -4/+12 |
| * | Experiments with SAT sweeping. | Alan Mishchenko | 2022-04-24 | 3 | -0/+1327 |
| * | Experiments with word-level data structures. | Alan Mishchenko | 2022-04-22 | 2 | -1/+210 |
| * | Experiments with word-level data structures. | Alan Mishchenko | 2022-04-04 | 2 | -7/+85 |
| * | Experiments with word-level data structures. | Alan Mishchenko | 2022-02-02 | 1 | -1/+1 |
| * | Suggested bug fix. | Alan Mishchenko | 2022-01-22 | 1 | -1/+1 |
| * | Suggested bug fixes in the old code. | Alan Mishchenko | 2022-01-21 | 3 | -3/+3 |
| * | Experiments with word-level data structures. | Alan Mishchenko | 2022-01-21 | 3 | -2/+20 |
| * | Changes to pattern generation. | Alan Mishchenko | 2021-12-26 | 1 | -32/+63 |
| * | Adding new command &icec. | Alan Mishchenko | 2021-12-17 | 2 | -0/+65 |
| * | Fixing a rare problem with choice nodes. | Alan Mishchenko | 2021-12-16 | 1 | -0/+26 |
| * | Bug fix in blasting word-level flops. | Alan Mishchenko | 2021-12-02 | 1 | -0/+8 |
| * | Merge pull request #139 from antmicro/fix-unconnected-couts-upstream | alanminko | 2021-11-10 | 1 | -1/+24 |
| |\ | |||||
| | * | Fix typo | Michael Gielda | 2021-10-26 | 1 | -1/+1 |
| | * | Added including unconnected carry-outs in the carry-chain connection list. | Maciej Kurc | 2021-10-25 | 1 | -1/+24 |
| * | | Temporary fix to a &blut problem. | Alan Mishchenko | 2021-11-07 | 1 | -2/+2 |
| * | | Compiler warnings. | Alan Mishchenko | 2021-11-05 | 2 | -22/+37 |
| * | | Bug fix and new procedures. | Alan Mishchenko | 2021-11-02 | 2 | -4/+6 |
| * | | New API for external calls. | Alan Mishchenko | 2021-10-26 | 1 | -0/+16 |
| |/ | |||||
| * | Various changes. | Alan Mishchenko | 2021-10-22 | 5 | -67/+187 |
| * | Experiments with pattern generation. | Alan Mishchenko | 2021-10-10 | 4 | -0/+1376 |
| * | Experiments with SAT solving. | Alan Mishchenko | 2021-10-09 | 2 | -0/+1366 |
| * | New command &stochsyn for stochastic synthesis. | Alan Mishchenko | 2021-10-07 | 1 | -57/+204 |
| * | Compiler warning. | Alan Mishchenko | 2021-10-06 | 1 | -1/+1 |
| * | New command &stochsyn for stochastic synthesis. | Alan Mishchenko | 2021-10-06 | 2 | -0/+322 |
| * | Various changes. | Alan Mishchenko | 2021-10-06 | 1 | -0/+1 |
| * | Various changes. | Alan Mishchenko | 2021-09-30 | 6 | -1/+1211 |
| * | Other compiler changes. | Alan Mishchenko | 2021-09-26 | 1 | -1/+1 |
| * | Changing declaration of Vec_Ptr_t sorting function to satisfy some compilers. | Alan Mishchenko | 2021-09-26 | 12 | -21/+21 |
| * | Various changes. | Alan Mishchenko | 2021-09-26 | 1 | -4/+56 |
| * | Experiment with simulation. | Alan Mishchenko | 2021-09-22 | 1 | -2/+55 |
| * | Adding command &reshape. | Alan Mishchenko | 2021-09-21 | 2 | -2/+2 |
| * | Adding command &reshape. | Alan Mishchenko | 2021-09-21 | 2 | -15/+15 |
| * | Adding command &reshape. | Alan Mishchenko | 2021-09-21 | 2 | -2/+2 |
| * | Removing unused command. | Alan Mishchenko | 2021-09-21 | 1 | -2/+0 |
| * | Improving MiniAIG and name manager. | Alan Mishchenko | 2021-09-16 | 2 | -12/+16 |
| * | Further debugging of MiniLUT APIs. | Alan Mishchenko | 2021-09-16 | 1 | -1/+72 |
| * | Various changes. | Alan Mishchenko | 2021-09-14 | 2 | -1/+135 |
 |
index : iCE40/abc | |
| [no description] |
| summaryrefslogtreecommitdiffstats |