Commits · 93cf8b79f450636a5aac8364ff9d6bb09c83953c · lvzhengyang / abc · GitLab

11 Dec, 2014 1 commit
- Integrating barrier buffers. · ac7633c5
  Alan Mishchenko committed 10 years ago
  
  ac7633c5 Browse File
08 Dec, 2014 1 commit
- Integrating barrier buffers. · 1398de7c
  Alan Mishchenko committed 10 years ago
  
  1398de7c Browse File
14 Nov, 2014 1 commit
- Enabling AIGs with boxes for word-level and sequential designs. · a3418379
  Alan Mishchenko committed 10 years ago
  
  a3418379 Browse File
19 Aug, 2014 1 commit
- Changing default CNF generation in &bmc. · 65f9b735
  Alan Mishchenko committed 10 years ago
  
  65f9b735 Browse File
21 Jul, 2014 1 commit
- Updates and changes to several packages. · ea73401d
  Alan Mishchenko committed 10 years ago
  
  ea73401d Browse File
02 Jul, 2014 1 commit
- Compiler warning. · 7ff2bce0
  Alan Mishchenko committed 10 years ago
  
  7ff2bce0 Browse File
01 Jul, 2014 1 commit
- Improvements to representation of choices. · afcec52a
  Alan Mishchenko committed 10 years ago
  
  afcec52a Browse File
13 Jun, 2014 1 commit
- Various modifications. · fcdd9148
  Alan Mishchenko committed 10 years ago
  
  fcdd9148 Browse File
11 Jun, 2014 1 commit
- Various modifications. · 93d89eaa
  Alan Mishchenko committed 10 years ago
  
  93d89eaa Browse File
19 Apr, 2014 1 commit
- Adding print-out of average level. · f8a990de
  Alan Mishchenko committed 10 years ago
  
  f8a990de Browse File
28 Mar, 2014 1 commit
- Ternary simulation for multi-output miters. · 6cb3817a
  Alan Mishchenko committed 10 years ago
  
  6cb3817a Browse File
15 Mar, 2014 1 commit
- Experiments with simulation. · 2eec6c6c
  Alan Mishchenko committed 10 years ago
  
  2eec6c6c Browse File
01 Nov, 2013 1 commit
- False path detection. · ec298486
  Alan Mishchenko committed 11 years ago
  
  ec298486 Browse File
23 Oct, 2013 3 commits
- Multi-output property solver. · 47afd0f4
  Alan Mishchenko committed 11 years ago
  
  47afd0f4 Browse File
- Adding new synthesis scripts. · 8ad1729a
  Alan Mishchenko committed 11 years ago
  
  8ad1729a Browse File
- More accurate level calculation in AIG balancing. · 103fa663
  Alan Mishchenko committed 11 years ago
  
  103fa663 Browse File
30 Sep, 2013 2 commits
- Changing default values. · e3425106
  Alan Mishchenko committed 11 years ago
  
  e3425106 Browse File
- Changing default values. · c49739c3
  Alan Mishchenko committed 11 years ago
  
  c49739c3 Browse File
29 Sep, 2013 1 commit
- New logic sharing extraction. · 61ee156b
  Alan Mishchenko committed 11 years ago
  
  61ee156b Browse File
28 Sep, 2013 1 commit
- Performance balancing command &b. · a7fcdf20
  Alan Mishchenko committed 11 years ago
  
  a7fcdf20 Browse File
25 Sep, 2013 1 commit
- Changes to enable decomposition of non-DSD functions. · ee11ee18
  Alan Mishchenko committed 11 years ago
  
  ee11ee18 Browse File
12 Sep, 2013 1 commit
- Improvements to the new technology mapper. · 61abba95
  Alan Mishchenko committed 11 years ago
  
  61abba95 Browse File
10 Sep, 2013 1 commit
- Moving #include to the top of the file in 'giaUtil.c'. · 60540f3c
  Alan Mishchenko committed 11 years ago
  
  60540f3c Browse File
08 Sep, 2013 1 commit
- Improvements to the new technology mapper. · 52015095
  Alan Mishchenko committed 11 years ago
  
  52015095 Browse File
15 Jul, 2013 1 commit
- New technology mapper. · dd29ca30
  Alan Mishchenko committed 11 years ago
  
  dd29ca30 Browse File
26 Jun, 2013 1 commit
- Unifying representation of mapping in GIA. · a66dc0af
  Alan Mishchenko committed 11 years ago
  
  a66dc0af Browse File
28 May, 2013 1 commit
- Multiplexer profiling. · c50c1fc6
  Alan Mishchenko committed 11 years ago
  
  c50c1fc6 Browse File
27 May, 2013 1 commit
- Adding a wrapper around clock() for more accurate time counting in ABC. · 19c25fd6
  Alan Mishchenko committed 11 years ago
  
  19c25fd6 Browse File
19 May, 2013 1 commit
- Bug fix in &mprove. · 6682d6b0
  Alan Mishchenko committed 11 years ago
  
  6682d6b0 Browse File
18 May, 2013 2 commits
- Adding support of XOR/MUX in GIA. · 92dcffcf
  Alan Mishchenko committed 11 years ago
  
  92dcffcf Browse File
- Adding support of XOR/MUX in GIA. · 2afef15a
  Alan Mishchenko committed 11 years ago
  
  2afef15a Browse File
17 May, 2013 1 commit
- Adding new command &mprove for proving groups of properties. · 760c1f60
  Alan Mishchenko committed 11 years ago
  
  760c1f60 Browse File
06 May, 2013 1 commit
- SAT sweeping under constraints. · f321b27b
  Alan Mishchenko committed 11 years ago
  
  f321b27b Browse File
03 May, 2013 1 commit
- Reading/writing MiniAIG and several minor changes. · 6a49d1f4
  Alan Mishchenko committed 11 years ago
  
  6a49d1f4 Browse File
28 Apr, 2013 2 commits
- SAT sweeping under constraints. · b09926e8
  Alan Mishchenko committed 11 years ago
  
  b09926e8 Browse File
- SAT sweeping under constraints. · 613e8b2a
  Alan Mishchenko committed 11 years ago
  
  613e8b2a Browse File
25 Apr, 2013 1 commit
- SAT sweeping under constraints. · 486eacc5
  Alan Mishchenko committed 11 years ago
  
  486eacc5 Browse File
26 Feb, 2013 1 commit
- User-controlable SAT sweeper. · 12253f47
  Alan Mishchenko committed 12 years ago
  
  12253f47 Browse File
29 Nov, 2012 1 commit
- Counter-example analysis and optimization. · 66126598
  Alan Mishchenko committed 12 years ago
  
  66126598 Browse File
07 Nov, 2012 1 commit
- Improvements to LMS code. · db7852bb
  Alan Mishchenko committed 12 years ago
  
  db7852bb Browse File