Commits · 072c264f761268838e2613d0e6735d1a721e0ae9 · lvzhengyang / abc · GitLab

22 Jun, 2012 2 commits
- Updated default BIP version. · 072c264f
  Alan Mishchenko committed Jun 21, 2012
  
  072c264f Browse Files
- Switch -A <file_name> to specify file name for dumping abstrated model with &vta -d. · 3c0a9e08
  Alan Mishchenko committed Jun 21, 2012
  
  3c0a9e08 Browse Files
15 Jun, 2012 4 commits
- Reporing memory usage by the SAT solver in 'bmc3'. · 675b0892
  Alan Mishchenko committed Jun 15, 2012
  
  675b0892 Browse Files
- Minor change to prevent assertion failure when verifying required times. · 2f1f0ac9
  Alan Mishchenko committed Jun 15, 2012
  
  2f1f0ac9 Browse Files
- Added option to compile on windows without DLL support. · 082d27ed
  Alan Mishchenko committed Jun 15, 2012
  
  082d27ed Browse Files
- Added warning when a command is missing · 98d9d5a6
  Alan Mishchenko committed Jun 15, 2012
  
  98d9d5a6 Browse Files
21 May, 2012 1 commit
- Misc changes. · 034fc5a1
  Alan Mishchenko committed May 21, 2012
  
  034fc5a1 Browse Files
20 May, 2012 3 commits
- Changing 'if' to allow for delay optimization on sequential paths only. · 77b83074
  Alan Mishchenko committed May 20, 2012
  
  77b83074 Browse Files
- Changing 'if' to allow for delay optimization on sequential paths only. · c6af9094
  Alan Mishchenko committed May 20, 2012
  
  c6af9094 Browse Files
- Do not allow quitting bmc3 after exploring 2^<num_ff> frames if jump-forward is enabled. · 38214f01
  Alan Mishchenko committed May 20, 2012
  
  38214f01 Browse Files
19 May, 2012 1 commit
- Misc changes. · 6ecc71f8
  Alan Mishchenko committed May 19, 2012
  
  6ecc71f8 Browse Files
15 May, 2012 3 commits
- Prevent network from being unmapped after equivalence checking. · 37a3e07d
  Alan Mishchenko committed May 15, 2012
  
  37a3e07d Browse Files
- Better resolution of CO drivers. Should impact the QoR after 'if'. · 54670783
  Alan Mishchenko committed May 15, 2012
  
  54670783 Browse Files
- Added generation of multipliers in 'gen'. · 76539c19
  Alan Mishchenko committed May 15, 2012
  
  76539c19 Browse Files
14 May, 2012 1 commit
- Preventing 'show' from unmapping the network. · 675437b2
  Alan Mishchenko committed May 14, 2012
  
  675437b2 Browse Files
11 May, 2012 2 commits
- Included copyright statement into 'main.c'. · e37fb952
  Alan Mishchenko committed May 11, 2012
  
  e37fb952 Browse Files
- Changing the rules of assigning the names when AIG is converted into a logic network. · 74524551
  Alan Mishchenko committed May 11, 2012
  
  74524551 Browse Files
08 May, 2012 1 commit
- Making sure cec -n and dsec -n do not remove the I/O names in the current network. · aa087d25
  Alan Mishchenko committed May 08, 2012
  
  aa087d25 Browse Files
06 May, 2012 1 commit
- Bug fix in fraig_restore. · 50fac8a0
  Alan Mishchenko committed May 06, 2012
  
  50fac8a0 Browse Files
03 May, 2012 1 commit
- Misc changes. · d4399dbf
  Alan Mishchenko committed May 03, 2012
  
  d4399dbf Browse Files
02 May, 2012 2 commits
- Preventing &iso from removing fanoutless PIs. · 32b07625
  Alan Mishchenko committed May 03, 2012
  
  32b07625 Browse Files
- Misc changes. · e6b16e27
  Alan Mishchenko committed May 02, 2012
  
  e6b16e27 Browse Files
01 May, 2012 2 commits
- Bug fixes in previous bug fixes related to &trim. · a9807a75
  Alan Mishchenko committed May 01, 2012
  
  a9807a75 Browse Files
- Misc changes. · 959ac609
  Alan Mishchenko committed May 01, 2012
  
  959ac609 Browse Files
30 Apr, 2012 1 commit
- Added supporting dual-output seq miters in &trim (bug fix). · e9b7c703
  Alan Mishchenko committed Apr 30, 2012
  
  e9b7c703 Browse Files
28 Apr, 2012 2 commits
- Compilation problem caused by multiple declarations. · 2c6faa06
  Alan Mishchenko committed Apr 28, 2012
  
  2c6faa06 Browse Files
- Adding on-the-fly truth-table minimization. · 490e84c4
  Alan Mishchenko committed Apr 28, 2012
  
  490e84c4 Browse Files
27 Apr, 2012 9 commits
- Added supporting dual-output seq miters in &trim. · 334911a1
  Alan Mishchenko committed Apr 28, 2012
  
  334911a1 Browse Files
- Added supporting dual-output seq miters in &iso. · d1e82047
  Alan Mishchenko committed Apr 28, 2012
  
  d1e82047 Browse Files
- Added supporting dual-output seq miters in &trim. · 78855cc9
  Alan Mishchenko committed Apr 28, 2012
  
  78855cc9 Browse Files
- Added supporting dual-output seq miters in &iso. · 8a89f1c3
  Alan Mishchenko committed Apr 28, 2012
  
  8a89f1c3 Browse Files
- Added supporting dual-output seq miters in &iso. · 2bf7454b
  Alan Mishchenko committed Apr 28, 2012
  
  2bf7454b Browse Files
- Misc changes. · a4baba2c
  Alan Mishchenko committed Apr 27, 2012
  
  a4baba2c Browse Files
- Set the failed output index if ORing of outputs was done in 'int'. · 590202e3
  Alan Mishchenko committed Apr 27, 2012
  
  590202e3 Browse Files
- Writing status file vta.status when dumping intermediate abstraction in &vta. · ce03d5ab
  Alan Mishchenko committed Apr 27, 2012
  
  ce03d5ab Browse Files
- Updating the counter of finished frames when dumping intermediate abstraction in &vta. · 5f5dda90
  Alan Mishchenko committed Apr 27, 2012
  
  5f5dda90 Browse Files
24 Apr, 2012 1 commit
- Disallow the circiut-based solver in &scorr to run with more than 1000 conflicts. · 92da248e
  Alan Mishchenko committed Apr 24, 2012
  
  92da248e Browse Files
23 Apr, 2012 2 commits
- Misc changes. · b8088b90
  Alan Mishchenko committed Apr 22, 2012
  
  b8088b90 Browse Files
- Misc changes. · 74d0ffee
  Alan Mishchenko committed Apr 22, 2012
  
  74d0ffee Browse Files
20 Apr, 2012 1 commit
- pyabc: minor fixes to make API changes work · c4911370
  Baruch Sterin committed Apr 20, 2012
  
  c4911370 Browse Files