Commits · 797aeee5d7f0ca5537ca2e53e3c9261ef165f68d · lvzhengyang / abc · GitLab

06 Mar, 2019 5 commits
- Updating canonical form computation procedures (compiler warnings). · 797aeee5
  Alan Mishchenko committed Mar 05, 2019
  
  797aeee5 Browse Files
- Updating canonical form computation procedures (compiler warnings). · 3d238a96
  Alan Mishchenko committed Mar 05, 2019
  
  3d238a96 Browse Files
- Updating canonical form computation procedures. · ee792bdd
  Alan Mishchenko committed Mar 05, 2019
  
  ee792bdd Browse Files
- Fixing some more warnings by adding cast from 'int' to 'size_t'. · 3cce04c6
  Alan Mishchenko committed Mar 05, 2019
  
  3cce04c6 Browse Files
- Fixing several other type conversion warnings. · f657d9a7
  Alan Mishchenko committed Mar 05, 2019
  
  f657d9a7 Browse Files
05 Mar, 2019 2 commits
- Fixing some warnings by adding cast from 'int' to 'size_t' in memset, memcpy, etc. · 01569b8f
  Alan Mishchenko committed Mar 05, 2019
  
  01569b8f Browse Files
- Fixing some warnings with -Wconversion. · b632c849
  Alan Mishchenko committed Mar 05, 2019
  
  b632c849 Browse Files
04 Mar, 2019 2 commits
- Suggested white-space changes for fewer gcc warnings. · bc288a76
  Alan Mishchenko committed Mar 04, 2019
  
  bc288a76 Browse Files
- Bug in handling reverse ranges in blasting. · 9842e823
  Alan Mishchenko committed Mar 04, 2019
  
  9842e823 Browse Files
19 Feb, 2019 2 commits
- Passing names in &scorr. · e6f64162
  Alan Mishchenko committed Feb 18, 2019
  
  e6f64162 Browse Files
- Passing names in &scorr. · 7cabc26e
  Alan Mishchenko committed Feb 18, 2019
  
  7cabc26e Browse Files
13 Feb, 2019 1 commit
- Adding switch -x to &ps to disable color printout. · 7143ad4d
  Alan Mishchenko committed Feb 12, 2019
  
  7143ad4d Browse Files
08 Feb, 2019 1 commit
- Add skip feature to CEX printing. · 881b5a24
  Alan Mishchenko committed Feb 08, 2019
  
  881b5a24 Browse Files
04 Feb, 2019 1 commit
- Bug fix in generating box library. · 4d838e75
  Alan Mishchenko committed Feb 04, 2019
  
  4d838e75 Browse Files
02 Feb, 2019 1 commit
- Compiler warning. · 7b419f90
  Alan Mishchenko committed Feb 01, 2019
  
  7b419f90 Browse Files
31 Jan, 2019 1 commit
- Compiler warning. · b8db17b4
  Alan Mishchenko committed Jan 30, 2019
  
  b8db17b4 Browse Files
29 Jan, 2019 2 commits
- Adding new switch to simulation. · ed155f7f
  Alan Mishchenko committed Jan 29, 2019
  
  ed155f7f Browse Files
- Adding new switch to simulation. · f16012bc
  Alan Mishchenko committed Jan 29, 2019
  
  f16012bc Browse Files
28 Jan, 2019 1 commit
- Experiments with memory abstraction. · 0699c43a
  Alan Mishchenko committed Jan 27, 2019
  
  0699c43a Browse Files
23 Jan, 2019 3 commits
- Experiments with memory abstraction. · fafd8c22
  Alan Mishchenko committed Jan 22, 2019
  
  fafd8c22 Browse Files
- Experiments with memory abstraction. · 82eead08
  Alan Mishchenko committed Jan 22, 2019
  
  82eead08 Browse Files
- Experiments with memory abstraction. · f86cfc93
  Alan Mishchenko committed Jan 22, 2019
  
  f86cfc93 Browse Files
21 Jan, 2019 3 commits
- Fixing flop names with reversed ranges. · 72e3b4ca
  Alan Mishchenko committed Jan 21, 2019
  
  72e3b4ca Browse Files
- Exploring other ways of CEX writing. · b3d81b5f
  Alan Mishchenko committed Jan 21, 2019
  
  b3d81b5f Browse Files
- Undoing some recent changes for improved CEX writing. · d4ce4cc9
  Alan Mishchenko committed Jan 21, 2019
  
  d4ce4cc9 Browse Files
19 Jan, 2019 2 commits
- Fixing the problem with outputting word-level CEXes after retiming. · f421d2a1
  Alan Mishchenko committed Jan 18, 2019
  
  f421d2a1 Browse Files
- Changing default parameter values in the AIG generation code. · d96d3e3f
  Alan Mishchenko committed Jan 18, 2019
  
  d96d3e3f Browse Files
18 Jan, 2019 1 commit
- Fixing the problem with outputting word-level CEXes after retiming. · 81b263e3
  Alan Mishchenko committed Jan 18, 2019
  
  81b263e3 Browse Files
17 Jan, 2019 2 commits
- Fixing the problem with outputting word-level CEXes after retiming. · 4d8c72d0
  Alan Mishchenko committed Jan 17, 2019
  
  4d8c72d0 Browse Files
- Fixing the problem with outputting word-level CEXes. · d05f89d9
  Alan Mishchenko committed Jan 16, 2019
  
  d05f89d9 Browse Files
16 Jan, 2019 4 commits
- Procedure to transform counter-examples (bug fix). · 7f778ff8
  Alan Mishchenko committed Jan 15, 2019
  
  7f778ff8 Browse Files
- Procedure to transform counter-examples (bug fix). · f3946eea
  Alan Mishchenko committed Jan 15, 2019
  
  f3946eea Browse Files
- Procedures to generate constant-argument multipliers. · 7786cb24
  Alan Mishchenko committed Jan 15, 2019
  
  7786cb24 Browse Files
- Procedure to trasnsform counter-examples. · 36e5badf
  Alan Mishchenko committed Jan 15, 2019
  
  36e5badf Browse Files
15 Jan, 2019 2 commits
- Procedures to generate constant-argument multipliers. · 1779f545
  Alan Mishchenko committed Jan 15, 2019
  
  1779f545 Browse Files
- Experiment with partitioned &scorr. · 32a687ba
  Alan Mishchenko committed Jan 15, 2019
  
  32a687ba Browse Files
12 Jan, 2019 3 commits
- Adding one API of GIA manager. · 12a51a2b
  Alan Mishchenko committed Jan 12, 2019
  
  12a51a2b Browse Files
- Merge pull request #33 from hriener/common · 9e419f53
```
Added missing `static`.
```
  alanminko committed Jan 12, 2019
  9e419f53 Browse Files
- Added missing `static`. · e28a691b
  Heinz Riener committed Jan 12, 2019
  
  e28a691b Browse Files
11 Jan, 2019 1 commit
- Bug fix in deriving names for the miter output. · 6b554f10
  Alan Mishchenko committed Jan 10, 2019
  
  6b554f10 Browse Files