Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | casts: add casts for unsigned -> signed int | Sean Cross | 2023-02-15 | 1 | -1/+1 |
* | Bug fix in &dch -x. | Alan Mishchenko | 2022-10-19 | 1 | -1/+1 |
* | Updating features of &if mapper. | Alan Mishchenko | 2022-10-09 | 1 | -1/+1 |
* | fix compile warnings | Yukio Miyasaka | 2022-09-19 | 1 | -19/+19 |
* | Compiler warnings. | Alan Mishchenko | 2022-09-19 | 2 | -8/+3 |
* | Compiler warnings. | Alan Mishchenko | 2022-09-19 | 1 | -3/+21 |
* | Compiler warnings. | Alan Mishchenko | 2022-09-19 | 1 | -1/+4 |
* | Compiler warnings. | Alan Mishchenko | 2022-09-19 | 1 | -11/+23 |
* | fix compile errors and warnings | Yukio Miyasaka | 2022-09-19 | 1 | -134/+98 |
* | Temporarily disabling new code. | Alan Mishchenko | 2022-09-19 | 1 | -0/+2 |
* | Temporarily disabling new code. | Alan Mishchenko | 2022-09-19 | 1 | -0/+18 |
* | import ttopt | Yukio Miyasaka | 2022-09-17 | 2 | -0/+1208 |
* | Compiler warnings. | Alan Mishchenko | 2022-08-30 | 1 | -2/+2 |
* | Testing utility code. | Alan Mishchenko | 2022-08-30 | 1 | -0/+31 |
* | Various changes. | Alan Mishchenko | 2022-08-30 | 1 | -1/+2 |
* | Various changes. | Alan Mishchenko | 2022-08-30 | 2 | -8/+464 |
* | Changing 2:1 MUX fanin order to be (ctrl, data0, data1). | Alan Mishchenko | 2022-08-11 | 1 | -1/+1 |
* | Improvements to command 'twoexact'. | Alan Mishchenko | 2022-08-08 | 1 | -0/+37 |
* | Investigating complex miters. | Alan Mishchenko | 2022-08-03 | 1 | -2/+86 |
* | New switch in command &st for adding buffers. | Alan Mishchenko | 2022-07-31 | 1 | -0/+21 |
* | Constructing boolean relation. | Alan Mishchenko | 2022-07-30 | 1 | -0/+156 |
* | Various changes. | Alan Mishchenko | 2022-07-30 | 5 | -1/+85 |
* | 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 |