| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Fixing some warnings by adding cast from 'int' to 'size_t' in memset, memcpy,... | Alan Mishchenko | 2019-03-05 | 114 | -263/+263 |
| * | Fixing some warnings with -Wconversion. | Alan Mishchenko | 2019-03-05 | 2 | -3/+3 |
| * | Suggested white-space changes for fewer gcc warnings. | Alan Mishchenko | 2019-03-04 | 10 | -22/+24 |
| * | Bug in handling reverse ranges in blasting. | Alan Mishchenko | 2019-03-04 | 1 | -14/+15 |
| * | Passing names in &scorr. | Alan Mishchenko | 2019-02-18 | 1 | -0/+12 |
| * | Passing names in &scorr. | Alan Mishchenko | 2019-02-18 | 1 | -0/+5 |
| * | Adding switch -x to &ps to disable color printout. | Alan Mishchenko | 2019-02-12 | 3 | -5/+27 |
| * | Add skip feature to CEX printing. | Alan Mishchenko | 2019-02-08 | 1 | -1/+9 |
| * | Bug fix in generating box library. | Alan Mishchenko | 2019-02-04 | 1 | -2/+2 |
| * | Compiler warning. | Alan Mishchenko | 2019-02-01 | 2 | -2/+2 |
| * | Compiler warning. | Alan Mishchenko | 2019-01-30 | 1 | -1/+1 |
| * | Adding new switch to simulation. | Alan Mishchenko | 2019-01-29 | 3 | -23/+28 |
| * | Adding new switch to simulation. | Alan Mishchenko | 2019-01-29 | 2 | -5/+18 |
| * | Experiments with memory abstraction. | Alan Mishchenko | 2019-01-27 | 8 | -11/+545 |
| * | Experiments with memory abstraction. | Alan Mishchenko | 2019-01-22 | 1 | -1/+1 |
| * | Experiments with memory abstraction. | Alan Mishchenko | 2019-01-22 | 3 | -3/+3 |
| * | Experiments with memory abstraction. | Alan Mishchenko | 2019-01-22 | 11 | -25/+323 |
| * | Fixing flop names with reversed ranges. | Alan Mishchenko | 2019-01-21 | 1 | -14/+16 |
| * | Exploring other ways of CEX writing. | Alan Mishchenko | 2019-01-21 | 12 | -18/+96 |
| * | Undoing some recent changes for improved CEX writing. | Alan Mishchenko | 2019-01-21 | 6 | -170/+11 |
| * | Fixing the problem with outputting word-level CEXes after retiming. | Alan Mishchenko | 2019-01-18 | 1 | -8/+12 |
| * | Changing default parameter values in the AIG generation code. | Alan Mishchenko | 2019-01-18 | 2 | -12/+38 |
| * | Fixing the problem with outputting word-level CEXes after retiming. | Alan Mishchenko | 2019-01-18 | 1 | -12/+28 |
| * | Fixing the problem with outputting word-level CEXes after retiming. | Alan Mishchenko | 2019-01-17 | 5 | -19/+45 |
| * | Fixing the problem with outputting word-level CEXes. | Alan Mishchenko | 2019-01-16 | 2 | -2/+48 |
| * | Procedure to transform counter-examples (bug fix). | Alan Mishchenko | 2019-01-15 | 1 | -1/+1 |
| * | Procedure to transform counter-examples (bug fix). | Alan Mishchenko | 2019-01-15 | 1 | -1/+1 |
| * | Procedures to generate constant-argument multipliers. | Alan Mishchenko | 2019-01-15 | 2 | -3/+8 |
| * | Procedure to trasnsform counter-examples. | Alan Mishchenko | 2019-01-15 | 4 | -19/+87 |
| * | Procedures to generate constant-argument multipliers. | Alan Mishchenko | 2019-01-15 | 5 | -3/+314 |
| * | Experiment with partitioned &scorr. | Alan Mishchenko | 2019-01-15 | 2 | -6/+200 |
| * | Adding one API of GIA manager. | Alan Mishchenko | 2019-01-12 | 1 | -0/+18 |
| * | Added missing `static`. | Heinz Riener | 2019-01-12 | 1 | -1/+1 |
| * | Bug fix in deriving names for the miter output. | Alan Mishchenko | 2019-01-10 | 1 | -4/+9 |
| * | Procedures to generate constant-argument multipliers. | Alan Mishchenko | 2019-01-09 | 1 | -0/+1 |
| * | Procedures to generate constant-argument multipliers. | Alan Mishchenko | 2019-01-09 | 3 | -22/+67 |
| * | Procedures to generate constant-argument multipliers. | Alan Mishchenko | 2019-01-08 | 3 | -1/+304 |
| * | Bug fix in WLN datastructure. | Alan Mishchenko | 2019-01-03 | 1 | -1/+1 |
| * | Fixing float overflow during area-flow computation in &lf. | Alan Mishchenko | 2018-12-13 | 1 | -0/+8 |
| * | Fixing float overflow during edge-flow computation in 'if' mapper (change to ... | Alan Mishchenko | 2018-12-12 | 1 | -0/+8 |
| * | Fixing float overflow during edge-flow computation in 'if' mapper. | Alan Mishchenko | 2018-12-12 | 1 | -3/+7 |
| * | Updated for memory abstraction. | Alan Mishchenko | 2018-12-11 | 3 | -9/+18 |
| * | Experiments with retiming (adding new APIs). | Alan Mishchenko | 2018-12-09 | 15 | -53/+132 |
| * | Experiments with retiming. | Alan Mishchenko | 2018-12-06 | 1 | -1/+3 |
| * | Experiments with retiming. | Alan Mishchenko | 2018-12-06 | 4 | -27/+65 |
| * | Experiments with retiming. | Alan Mishchenko | 2018-12-04 | 5 | -29/+125 |
| * | fix: header <malloc.h> is depreciated | Nathan Zhou | 2018-11-30 | 1 | -1/+1 |
| * | Adding switch &w -n to modify the comment section of the AIGER file written. | Alan Mishchenko | 2018-11-21 | 42 | -79/+83 |
| * | Various usability changes (second round). | Alan Mishchenko | 2018-11-20 | 1 | -7/+7 |
| * | Various usability changes (second round). | Alan Mishchenko | 2018-11-20 | 3 | -2/+82 |
