luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
5,007 Commits 27 Branches 57 Tags 58 MiB
Commit Graph

4867 Commits

Author SHA1 Message Date
Alan Mishchenko 7d4545126d Variable timeframe abstraction. 2012-01-20 19:04:01 -08:00
Alan Mishchenko 719b06f912 Variable timeframe abstraction. 2012-01-20 17:55:34 -08:00
Alan Mishchenko b9163754b7 New hierarchy manager. 2012-01-20 09:52:38 -08:00
Alan Mishchenko ec1c45fb64 New hierarchy manager. 2012-01-19 21:09:49 -08:00
Alan Mishchenko 215d62f41f New hierarchy manager. 2012-01-19 17:18:11 -08:00
Alan Mishchenko fffd733f94 Replaced 'bmc' by 'bmc2' in 'dprove'. Added switches to 'dprove' to control BMC frames and conflicts. 2012-01-19 14:24:56 -08:00
Alan Mishchenko 0111d43b54 New hierarchy manager. 2012-01-19 12:02:07 -08:00
Alan Mishchenko 8c62c9db6c Added switch 'write_counter -f' to output flop values in each time frame. 2012-01-18 17:49:13 -08:00
Alan Mishchenko debe445063 New hierarchy manager. 2012-01-18 17:28:59 -08:00
Alan Mishchenko fe6d1ff7da New hierarchy manager. 2012-01-18 02:25:12 -08:00
Alan Mishchenko 2fd746ed94 Removing debug print-outs from the SAT solver. 2012-01-17 23:57:02 -08:00
Alan Mishchenko 2a236864ab Changes to the lazy man's synthesis code. 2012-01-17 23:38:11 -08:00
Alan Mishchenko d8d705c717 New hierarchy manager. 2012-01-17 23:19:47 -08:00
Alan Mishchenko 67300e056b Small bug induced by changes in the SAT solver. 2012-01-17 23:09:19 -08:00
Alan Mishchenko 25914e417a Added notification about exceeding the number of nodes. 2012-01-17 22:40:40 -08:00
Alan Mishchenko 6bff2986a2 New hierarchy manager. 2012-01-17 15:02:25 -08:00
Alan Mishchenko 940d5d66b2 Variable timeframe abstraction. 2012-01-16 22:07:09 -08:00
Alan Mishchenko be5256c926 New hierarchy manager. 2012-01-16 22:06:59 -08:00
Alan Mishchenko 08f6d49fb7 Removing additional printout in the GIA package. 2012-01-16 13:29:47 -08:00
Alan Mishchenko 0695ec5473 New hierarchy manager plus additional printout in the GIA package. 2012-01-16 13:07:51 -08:00
Alan Mishchenko ca28f77f3a Variable timeframe abstraction. 2012-01-16 12:21:53 -08:00
Alan Mishchenko 10478a9cbf Variable timeframe abstraction. 2012-01-15 20:47:58 -08:00
Alan Mishchenko bb4897aba6 Changes to the lazy man's synthesis code. 2012-01-15 12:35:04 -08:00
Alan Mishchenko 1f0e5533dc Several small bug fixes in the mapper. 2012-01-15 09:15:10 -08:00
Alan Mishchenko 60a84f7350 Changes to the lazy man's synthesis code. 2012-01-14 23:39:53 -08:00
Alan Mishchenko 868ed19469 Changes to the lazy man's synthesis code. 2012-01-14 22:37:25 -08:00
Alan Mishchenko ac7e665bf6 Bug fixes in the Verilog parser. 2012-01-14 22:21:23 -08:00
Alan Mishchenko c7e215ca31 New hierarchy manager. 2012-01-14 18:05:12 -08:00
Alan Mishchenko 9c409addca Support computation experiments with different network data-structures. 2012-01-14 18:04:47 -08:00
Alan Mishchenko 4748f6988e Small bug fix in printing DSD for Boolean functions. 2012-01-14 18:03:06 -08:00
Alan Mishchenko 7a3c33e169 New hierarchy manager. 2012-01-13 22:49:08 -08:00
Alan Mishchenko 5fff8354ce New hierarchy manager. 2012-01-13 22:02:04 -08:00
Alan Mishchenko b7ba9aa8dc New hierarchy manager. 2012-01-13 20:58:28 -08:00
Alan Mishchenko 37b8a190ba Improving printout in the SAT solver. 2012-01-13 20:57:26 -08:00
Alan Mishchenko c48925dfb6 Commented out a printout line which cases a warning to be printed. 2012-01-13 19:34:00 -08:00
Alan Mishchenko 1aeaacc03d Added bit vector. 2012-01-13 19:31:58 -08:00
Alan Mishchenko 4bd7efa6cd Added counting hits and misses during structural hashing. 2012-01-13 19:31:13 -08:00
Alan Mishchenko edbff75fff New hierarchy manager. 2012-01-13 18:10:00 -08:00
Alan Mishchenko eecbbea24b New hierarchy manager. 2012-01-13 17:50:21 -08:00
Alan Mishchenko 095345fc4a Added new name manager and modified hierarchy manager to use it. 2012-01-13 15:43:09 -08:00
Alan Mishchenko cb2d12bb04 New hierarchy manager. 2012-01-13 00:34:13 -08:00
Alan Mishchenko 2e1dcdd239 Added model ID inside the design. 2012-01-12 23:29:47 -08:00
Alan Mishchenko 56cc5734a4 Bug fix related to not properly resizing SAT solver's model array. 2012-01-12 07:28:01 -08:00
Alan Mishchenko fadde52dc6 Changes to the lazy man's synthesis code. 2012-01-11 22:08:35 -08:00
Alan Mishchenko 22ae2e452a Gate level abstraction. 2012-01-11 14:51:00 -08:00
Alan Mishchenko 564a3553f0 Gate level abstraction. 2012-01-08 13:15:03 +07:00
Alan Mishchenko 03f772d50a Backward reachability using circuit cofactoring. 2012-01-08 09:35:09 +07:00
Alan Mishchenko d1450e7733 Backward reachability using circuit cofactoring. 2012-01-07 21:12:27 +07:00
Alan Mishchenko c3ab7843bb Backward reachability using circuit cofactoring. 2012-01-07 21:04:36 +07:00
Alan Mishchenko 99cc6ae9d2 Crash fix in 'tempor' in case the leading length is 0. 2012-01-07 20:29:11 +07:00
Alan Mishchenko 36bc5703ad Gate level abstraction. 2012-01-07 12:11:25 +07:00
Alan Mishchenko 376bf3a703 Bug fix: changing output number to 0 in the CEX after ORing POs. 2012-01-07 11:19:03 +07:00
Alan Mishchenko 10ad89490a Bug fix related to not properly resizing SAT solver's model array. 2012-01-06 11:34:06 +07:00
Alan Mishchenko 26b87c8c55 Added warning when the network from file has no primary inputs. 2012-01-06 01:36:08 +07:00
Alan Mishchenko 5a45a75dca APIs to represent simple gates in CNF. 2012-01-05 19:19:13 +07:00
Alan Mishchenko fd62957d39 Backward reachability using circuit cofactoring. 2012-01-05 18:48:11 +07:00
Alan Mishchenko 32e7b75829 APIs to represent simple gates in CNF. 2012-01-05 13:15:05 +07:00
Alan Mishchenko 660779b53c Configuration changes in the Boolean matching code. 2012-01-05 13:14:04 +07:00
Alan Mishchenko e3a412b2e7 Backward reachability using circuit cofactoring. 2012-01-01 15:58:49 +07:00
Alan Mishchenko aec5d33889 Backward reachability using circuit cofactoring. 2012-01-01 15:58:17 +07:00
Alan Mishchenko 1e20e2ccbc Delay optimization using precomputed library. 2011-12-30 13:11:52 +07:00
Alan Mishchenko 655d452cbb Delay optimization using precomputed library. 2011-12-30 11:36:25 +07:00
Alan Mishchenko 6ed8340226 Delay optimization using precomputed library. 2011-12-30 11:27:12 +07:00
Alan Mishchenko 64b8aa51e9 Delay optimization using precomputed library. 2011-12-30 09:54:30 +07:00
Alan Mishchenko 6c19c1dfed Delay optimization using precomputed library. 2011-12-29 21:14:01 +07:00
Alan Mishchenko ed13bd16fd New variable-time frame abstraction. 2011-12-29 10:13:25 +07:00
Alan Mishchenko 21df8bf021 Experiments with flattening hierarchy. 2011-12-28 22:16:04 +07:00
Alan Mishchenko c59e2e9c96 Transforming the solver to use different clause representation. 2011-12-23 21:45:23 -08:00
Alan Mishchenko 7facbc3cc9 Transforming the solver to use different clause representation. 2011-12-23 10:23:45 -08:00
Alan Mishchenko 94174d0f04 Transforming the solver to use different clause representation. 2011-12-23 00:43:31 -08:00
Alan Mishchenko 9d2893040e Transforming the solver to use different clause representation. 2011-12-23 00:29:26 -08:00
Alan Mishchenko 844c385e2b Transforming the solver to use different clause representation. 2011-12-22 15:38:06 -08:00
Alan Mishchenko 1c51d9577d Added switch -n to 'miter' to ignore PI/PO names. 2011-12-22 14:55:10 -08:00
Alan Mishchenko d0da3a8258 Computing interpolants as truth tables. 2011-12-22 14:26:47 -08:00
Alan Mishchenko 82a2495ce9 Improvements to hierarchical BLIF parser. 2011-12-22 14:26:03 -08:00
Alan Mishchenko b3c9609e82 Improvements to hierarchical BLIF parser. 2011-12-21 12:56:28 -08:00
Alan Mishchenko 3418a8820a Fixed a bug in matching code. 2011-12-17 17:51:13 -08:00
Alan Mishchenko cd4752b565 Added utility to sort lines in a file alphabetically. 2011-12-17 13:57:56 -08:00
Alan Mishchenko 024f9a2b13 Performance improvement in 'dch' for designs having nodes with many fanouts. 2011-12-15 19:32:53 -08:00
Alan Mishchenko f67cb76dff Added optional printout of the hierarchy structure before collapsing. 2011-12-15 19:32:05 -08:00
Alan Mishchenko 8404ecda54 Undoing temporary change to the solver. 2011-12-15 17:05:38 -08:00
Alan Mishchenko 4d000265f6 Temporary change to the solver. 2011-12-15 16:47:28 -08:00
Alan Mishchenko 4a7ef41db2 Adding switch '-W' to fx to control the quality of extracted divisors. 2011-12-15 15:46:32 -08:00
Alan Mishchenko 2bb95a97d0 Adding switch '-W' to fx to control the quality of extracted divisors. 2011-12-15 15:44:56 -08:00
Alan Mishchenko c80c0cc6c9 Trying to make sorting of nodes platform-indendent. 2011-12-15 13:39:16 -08:00
Alan Mishchenko 9608bcd1d8 Enabling balance again. 2011-12-15 13:39:03 -08:00
Alan Mishchenko 6531899709 Temporarily disabling balance. 2011-12-15 13:24:27 -08:00
Alan Mishchenko c8e4a05fd3 Additional print-outs in dc2. 2011-12-15 13:13:23 -08:00
Alan Mishchenko b63b332bac Trying to make sorting of nodes platform-indendent. 2011-12-15 12:42:42 -08:00
Alan Mishchenko 40ddda3edd Trying to make sorting of nodes platform-indendent. 2011-12-15 12:27:35 -08:00
Alan Mishchenko bc2f199bd3 Started SAT-based reparameterization. 2011-12-13 23:38:41 -08:00
Alan Mishchenko 8fdc5d220f g++ portability changes. 2011-12-13 12:17:03 -08:00
Alan Mishchenko 23af7f9036 Added command &read_blif to read hierarchical BLIF directly into the &-space. 2011-12-12 19:10:33 -08:00
Alan Mishchenko be874a7abe Added command &read_blif to read hierarchical BLIF directly into the &-space. 2011-12-12 18:43:49 -08:00
Alan Mishchenko ed4f4adeee Added the hierarchy printout. 2011-12-11 17:29:25 -08:00
Alan Mishchenko c2a1a9ef37 Implementing rollback in the updated solver. 2011-12-10 14:55:33 -08:00
Alan Mishchenko a2228ee09b Implementing rollback in the updated solver. 2011-12-10 14:45:35 -08:00
Alan Mishchenko 871171ffa4 Implemented rollback in the main SAT solver and updated PDR to use it (saves about 5% of runtime). 2011-12-10 14:06:01 -08:00
Alan Mishchenko 6c766b4f1a Implementing rollback in the updated solver. 2011-12-10 13:11:28 -08:00
Alan Mishchenko dea5708d4e Removing unused files. 2011-12-10 11:30:29 -08:00
Alan Mishchenko f67c0c173d Changes to the main SAT solver: fixing performance bug (resetting decay params after each restart), making the SAT solver platform- and runtime-independent (by using interger-based activity). 2011-12-09 23:49:30 -08:00
Alan Mishchenko eb35f0ef65 Added support for generating a library of real-life truth-tables. 2011-12-09 01:05:18 -08:00
Alan Mishchenko beb29257bf Added support for generating a library of real-life truth-tables. 2011-12-09 00:38:16 -08:00
Alan Mishchenko 200c5cc659 Added support for generating a library of real-life truth-tables. 2011-12-09 00:37:05 -08:00
Alan Mishchenko 07405ca1c5 Integrated new proof-logging into proof-based gate-level abstraction. 2011-12-08 22:42:50 -08:00
Alan Mishchenko b5c3992b6b Proof-logging in the updated solver. 2011-12-08 19:43:08 -08:00
Alan Mishchenko c985e17d1f Proof-logging in the updated solver. 2011-12-08 15:06:26 -08:00
Alan Mishchenko d1fa7f7a61 Proof-logging in the updated solver. 2011-12-07 22:26:50 -08:00
Alan Mishchenko 565fefec7a Proof-logging in the updated solver. 2011-12-06 21:11:18 -08:00
Alan Mishchenko 35733eb1a1 Added/renamed useful APIs. 2011-12-06 21:10:58 -08:00
Alan Mishchenko 68baf03809 Another attempt to make CUDD platform- and runtime-independent. 2011-12-06 18:58:41 -08:00
Alan Mishchenko 780321cf54 Another attempt to make CUDD platform- and runtime-independent. 2011-12-06 17:48:31 -08:00
Alan Mishchenko 7cce97b4b3 Added new switch to the LUT matching code. 2011-12-06 16:50:04 -08:00
Alan Mishchenko e84dcb7862 g++ portability changes. 2011-12-06 16:06:59 -08:00
Alan Mishchenko ef37d14bc6 Added recording of AIG subgraphs. 2011-12-06 15:37:09 -08:00
Alan Mishchenko f95e73c40b Added recording of AIG subgraphs. 2011-12-06 14:29:32 -08:00
Alan Mishchenko 0f8b68aef8 Performance bug fix in SOP balancing. 2011-12-06 13:15:53 -08:00
Alan Mishchenko 360c705fc4 Added recording of AIG subgraphs. 2011-12-06 12:42:00 -08:00
Alan Mishchenko b4a46eb688 Bug fixes in CUDD 2.4.2. 2011-12-06 07:39:55 -08:00
Alan Mishchenko a24e678a79 Bug fixes in CUDD 2.4.2. 2011-12-06 07:32:17 -08:00
Alan Mishchenko b743298cd5 Proof-logging in the updated solver. 2011-12-05 20:02:46 -08:00
Alan Mishchenko df8b636169 Fixed performance bug in matching code. 2011-12-05 18:27:03 -08:00
Alan Mishchenko 72404d1fdf Proof-logging in the updated solver. 2011-12-05 18:00:49 -08:00
Alan Mishchenko bb96fa361c Proof-logging in the updated solver. 2011-12-05 11:53:57 -08:00
Alan Mishchenko 7a19593d3f Proof-logging in the updated solver. 2011-12-04 23:30:09 -08:00
Alan Mishchenko f0d44a4a93 Proof-logging in the updated solver. 2011-12-04 22:58:24 -08:00
Alan Mishchenko 09d3e1ff77 Proof-logging in the updated solver. 2011-12-04 16:10:11 -08:00
Alan Mishchenko a7031bb3f7 Removing redundant function declarations. 2011-12-02 10:11:39 -05:00
Alan Mishchenko 12869de14b Previusly forgotten debug printout. 2011-12-02 01:08:48 -05:00
Alan Mishchenko 5161978d05 Started proof transformations. 2011-12-01 01:14:32 -05:00
Alan Mishchenko 1c16c45679 Started experiments with a new solver. 2011-11-27 16:28:57 -08:00
Alan Mishchenko fc4ab6bd39 Started experiments with a new solver. 2011-11-26 18:17:39 -08:00
Alan Mishchenko 0cfc97b940 Started experiments with a new solver. 2011-11-26 11:54:01 -08:00
Alan Mishchenko 8ac9515d36 Started experiments with a new solver. 2011-11-26 11:37:27 -08:00
Alan Mishchenko 06416a981f Started experiments with a new solver. 2011-11-26 11:33:37 -08:00
Alan Mishchenko d2db956a61 Started experiments with a new solver. 2011-11-25 18:08:48 -08:00
Alan Mishchenko 0f594b78fa Commented out the default call to UNSAT core verification. 2011-11-25 18:07:41 -08:00
Alan Mishchenko 9726d5a85e Improvement to the SAT solver (skipping binary clauses). 2011-11-25 18:06:36 -08:00
Alan Mishchenko 0a5d856cec Making GLA PBA and GLA CBA communicate information. 2011-11-22 19:07:00 -08:00
Alan Mishchenko ff938c7141 Modifications to the matching procedure 2011-11-22 18:48:03 -08:00
Alan Mishchenko 24408a483c Bug fix in GLA PBA. 2011-11-13 00:17:00 -08:00
Alan Mishchenko c7a7444211 Bug fix in GLA PBA. 2011-11-13 00:10:34 -08:00
Alan Mishchenko 21de666005 Bug fix in GLA PBA. 2011-11-13 00:01:16 -08:00
Alan Mishchenko e43c0d8708 Setting the number of completed time frames. 2011-11-12 23:44:38 -08:00
Alan Mishchenko b695e3334c Setting the number of completed time frames. 2011-11-12 23:42:19 -08:00
Alan Mishchenko 30ea50a3b4 Temporary debugging change. 2011-11-12 23:21:41 -08:00
Alan Mishchenko ca33481f1e Temporary debugging change. 2011-11-12 23:10:08 -08:00
Alan Mishchenko bf97e901d7 Temporary debugging change. 2011-11-12 23:07:19 -08:00
Alan Mishchenko 53b2f056a1 Temporary debugging change. 2011-11-12 23:04:27 -08:00
Alan Mishchenko 926b3adec1 Temporary debugging change. 2011-11-12 23:00:09 -08:00
Alan Mishchenko 4a937ef39f Temporary debugging change. 2011-11-12 22:58:48 -08:00
Alan Mishchenko 03cd9e196b Temporary debugging change. 2011-11-12 22:30:41 -08:00
Alan Mishchenko bca84be597 Temporary debugging change. 2011-11-12 22:26:12 -08:00
Alan Mishchenko cd2f13c09d Making computation in 'fx' run-to-run reproducible. 2011-11-12 22:20:26 -08:00
Alan Mishchenko df3e23ae3a Enabled skipping random decisions in PBA, which are performed by default. 2011-11-12 17:50:41 -08:00
Alan Mishchenko fa96b8d798 Do not allow interpolation with constraints. 2011-11-12 17:18:49 -08:00
Alan Mishchenko c1ac6b9b3e Dump inductive invariant or last interpolant after interpolation. 2011-11-12 16:56:41 -08:00
Alan Mishchenko b38df9feec Experiment with time reporting in GLA PBA. 2011-11-12 14:18:38 -08:00
Alan Mishchenko 814ee4841b Dump last frame clauses with 'pdr -d' even if the problem is SAT or undecided. 2011-11-12 14:03:00 -08:00
Alan Mishchenko c16f5d6494 Bug fix in GLA PBA. 2011-11-12 13:30:28 -08:00
Alan Mishchenko 3beb36778e Enabled counter-example minimization in 'write_counter'. 2011-11-11 20:56:05 -08:00
Alan Mishchenko 9fe4c74952 Corner-case bug in PDR. 2011-11-11 19:29:15 -08:00
Alan Mishchenko 8e6d4d3fe9 Removing restruction on the number of LUT inputs. 2011-11-10 23:17:08 -08:00
Alan Mishchenko d8dbc712d3 Bug fix in GLA PBA (unfinished). 2011-11-09 15:58:31 -08:00
Alan Mishchenko 0b73c76380 Preventing scripts from aborting if reading has failed. 2011-11-08 17:58:51 -08:00
Alan Mishchenko 55e9c4d0fa Corner case bug in deriving truth table from SOP. 2011-11-08 11:36:35 -08:00
Alan Mishchenko 9a89e3f9f5 Changing defaults in gate-level abstraction. 2011-11-06 23:35:15 -08:00
Alan Mishchenko 986bf053ee Trying to add BMC to random simulation. 2011-11-06 23:16:24 -08:00
Alan Mishchenko d2ced9f82e Changes to read multi-output testcases described using AIGER 1.9. 2011-11-06 23:15:27 -08:00
Alan Mishchenko c345a60ee7 Experiments with variable permutation. 2011-11-06 23:14:32 -08:00
Alan Mishchenko 9382c8fdd1 Trying to add BMC to random simulation. 2011-11-06 23:13:52 -08:00
Alan Mishchenko 6a939b6382 Experiments with variable permutation. 2011-11-06 08:26:30 -08:00
Alan Mishchenko cb5be5118b Experiments with variable permutation. 2011-11-06 08:22:05 -08:00
Alan Mishchenko 5c3264643e Temporarily added new runtime computation procedures. 2011-11-03 19:32:56 -05:00
Alan Mishchenko f75e55bb4b Fixed &reachy to perform reparametrization in case reachability is disabled. 2011-11-03 19:32:20 -05:00
Alan Mishchenko 5b75410a5e Fixed the overflow timeout problem in bmc/bmc2/bmc3/int/pdr/sim, etc. 2011-10-31 15:04:47 -05:00
Alan Mishchenko 868a1b9aeb Fixed the overflow timeout problem in bmc/bmc2/bmc3/int/pdr/sim, etc. 2011-10-31 14:59:47 -05:00
Alan Mishchenko f08be2742e C++ portability changes. 2011-10-27 23:34:11 -07:00
Alan Mishchenko 24d27e5524 Improvements to the new abstraction code. 2011-10-27 22:27:00 -07:00
Alan Mishchenko ef288ed5d0 Removed some recently added file, which broke compilation. 2011-10-27 14:28:41 -07:00
Alan Mishchenko 0ff0a552a5 Improvements to the new abstraction code. 2011-10-27 14:23:43 -07:00
Alan Mishchenko bc81cf2dae Improvements to the new abstraction code. 2011-10-27 14:20:47 -07:00
Alan Mishchenko 1dcdba1bee New proof-based abstraction code (bug fix). 2011-10-27 10:10:10 -07:00
Alan Mishchenko 0736f39609 New truth table permutation procedure. 2011-10-26 23:15:42 +08:00
Alan Mishchenko 0f77840520 New proof-based abstraction code. 2011-10-25 18:32:06 +08:00
Alan Mishchenko f7fd329787 Improvements to the QBF solver. 2011-10-25 17:22:33 +08:00
Alan Mishchenko a8e1ba40b9 The result of merging with recent PyABC changes. 2011-10-25 14:05:50 +08:00
Baruch Sterin 15d0d84bb4 pyabc: rearrange files and locations 2011-10-24 15:21:08 -07:00
Baruch Sterin 521ec0fcf9 pyabc: fix command line parser in reachx_cmx.py and abcpy_test.py 2011-10-24 15:21:08 -07:00
Alan Mishchenko f96f3fa583 Improvements to the QBF solver. 2011-10-24 18:05:45 +08:00
Alan Mishchenko 88c36d9d65 New abstraction code (bug fix). 2011-10-23 13:20:24 +07:00
Alan Mishchenko 9ec9d9f315 New abstraction code. 2011-10-19 23:45:11 +07:00
Alan Mishchenko 19ce8396f0 New abstraction code. 2011-10-19 16:03:15 +07:00
Alan Mishchenko 397bebf8a5 New abstraction code. 2011-10-19 15:42:55 +07:00
Alan Mishchenko efd310af3e Skip NULL entry when freeing vector of vectors. 2011-10-19 14:22:33 +07:00
Alan Mishchenko 5dbfc74807 Changes to CNF generation code. 2011-10-19 14:21:41 +07:00
Alan Mishchenko 1d0b827603 Changes to CNF generation code. 2011-10-19 11:49:54 +07:00
Alan Mishchenko 12b70d4946 Changes to CNF generation code. 2011-10-17 10:39:05 +03:00
Alan Mishchenko 6f0b87dd5c New abstraction code. 2011-10-15 22:04:05 +03:00
Alan Mishchenko e4bd4d5440 New abstraction code. 2011-10-14 16:49:43 +03:00
Alan Mishchenko c6982485e4 New abstraction code. 2011-10-14 16:48:45 +03:00
Alan Mishchenko ad5ee9ff46 Changes to the matching procedure. 2011-10-12 15:04:41 +03:00
Alan Mishchenko 191de3e885 Changes to the matching procedure. 2011-10-10 22:19:34 +03:00
Alan Mishchenko 657f2acd71 Changes to the matching procedure. 2011-10-10 21:55:32 +03:00
Alan Mishchenko 9daabedff5 Fixing built-in resource limit when converting truth-tables to AIGs. 2011-10-08 23:18:44 +07:00
Alan Mishchenko 924ec940fe Changes to the matching procedure. 2011-10-06 15:48:27 +07:00
Alan Mishchenko d66b586330 Modified write_blif to output LUT structures. 2011-10-04 18:43:23 +07:00
Alan Mishchenko 8c302870f4 Changes to the matching procedure. 2011-10-03 13:34:17 +07:00
Alan Mishchenko 0f9dacb7be Changes to the matching procedure. 2011-10-02 16:39:51 +07:00
Alan Mishchenko e6e6a3cf9e Changes to the matching procedure. 2011-10-01 17:00:59 +07:00
Alan Mishchenko ff4c674dd7 Updated miter status check to detect the case when a PO is equal to a true PI. 2011-10-01 10:51:33 +07:00
Alan Mishchenko 7884dd01bc Fixed a corner case bug in dprove when a trivial CEX is not produced. 2011-10-01 10:50:50 +07:00
Alan Mishchenko dbe2b466d7 Added handling of exceeding conflict limit in PushClasses. 2011-10-01 08:00:04 +07:00
Baruch Sterin 16e12f1852 pyabc: fix callbacks into python to work correctly by moving to PyGILEState_Ensure/Release APIs 2011-09-29 17:34:05 -07:00
Baruch Sterin ef0fbf0372 completely silence the "source" command when the -s option is given 2011-10-24 15:21:08 -07:00
Baruch Sterin 9d652062b7 pyabc: fix indentation in pyabc.i 2011-10-24 15:21:08 -07:00
Alan Mishchenko 519b03e8e8 Changes to the matching procedure and new abstraction code. 2011-09-27 15:10:53 +07:00
Alan Mishchenko 976f5f5a12 Changes to Boolean matching. 2011-09-24 20:15:54 -07:00
Alan Mishchenko d080336bb5 Added new feature to bmc3. 2011-09-23 22:35:03 -07:00
Alan Mishchenko 8f74276edb Initial changes to enable gate-level abstraction. 2011-09-22 09:37:44 -07:00
Alan Mishchenko 81b040e61c Fixed minor issues having to do with the number of BDD vars used. 2011-09-18 17:28:00 -07:00
Alan Mishchenko f14f5c9203 Fixing obscure memory problem with 'int' on large designs. 2011-09-17 23:00:50 -07:00
Alan Mishchenko c1edeccc60 64-bit portability changes. 2011-09-17 16:24:40 -07:00
Alan Mishchenko 8248691d84 Added limit on the number of flops to add in one iteration of &abs_refine. 2011-09-12 16:46:37 -05:00
Alan Mishchenko 583bc4d71a Added limit on the number of flops to add in one iteration of &abs_cba. 2011-09-11 20:31:25 -05:00
Alan Mishchenko a7acb2f104 Fixed the problem with blackboxes not preserving their names after duplication. 2011-09-08 21:10:36 +07:00
Alan Mishchenko 70694628d2 Sequential cleanup with symbolic/ternary simulation (bug fix). 2011-09-08 08:53:52 +07:00
Alan Mishchenko a525dfba6c Fixed the problem with incorrect reporting of finished timeframes after &abs_cba. 2011-09-04 01:40:56 +07:00
Alan Mishchenko 11ed724766 Added timeout to &abc_pba. 2011-09-02 17:09:07 +07:00
Alan Mishchenko 8cde0dd33c Bug fix in CBA. 2011-08-31 11:37:59 +07:00
Alan Mishchenko 11dca3aab0 Sequential cleanup with symbolic/ternary simulation (bug fix). 2011-08-30 00:42:02 +07:00
Alan Mishchenko 48bdc5144a Making 'reconcile' ignore the difference in flop count. 2011-08-29 18:46:16 +07:00
Alan Mishchenko f8fb154229 Change 'testcex' to modify the PO number. 2011-08-27 22:44:21 +07:00
Alan Mishchenko 2adf8dc2fd Sequential cleanup with symbolic/ternary simulation. 2011-08-25 17:21:17 +07:00
Alan Mishchenko df6d509023 Sequential cleanup with symbolic/ternary simulation. 2011-08-25 14:14:50 +07:00
Alan Mishchenko 3469b605e1 Sequential cleanup with symbolic/ternary simulation. 2011-08-24 17:39:57 +07:00
Alan Mishchenko c913fd8849 Other changes to enable new features in the mapper (bug fix). 2011-08-24 09:33:40 +07:00
Alan Mishchenko 19d6e1693a Experiments with SPFD-based decomposition. 2011-08-24 09:33:18 +07:00
Alan Mishchenko 166fba3509 Experiments with SPFD-based decomposition. 2011-08-21 15:09:11 +07:00
Alan Mishchenko d79cd4db44 Experiments with SPFD-based decomposition. 2011-08-21 15:05:44 +07:00
Alan Mishchenko 151fe40242 Experiments with SPFD-based decomposition. 2011-08-20 20:38:44 +07:00
Alan Mishchenko 56035ab9ab Making sure reconcile does not change the PO number. 2011-08-20 20:29:11 +07:00
Alan Mishchenko 21dfaedebd Experiments with SPFD-based decomposition + new K-map print-out. 2011-08-20 20:18:31 +07:00
Alan Mishchenko b71b5bbc23 Bug fix in CBA and PBA. 2011-08-18 14:38:02 +07:00
Alan Mishchenko 48ae2c448f Bug fix in CBA and PBA. 2011-08-17 20:49:41 +07:00
Alan Mishchenko 23671d65a9 Experiments with SPFD-based decomposition. 2011-08-17 20:48:56 +07:00
Alan Mishchenko e21d307544 Bug fix in interpolation (false positive if property fails in frame 0). 2011-08-14 20:04:08 +07:00
Alan Mishchenko 3344a46b26 Added switch '-t' to 'miter' to create regular miter from dual-output miter. 2011-08-14 19:22:30 +07:00
Alan Mishchenko 94726c981b Other changes to enable new features in the mapper (bug fix). 2011-08-06 13:28:22 +08:00
Alan Mishchenko b9dea5d674 Other changes to enable new features in the mapper (bug fix). 2011-08-06 01:31:07 +08:00
Alan Mishchenko fbb12a06f2 Bug fix in PBA. 2011-08-04 11:31:31 +08:00
Baruch Sterin 825b0b5ee3 added support for getting a cex vector 2011-08-02 02:13:52 -04:00
Alan Mishchenko 49df91f071 Several bug fixes. 2011-08-02 12:58:37 +07:00
Alan Mishchenko 64f31f98bf Added API to access the CEX vector. 2011-08-02 12:01:49 +07:00
Alan Mishchenko 6c6c0b0686 Enabled saving vector of counter-examples in the ABC framework. 2011-08-02 00:31:03 +07:00
Alan Mishchenko 4e9f972489 Changes to enable CEX minimization. 2011-08-01 20:44:13 +07:00
Alan Mishchenko 8af417bab7 Changes to enable smarter simulation (bug fix). 2011-08-01 18:40:34 +07:00
Alan Mishchenko 961f7532d7 Changing the ordering of arguments in two iterators. 2011-08-01 13:47:51 +07:00
Alan Mishchenko 820a147ef1 Removed useless typecasts related to changes in Vec_VecEntry(). 2011-08-01 12:35:34 +07:00
Alan Mishchenko 957b9f0173 Changes to enable CEX minimization. 2011-08-01 12:15:10 +07:00
Alan Mishchenko 81620f2e92 Changes to enable CEX minimization. 2011-08-01 12:13:49 +07:00
Alan Mishchenko 02b04efe9c Changes and simplifications in Vec_Vec_t data-structure. 2011-08-01 11:56:19 +07:00
Alan Mishchenko 33f71450d9 Bug fix in &abs_cba. 2011-08-01 11:48:21 +07:00
Alan Mishchenko 48f3db0b2d Reducing print-out in 'bmc3'. 2011-08-01 11:47:13 +07:00
Alan Mishchenko ab3c537072 Undoing previous change in 'resim' (do not initialize flops using their values in the CEX because the number of flops in the CEX can be different). 2011-08-01 11:25:46 +07:00
Alan Mishchenko 88251e97e3 Minor bug fix in 'testcex' (made it consider outputs in direct order). 2011-08-01 11:24:02 +07:00
Alan Mishchenko 34811655f2 Minor bug fix in 'testcex'. 2011-07-31 20:37:38 +07:00
Alan Mishchenko 778215e7ee Added new APIs to the AIG manager. 2011-07-31 20:36:43 +07:00
Alan Mishchenko 0d65c49048 Improvements to 'bmc3' (start frame; stop when all POs are SAT; stop when 2^nRegs frames are completed). 2011-07-31 20:22:57 +07:00
Alan Mishchenko d5955db960 Added new APIs to integer vector. 2011-07-31 20:20:10 +07:00
Alan Mishchenko 5303465ed6 Added new sorting procedures. 2011-07-31 16:17:21 +07:00
Alan Mishchenko 4ffe37b34b Added new sorting procedures. 2011-07-31 16:16:49 +07:00
Alan Mishchenko 340e4380e9 Changes to enable smarter simulation (bug fix). 2011-07-30 20:26:17 +07:00
Alan Mishchenko 43d8b8bece Changes to enable smarter simulation. 2011-07-30 20:19:28 +07:00
Alan Mishchenko b8de7a28e0 Changes to enable smarter simulation. 2011-07-30 19:56:52 +07:00
Alan Mishchenko 02711b6392 Added generation of counter-examples to induction in 'ind'. 2011-07-30 19:18:26 +07:00
Alan Mishchenko c60852f4a9 Changes to enable smarter simulation. 2011-07-30 13:37:02 +07:00
Alan Mishchenko 2ea0ded0bc Changes to enable smarter simulation. 2011-07-30 13:30:04 +07:00
Alan Mishchenko e4f15dd003 Changes to enable smarter simulation. 2011-07-30 02:04:54 +07:00
Alan Mishchenko badf8e4742 Improving and updating the abstraction code. 2011-07-29 18:57:54 +07:00
Alan Mishchenko dac71e9b33 Added deriving abstraction in GIA from the precomputed flop map. 2011-07-29 16:21:25 +07:00
Alan Mishchenko ce38474c74 Improving and updating the abstraction code. 2011-07-29 15:38:44 +07:00
Alan Mishchenko 581daaeade Changes to enable smarter simulation. 2011-07-29 14:20:41 +07:00
Alan Mishchenko 9e6d0664cb Other changes to enable new features in the mapper (bug fix). 2011-07-28 15:27:07 +07:00
Alan Mishchenko fddff7a55b Other changes to enable new features in the mapper (bug fix). 2011-07-28 13:50:34 +07:00
Alan Mishchenko 8ed6d8e05f Adding procedures to find the care bits of a counter-example (update). 2011-07-27 20:18:14 +07:00
Alan Mishchenko ff963167fe Added random generation of 64-bit numbers. 2011-07-27 18:30:08 +07:00
Alan Mishchenko 701296451e Determine LUT size form the LUT library if present. 2011-07-27 13:30:17 +07:00
Alan Mishchenko 7184003b42 Adding procedures to find the care bits of a counter-example (update). 2011-07-25 20:52:15 +07:00
Alan Mishchenko e7a5a74b4c Adding procedures to find the care bits of a counter-example. 2011-07-25 20:35:06 +07:00
Alan Mishchenko 67e84b719d Enhancing printing of counter-examples. 2011-07-25 20:33:55 +07:00
Alan Mishchenko c4dd8067fd Bug fix in how seq cleanup handles cand equiv classes. 2011-07-25 19:29:57 +07:00
Alan Mishchenko 9e307901c7 Added support for constraints in AIGER (bug fix). 2011-07-22 20:29:26 +07:00
Alan Mishchenko 76447062cc Adding &equiv3, a new way of refining equivalence classes. 2011-07-22 20:20:19 +07:00
Alan Mishchenko 5b71a8f849 Added support for constraints in AIGER (bug fix). 2011-07-21 22:42:11 +07:00
Alan Mishchenko 5b616990b4 Added support for constraints in AIGER (bug fix). 2011-07-21 22:38:20 +07:00
Alan Mishchenko 9a2a0f2912 Changes to enable smarter simulation. 2011-07-21 17:55:44 +07:00
Alan Mishchenko 515835579e Added support for constraints in AIGER (bug fix). 2011-07-21 13:04:32 +07:00
Alan Mishchenko fdf79ed471 Other changes to enable new features in the mapper (bug fix). 2011-07-21 12:02:07 +07:00
Alan Mishchenko f899bae8f6 Added support for constraints in AIGER (bug fix). 2011-07-20 22:16:06 +07:00
Alan Mishchenko 267f61164a Changes to enable smarter simulation. 2011-07-20 18:40:09 +07:00
Alan Mishchenko ee261ef3f2 Other changes to enable new features in the mapper (bug fix). 2011-07-20 18:23:10 +07:00
Alan Mishchenko bb86d9142e New demitering features. 2011-07-20 13:52:54 +07:00
Alan Mishchenko 3ab9683d26 Added support for constraints in AIGER (bug fix). 2011-07-20 13:45:30 +07:00
Alan Mishchenko 4ca6612821 Fixed assertion failure when mitering with choices. 2011-07-20 11:01:12 +07:00
Alan Mishchenko bc63966e4a Corner case bug fix in 'speedup'. 2011-07-20 10:55:58 +07:00
Alan Mishchenko c511bccb67 Added support for constraints in AIGER. 2011-07-20 10:11:49 +07:00
Alan Mishchenko 5e7de1f80a Added report about exceeding the conflict limit in 'ind'. 2011-07-19 11:16:53 +07:00
Alan Mishchenko fbd6a08e73 Other changes to enable new features in the mapper (bug fix). 2011-07-16 17:49:35 +07:00
Alan Mishchenko 7ad51056bd Diagnostic printout for random simulation 2011-07-16 15:00:39 +07:00
Alan Mishchenko ccaed178ca Fixed a glitch in &dch, which removed the flops. 2011-07-16 12:36:06 +07:00
Alan Mishchenko 302f7d7a97 Other changes to enable new features in the mapper (bug fix). 2011-07-15 18:50:58 +07:00
Alan Mishchenko 96e44e313e Other changes to enable new features in the mapper (bug fix). 2011-07-15 12:27:40 +07:00
Alan Mishchenko 2dd6b9789d Reduced default growth rate of vectors in the SAT solver. 2011-07-13 16:35:53 +07:00
Alan Mishchenko 6a020d6f69 Added switch to PDR to disable expensive generalization step. 2011-07-13 15:13:08 +07:00
Alan Mishchenko 669f390c6d Other changes to enable new features in the mapper (bug fix). 2011-07-13 12:48:51 +07:00
Alan Mishchenko 97b488e72e Fixed memory leak in the AIGER reader. 2011-07-13 10:50:36 +07:00
Alan Mishchenko 73702835c6 Added equivalence class computation for flop outputs only in &equiv2. 2011-07-13 10:13:24 +07:00
Alan Mishchenko c4e8593075 Modified the PDR print-out to be compatible with Niklas. 2011-07-12 22:41:44 +07:00
Alan Mishchenko af84c0d205 Added printout of flop names in the PLA file representing the invariant. 2011-07-11 10:49:36 +07:00
Alan Mishchenko 3a6c8f1c42 Other changes to enable new features in the mapper (bug fix). 2011-07-11 10:10:46 +07:00
Alan Mishchenko 204fac4dca Other changes to enable new features in the mapper. 2011-07-10 13:56:05 +07:00
Alan Mishchenko ebfd70cdf4 Initial changes to enable new features in the mapper 2011-07-08 19:40:07 -07:00
Alan Mishchenko a37de7cc4d Printing out the path/name of the resource file that is being sourced. 2011-07-02 17:17:55 -07:00
Alan Mishchenko 10953634c9 Fixing a typo, which led to not printing delay in 'ps' after SC mapping. 2011-07-02 17:05:14 -07:00
Alan Mishchenko f866920eb5 Added a new demitering feature for dual-output miters. 2011-07-02 13:58:12 -07:00
Alan Mishchenko 6c2ac7661d Added another specialized check to the mapper. 2011-06-27 20:17:52 -07:00
Alan Mishchenko 86ba294dc8 The cube in PDR can have more than 2^15 literals. 2011-06-27 10:35:36 -07:00
Alan Mishchenko cab60501d0 Fixed the problem in mapping with the new check. 2011-06-26 19:40:16 -07:00
Alan Mishchenko 0985eaca6c Updated 'iprove' to generate seq CEX when CEC fails (small fix). 2011-06-25 09:48:23 -07:00
Alan Mishchenko 49869d08ec Merged two last changes. 2011-06-25 09:45:04 -07:00
Alan Mishchenko 15cc374fe3 Updated 'iprove' to generate seq CEX when CEC fails. 2011-06-25 09:23:44 -07:00
Alan Mishchenko 5b639818e9 Added dumping CEXes in AIGER format. 2011-06-21 19:54:31 -07:00
Alan Mishchenko 4669839b24 Added new mapping feature. 2011-06-20 22:23:32 -07:00
Alan Mishchenko 6fd29922d3 Added permute/unpermute. 2011-06-20 13:16:23 -07:00
Alan Mishchenko 3b77f2d16d Added permute/unpermute. 2011-06-20 13:14:51 -07:00
Alan Mishchenko 51134ab81c Disabled duplication of the network while removing POs in 'zeropo'. 2011-06-15 23:18:51 -07:00
Alan Mishchenko 68c79ee879 Added command &filter to filter equiv classes. 2011-06-15 00:31:11 -07:00
Alan Mishchenko dcd95cac6f Disabled duplication of the network while removing POs in 'removepo'. 2011-06-14 23:02:34 -07:00
Alan Mishchenko b2dfa01370 Adding command 'srm2' (additional feature). 2011-06-08 11:34:51 -07:00
Alan Mishchenko 11f684c04d Adding command 'srm2'. 2011-06-08 09:25:32 -07:00
Alan Mishchenko bfbbfadfc4 Adding command 'srm2'. 2011-06-08 09:23:31 -07:00
Alan Mishchenko ddb34e871c Adding command 'removepo'. 2011-06-03 18:16:08 -07:00
Alan Mishchenko 3bdce84c5b Bug fix in 'swappos'. 2011-06-03 17:54:12 -07:00
Alan Mishchenko 31360734b7 Added new command 'outdec'. 2011-05-19 11:43:11 +07:00
Alan Mishchenko 27311713c7 Special BLIF writing (bug fixes). 2011-05-18 15:03:19 +07:00
Alan Mishchenko 26fb1fcd14 Special BLIF writing. 2011-05-18 13:35:35 +07:00
Alan Mishchenko ef6778b8fe Added conversion of cex after phase abstraction. 2011-05-18 13:35:17 +07:00
Alan Mishchenko 265db2a9d1 Fixing mismatch in reconcile. 2011-05-13 10:19:29 +08:00
Alan Mishchenko 3c7842be32 Improvements to timeout. 2011-05-11 22:14:12 +08:00
Alan Mishchenko bacf23868b Updated technology mapping. 2011-05-08 00:22:42 -07:00
Alan Mishchenko 57daeee997 Updated technology mapping. 2011-05-08 00:22:32 -07:00
Alan Mishchenko 27bb2a684d Updated technology mapping. 2011-05-07 20:19:45 -07:00
Alan Mishchenko b8b75cf14f Improvements in sequential verification. 2011-05-07 18:21:50 -07:00
Alan Mishchenko 4b21edde65 Improvements in sequential verification. 2011-05-07 12:19:11 -07:00
Alan Mishchenko e2e3f6a228 Improvements in sequential verification. 2011-05-06 20:33:06 -07:00
Alan Mishchenko a0cc621566 Trying to fix a mysterious bug in reading the library files. 2011-05-06 19:27:00 -07:00
Alan Mishchenko 80d161afaa Fixing a bug, which was accidentally introduced a few months while debugging Boolean decomposition 2011-05-02 20:51:46 -07:00
Alan Mishchenko 3fed776860 Added switch to bmc3, which allows to replace some PIs with constants. 2011-05-01 16:46:40 -07:00
Alan Mishchenko 2140c5d980 Updating testcext to ignore the diff in register count and other things. 2011-05-01 15:36:39 -07:00
Alan Mishchenko e4d0f4715a Added new options to testcex. 2011-04-28 09:56:14 -04:00
Alan Mishchenko 631b50aa59 Commented out debug messages. 2011-04-26 22:56:04 -04:00
Alan Mishchenko 970200b932 Made testcex reset the number of the PO that failed. 2011-04-25 12:35:05 -05:00
Alan Mishchenko 3eae30a3c3 Added support for AIG returned in the output file. 2011-04-24 14:40:36 -07:00
Alan Mishchenko affb43e2a3 Added switch to control duplication of logic after mapping. 2011-04-24 10:43:24 -07:00
Alan Mishchenko 2becb24a32 Bug fixes having to do with the use of chars. 2011-04-20 23:15:05 -07:00
Alan Mishchenko e2842beaca Fixing c++ portability issues. 2011-04-20 00:29:46 -07:00
Alan Mishchenko 8cd00e0407 Fixing c++ portability issues. 2011-04-20 00:27:47 -07:00
Alan Mishchenko d5555c51f0 Fixing c++ portability issues. 2011-04-20 00:27:35 -07:00
Alan Mishchenko d8647f0b7b Fixing compilation problem which resulting from defining 'int c' as 'char c'. 2011-04-19 23:16:12 -07:00
Alan Mishchenko 7d9b3556bd Backward compatibility of GIA manager. 2011-04-18 23:30:16 -07:00
Alan Mishchenko 05b61206e4 Adding constant correspondence. 2011-04-18 23:27:51 -07:00
Alan Mishchenko 39ad44638c Improvements to BDD reachability. 2011-04-18 23:27:26 -07:00
Alan Mishchenko 74a79e5dab Improvements to BDD reachability. 2011-04-18 23:26:34 -07:00
Alan Mishchenko 5767830b45 Changes to incorporate AIG parsing in memory and user-specified PI/PO/FF numbers (bug fix). 2011-04-17 22:48:51 -07:00
Alan Mishchenko 7bcd5ac979 Changes to incorporate AIG parsing in memory and user-specified PI/PO/FF numbers. 2011-04-17 19:11:57 -07:00
Alan Mishchenko 0aefe77ea5 Added command 'reconcile'. 2011-04-16 22:49:14 -07:00
Alan Mishchenko ddd9758931 Added cex generation for clustered reachability (forgot one file). 2011-04-16 00:09:39 -07:00
Alan Mishchenko dd71ca94f1 Added cex generation for clustered reachability. 2011-04-16 00:08:43 -07:00
Alan Mishchenko 813245b29a Improving timeout in the interpolation package. 2011-04-15 09:29:13 -07:00
Alan Mishchenko 3dfdbe1402 Forgot to update project file. 2011-04-15 08:01:27 -07:00
Alan Mishchenko 4635027478 Further improvements to reachability. 2011-04-15 00:06:54 -07:00
Alan Mishchenko 75e60ab2ee Experiments with reachability. 2011-04-14 09:57:35 -07:00
Alan Mishchenko c0c9fc84f1 Minor improvements to reachability. 2011-04-13 23:47:24 -07:00
Alan Mishchenko 6e74c46bcf Enabled new BDD-based reachability engine 'reachy'. 2011-04-13 22:41:54 -07:00
Alan Mishchenko 8b22fd2856 Added print-out of area in terms of LUT library. 2011-04-13 08:24:35 -07:00
Alan Mishchenko c82a418b26 Commented out one useless assertion in scorr. 2011-04-12 23:59:16 -07:00
Alan Mishchenko 302f41e908 Added procedure to vector package and manager template file. 2011-04-10 12:55:57 -07:00
Alan Mishchenko 93fef036d5 Experiment with bit-packing. 2011-04-08 23:26:25 -07:00
Alan Mishchenko 5222f382af Adding SAT-solver-level timeouts to the BMC engines. 2011-04-08 15:35:59 -07:00
Alan Mishchenko 234fb8c7e3 Fixing a problem with costraint scorr for K > 1. 2011-04-08 15:35:39 -07:00
Alan Mishchenko a28fe0d324 Unsuccessful attempt to improve PDR and a few minor changes. 2011-04-07 13:49:03 -07:00
Alan Mishchenko 1794bd37cd Made gate library package Mio independent of CUDD. 2011-03-30 21:02:29 -07:00
Alan Mishchenko 02f7ede7c6 Added test package (new files). 2011-03-29 19:11:34 -07:00
Alan Mishchenko 2b336851a2 Added test package. 2011-03-29 13:04:21 -07:00
Alan Mishchenko 6c01e8b9f0 Fixed a number of small bugs and memory leaks. 2011-03-27 14:17:12 -07:00
Alan Mishchenko 1ec437d04b C++ compilation fixes. 2011-03-27 11:52:56 -07:00
Alan Mishchenko 4dcf8cee2d Improvements in Vec_Vec_t. 2011-03-27 11:35:31 -07:00
Alan Mishchenko d97e5d6803 Added Max/Min/Abs as static inline functions. 2011-03-27 11:35:18 -07:00
Alan Mishchenko 2fe534b06c Fixed memory leak. 2011-03-27 11:34:00 -07:00
Alan Mishchenko 3a6f8688e2 Added printing MFFC sizes and deriving TT from SOP. 2011-03-18 19:48:42 -07:00
Alan Mishchenko ca5d7eef2f Fixing timeout in reachability engines. 2011-03-17 13:43:07 -07:00
Alan Mishchenko 464fda3fa5 Fix parsing tab symbol in Liberty files. 2011-03-17 12:44:43 -07:00
Alan Mishchenko 813db6e74d Procedure to convert AIG into a netowrk of NAND gates. 2011-03-17 11:40:33 -07:00
Alan Mishchenko 326e5da48a Added new procedure and other small changes. 2011-03-16 21:33:02 -07:00
Alan Mishchenko 290ea10c9e Exploring fanout cofactoring ideas... 2011-03-14 11:56:09 -07:00
Alan Mishchenko 92a1c5b58e Several bug fixes and other improvements. 2011-03-12 19:44:38 -08:00
Alan Mishchenko a4aaf110ad Exploration of Sasao's decomposition and minor improvements. 2011-03-11 20:18:02 -08:00
Alan Mishchenko 759c6596a5 Bug alert message in 'fraig'. 2011-03-10 11:48:25 -08:00
Alan Mishchenko aa31e011a8 Added generation of MFFC for the network (improvements). 2011-03-09 20:49:32 -08:00
Alan Mishchenko b46749dee6 Fixed the bug in Gia_ManRo/Gia_ManRo. 2011-03-09 18:41:53 -08:00
Alan Mishchenko 6a48812d50 Changed internal includes to be in quotes rather than in <>. 2011-03-09 18:39:53 -08:00
Alan Mishchenko e15362a816 Added generation of MFFC for the network. 2011-03-09 18:39:00 -08:00
Alan Mishchenko 35f90a777d Mffc-based structural decomposition of the network and bug fixes in reordering package. 2011-03-08 20:07:52 -08:00
Alan Mishchenko 24f0da1475 Improvements to the interpolation command 'int'; change of default switch -t (forgot to add new file). 2011-03-08 20:06:09 -08:00
Alan Mishchenko 937979d9dd Improvements to the interpolation command 'int'; change of default switch -t. 2011-03-08 20:05:09 -08:00
Alan Mishchenko eabc42a2d8 Fixing a typo bug Vec_IntStart instead of Vec_IntAlloc. 2011-03-08 17:32:38 -08:00
Alan Mishchenko badbb5a6cc Fixing bugs in the new procedures added to the library. 2011-03-05 16:17:12 -08:00
Alan Mishchenko edcb769b3e Adding new procedures to the library. 2011-03-05 13:09:11 -08:00
Alan Mishchenko 5f69ce8b8d Fixing a corner case bug in 'enlarge'. 2011-03-05 13:08:39 -08:00
Alan Mishchenko 5894637221 Yet another improvement in &abs_refine -s. 2011-03-04 20:14:30 -08:00
Alan Mishchenko bfc39c1c33 Another improvement in &abs_refine -s. 2011-03-04 19:41:49 -08:00
Alan Mishchenko 158a76721e Added 'src/mem' as an additition include directory in Python interface. 2011-03-04 18:17:09 -08:00
Alan Mishchenko 87d39b40aa Missing type cast after one of the previous changes. 2011-03-04 17:11:33 -08:00
Alan Mishchenko ef89333774 Improved the speed of refinement algorithm in &abs_refine. 2011-03-04 16:59:28 -08:00
Alan Mishchenko 148a786b69 Made abc.h independent of CUDD and Extra. 2011-03-03 12:28:52 -08:00
Alan Mishchenko 88bdf467d8 Bug fix in dprove, adding command option -p. 2011-03-03 10:02:32 -08:00
Alan Mishchenko d13bbe5b5f Bug fix in &fraig. 2011-03-03 10:01:28 -08:00
Alan Mishchenko f2945e12f3 Upgrading epd and mtr packages to be compatible with the latest release of CUDD 2.4.2 2011-03-02 19:02:04 -08:00
Alan Mishchenko e3f2dde1c4 Upgrading epd and mtr packages to be compatible with the latest release of CUDD 2.4.2 2011-03-02 18:50:03 -08:00
Alan Mishchenko e881eaf693 Removing useless printout in &resim. 2011-03-02 18:48:51 -08:00
Alan Mishchenko de984d7f90 Fixing corner-case bugs in &srm -s. 2011-02-28 21:55:40 -08:00
Alan Mishchenko 6119f7068a Cumulative update to BDD-based reachability, speeding up &reachm and other changes. 2011-02-28 14:52:51 -08:00
Alan Mishchenko 39839c3feb Updated read_status/write_status to correctly handle the case of seq cex without regs. 2011-02-27 20:57:27 -08:00
Alan Mishchenko 4704dbc798 Replaced remove() by unlink() to compile on Windows. 2011-02-27 20:43:02 -08:00
Baruch Sterin 34d59b0b91 fixes to pyabc kill mechanism 2011-02-27 18:33:56 -08:00
Alan Mishchenko 02081dba67 Added generation of counter-examples in &reachm. 2011-02-27 17:05:44 -08:00
Alan Mishchenko 2f874d27fc Fixed the problem with filtered equivalences (&srm -sf and &equiv_mark -f). 2011-02-22 12:47:55 -08:00
Alan Mishchenko a84b1cfc55 Fixed a critical bug in the previous update. 2011-02-21 21:32:28 -08:00
Alan Mishchenko 75ee395f91 Implemented additional filtering of equivalences (&srm -sf). 2011-02-21 15:09:51 -08:00
Alan Mishchenko ab75993d28 Moved two new APIs for reading/writing CEX from/into ABC from abc.c to mainFrame.c. 2011-02-19 16:53:11 -08:00
Alan Mishchenko e3f88c81c6 Changes to support sequential verification with reduction without speculation. 2011-02-19 16:47:05 -08:00
Alan Mishchenko 2619edf8c0 Added two new APIs for reading/writing CEX from/into ABC. 2011-02-19 16:43:00 -08:00
Alan Mishchenko 443cc01782 Another corner-case bug in zeropo. 2011-02-19 13:24:21 -08:00
Alan Mishchenko 0656af22fd Adding one more control switch to CEC commands (i)prove. 2011-02-19 11:51:20 -08:00
Alan Mishchenko c7ebd93211 Improvements to CEC command iprove. 2011-02-18 22:19:45 -08:00
Alan Mishchenko 06ae1644b2 Fixing the problem with writing/reading bug-free depth in status files. 2011-02-17 09:18:07 -08:00
Alan Mishchenko 5b4ef503bd Fixed Cudd_DumpDot() to not print leading zeros because of OS-dependent fprintf switch %p. 2011-02-16 12:21:58 -08:00
Baruch Sterin 9d02679ef7 fixes for dumb erros in utilSignal.c/h 2011-02-15 16:50:12 -08:00
Alan Mishchenko a7e214bb01 Improved timeout in the BDD reachability engines. 2011-02-13 20:50:29 -08:00
Alan Mishchenko 573694f9bf Fixing g++ compilation issue for tmpFile(). 2011-02-13 19:48:30 -08:00
Alan Mishchenko 8cc7b43865 Unified the use of counter-examples in three packages (additional files). 2011-02-13 18:02:52 -08:00
Alan Mishchenko 71cbf17e7f Unified the use of counter-examples in three packages. 2011-02-13 17:46:48 -08:00
Alan Mishchenko 686d38d667 Changes to enable C++ compilation after recent modifications. 2011-02-13 15:16:10 -08:00
Alan Mishchenko e7b544f111 Upgrade to the latest CUDD 2.4.2. 2011-02-13 13:42:25 -08:00
Alan Mishchenko d99de60e6c Portability changes to the st package. 2011-02-13 13:40:21 -08:00
Alan Mishchenko bef084bd9b Bug fix in setting the number of finished frames when reading a status file. 2011-02-11 13:57:57 -08:00
Alan Mishchenko 78aed3f6d5 LUT-size-based balancing (disabled by default). 2011-02-11 09:11:30 -08:00
Alan Mishchenko 2a214a9283 Bug fix in zeropo. 2011-02-11 09:10:34 -08:00
Alan Mishchenko f74fb87dae Improved timeout in &reachp. 2011-02-08 12:45:28 -08:00
Alan Mishchenko ed253df750 Additional change to enable runtime limit in CUDD in variable reordering. 2011-02-08 12:43:32 -08:00
Alan Mishchenko 46075098da Improved timeout in &reachm. 2011-02-08 11:36:02 -08:00
Alan Mishchenko 7977b2dd5d Modificationd to CUDD to enable runtime-limit in variable reordering. 2011-02-08 11:09:12 -08:00
Alan Mishchenko 53217cdc8b Yet another update to the runtime control in BDD operations. 2011-02-07 20:37:53 -08:00
Alan Mishchenko 21bb515b3c Added handling runtime limit inside And and AndExist. 2011-02-07 15:58:29 -08:00
Alan Mishchenko 3e92b87362 Added timeout to &reachn. 2011-02-04 20:22:10 -08:00
Alan Mishchenko 82e9de9000 Eneabled writing/reading pAbc->nFrames into/from status files. 2011-02-04 00:07:21 -08:00
Alan Mishchenko e5fb4fe550 Added writing signal names in AIGER writer for GIA package. 2011-02-03 22:11:47 -08:00
Alan Mishchenko e6f8744777 Make PDR return the number of completed frames. 2011-02-03 21:34:46 -08:00
Alan Mishchenko 59d7455cf1 Minor changes while improving BDD-based reachability. 2011-02-03 13:05:01 -08:00
Alan Mishchenko 1d54983bc4 Minor changes to hash table and utilSignal.c. 2011-02-01 16:35:50 -08:00
Baruch Sterin 35e05b7e5a merge pyabc changes into mainline 2011-02-01 16:19:38 -08:00
Baruch Sterin 3a41da37a2 src/misc/util/utilSignal.c 2011-02-01 15:54:01 -08:00
Alan Mishchenko d4291dab37 Cumulative changes of the last two weeks. 2011-02-01 15:47:55 -08:00
Baruch Sterin b538a5fad0 1. Replace system() with a function that responds to SIGINT. 2. Add functions to cleanup temporary files on SIGINT. 3. Fix bugs related to signal handling. 2011-02-01 11:13:53 -08:00
Alan Mishchenko 624af674a0 New code since Dec 2010. 2011-01-13 13:32:18 -08:00
Baruch Sterin ab80b015a4 merge changes from main branch 2011-01-13 22:42:54 +02:00
Alan Mishchenko ae4b51351c Cumulative changes in the last few weeks. 2011-01-13 12:38:59 -08:00
Baruch Sterin 811f5631a8 pyabc: reorganize supporting python scripts 2011-01-13 22:12:37 +02:00
Baruch Sterin c85a763444 pyabc: make the SIGINT signal handler clean up by sending SIGINT to child processes registered by the python code. Also provide functions to block SIGINT and unblock it, to allow for critical sections where signals are blocked 2011-01-13 22:11:37 +02:00
Alan Mishchenko f4066b5be3 Initial implementation of AnalyseFinal 2010-12-03 09:26:08 -08:00
Alan Mishchenko ff5fdb92e2 Bug fix in &srm (not generating result when there is no equivs) 2010-12-03 01:21:49 -08:00
Alan Mishchenko 2adc30f56b Initial integration of PDR 2010-12-03 01:20:51 -08:00
Alan Mishchenko c9a6252486 Fixing memory leak in LTL property handling code 2010-12-02 19:30:19 -08:00
Alan Mishchenko c7bb89d1b9 An option to output verbose stats about timeframe sizes during unrolling 2010-11-29 01:45:48 -08:00
Alan Mishchenko 5a192f026f Bug fix: alloing "dsat" to work on multi-output cones 2010-11-29 01:43:14 -08:00
Alan Mishchenko ffb04d244f Code formatting change 2010-11-29 01:40:49 -08:00
Alan Mishchenko f404f9ffb4 Performance bug fix in area-only mapping "map -a". 2010-11-29 01:38:31 -08:00
Alan Mishchenko 92420c2d1f Rearranging data members in the structure (not a bug) 2010-11-29 01:37:13 -08:00
Alan Mishchenko 42cebe99d0 Bug fix: unhandled & symbol in Liberty formula representation 2010-11-29 01:35:09 -08:00
Alan Mishchenko 9bff0309ae Added ternary simulation value storage 2010-11-29 01:32:29 -08:00
Alan Mishchenko 719d399a64 Bug fix to read flops with init state 3 (don't know) 2010-11-29 01:30:03 -08:00
Alan Mishchenko a2e2661e1f Fixing combinational loop problem in choice computation 2010-11-29 01:26:00 -08:00
Alan Mishchenko cdcbd60b39 Adding missing license agreements 2010-11-29 01:23:21 -08:00
Alan Mishchenko 0c337bc344 Added API Abc_FrameReadGia 2010-11-29 01:15:16 -08:00
Alan Mishchenko 584643747c Fix for write_status/read_status to use PO index 2010-11-29 01:08:18 -08:00
Alan Mishchenko c2c9a5cf8d Added command "swappos". 2010-11-28 22:44:54 -08:00
Alan Mishchenko a17a4e5ca4 NPN class computation. 2010-11-28 22:30:15 -08:00
Alan Mishchenko 98257daa82 Added command "testcex". 2010-11-28 19:32:19 -08:00
Baruch Sterin 093774c1b8 fixed compilation in linux 2010-11-01 02:06:26 -07:00
Alan Mishchenko 6130e39b18 initial commit of public abc 2010-11-01 01:35:04 -07:00
Alan Mishchenko 51a646a355 Version abc90901 
committer: Baruch Sterin <baruchs@gmail.com>
 2015-06-22 23:05:13 -07:00
Alan Mishchenko 3270783939 Version abc90813 
committer: Baruch Sterin <baruchs@gmail.com>
 2015-06-22 23:05:09 -07:00
Alan Mishchenko 4d1bc4a268 Version abc90809 
committer: Baruch Sterin <baruchs@gmail.com>
 2015-06-22 23:05:06 -07:00
Alan Mishchenko b288bac6b3 Version abc90807 
committer: Baruch Sterin <baruchs@gmail.com>
 2015-06-22 23:05:02 -07:00
Alan Mishchenko da65e88e3b Version abc90804 
committer: Baruch Sterin <baruchs@gmail.com>
 2015-06-22 23:04:59 -07:00
Alan Mishchenko 270f6db246 Version abc90715 
committer: Baruch Sterin <baruchs@gmail.com>
 2015-06-22 23:04:56 -07:00
Alan Mishchenko 0398ced824 Version abc90714 
committer: Baruch Sterin <baruchs@gmail.com>
 2015-06-22 23:04:53 -07:00
Alan Mishchenko 70697f868a Version abc90528 
committer: Baruch Sterin <baruchs@gmail.com>
 2015-06-22 23:04:43 -07:00
Alan Mishchenko d5b0fdee74 Version abc90505 2009-05-05 08:01:00 -07:00
Alan Mishchenko d7a048d738 Version abc90424 2009-04-24 08:01:00 -07:00
Alan Mishchenko 77fab468ad Version abc90413 2009-04-13 08:01:00 -07:00
Alan Mishchenko ccd1b57264 Version abc90410 2009-04-10 08:01:00 -07:00
Alan Mishchenko df6fdd1dff Version abc90408 2009-04-08 08:01:00 -07:00
Alan Mishchenko e3e2918eb8 Version abc90405 2009-04-05 08:01:00 -07:00
Alan Mishchenko 23fd11037a Version abc90329 2009-03-29 08:01:00 -07:00
Alan Mishchenko d74d35aa42 Version abc90321 2009-03-21 08:01:00 -07:00
Alan Mishchenko 770bc99e79 Version abc90315 2009-03-15 08:01:00 -07:00
Alan Mishchenko 81b51657f5 Version abc90313 2009-03-13 08:01:00 -07:00
Alan Mishchenko 243cb29e56 Version abc90311 2009-03-11 08:01:00 -07:00
Alan Mishchenko 32314347ba Version abc90310 2009-03-10 08:01:00 -07:00
Alan Mishchenko c03f9b516b Version abc90220 2009-02-20 08:01:00 -08:00
Alan Mishchenko 28d4f8696d Version abc90217 2009-02-17 08:01:00 -08:00
Alan Mishchenko 0871bffae3 Version abc90215 2009-02-15 08:01:00 -08:00
Alan Mishchenko f936cc0680 Version abc90118 2009-01-18 08:01:00 -08:00
Alan Mishchenko c9ad5880cc Version abc81029 2008-10-29 08:01:00 -07:00
Alan Mishchenko d80ee832f3 Version abc81027 2008-10-27 08:01:00 -07:00
Alan Mishchenko d2b735f794 Version abc81025 2008-10-25 08:01:00 -07:00
Alan Mishchenko 2418d9b08d Version abc81014_2 2008-10-14 20:01:00 -07:00
Alan Mishchenko a4bca40597 Version abc81014 2008-10-14 08:01:00 -07:00
Alan Mishchenko e917dda1d3 Version abc81013 2008-10-13 08:01:00 -07:00
Alan Mishchenko a2535d49a0 Version abc81005 2008-10-05 08:01:00 -07:00
Alan Mishchenko eb75697fe0 Version abc81004 2008-10-04 08:01:00 -07:00
Alan Mishchenko 689cbe904e Version abc80927 2008-09-27 08:01:00 -07:00
Alan Mishchenko 91effd8148 Version abc80922 2008-09-22 08:01:00 -07:00
Alan Mishchenko 23c428ea09 Version abc80921_2 2008-09-21 20:01:00 -07:00
Alan Mishchenko 4d71c114a3 Version abc80921 2008-09-21 08:01:00 -07:00
Alan Mishchenko 3429e6309d Version abc80919 2008-09-19 08:01:00 -07:00
Alan Mishchenko 655a50101e Version abc80918 2008-09-18 08:01:00 -07:00
Alan Mishchenko ce690b2907 Version abc80915 2008-09-15 08:01:00 -07:00
Alan Mishchenko 75d6d6abd1 Version abc80912 2008-09-12 08:01:00 -07:00
Alan Mishchenko 4db8655072 Version abc80910 2008-09-10 08:01:00 -07:00
Alan Mishchenko a30c08bbe5 Version abc80909 2008-09-09 08:01:00 -07:00
Alan Mishchenko 092c7be0ff Version abc80905 2008-09-05 08:01:00 -07:00
Alan Mishchenko 73c8aa7c40 Version abc80901 2008-09-01 08:01:00 -07:00
Alan Mishchenko 84355d5cb2 Version abc80830 2008-08-30 08:01:00 -07:00
Alan Mishchenko b8dea8ff05 Version abc80802_2 2008-08-02 20:01:00 -07:00
Alan Mishchenko cbb7ff8642 Version abc80802 2008-08-02 08:01:00 -07:00
Alan Mishchenko 582a059e34 Version abc80729 2008-07-29 08:01:00 -07:00
Alan Mishchenko 20a5a0d4af Version abc80725_2 2008-07-25 20:01:00 -07:00
Alan Mishchenko 1afa8a2f38 Version abc80725 2008-07-25 08:01:00 -07:00
Alan Mishchenko 2c96c8af36 Version abc80721 2008-07-21 08:01:00 -07:00
Alan Mishchenko de978ced7b Version abc80719 2008-07-19 08:01:00 -07:00
Alan Mishchenko 13f52980da Version abc80718 2008-07-18 08:01:00 -07:00
Alan Mishchenko d63a0cbbfd Version abc80717 2008-07-17 08:01:00 -07:00
Alan Mishchenko 05772a795b Version abc80707 2008-07-07 08:01:00 -07:00
Alan Mishchenko c7b331efcf Version abc80706 2008-07-06 08:01:00 -07:00
Alan Mishchenko 7b734f23fc Version abc80705 2008-07-05 08:01:00 -07:00
Alan Mishchenko 17ab7c7135 Version abc80702_2 2008-07-02 20:01:00 -07:00
Alan Mishchenko 303baf27cf Version abc80702 2008-07-02 08:01:00 -07:00
Alan Mishchenko fa67e3c19e Version abc80701_2 2008-07-01 20:01:00 -07:00
Alan Mishchenko 4a9789e58d Version abc80701 2008-07-01 08:01:00 -07:00
Alan Mishchenko d0341836dd Version abc80611 2008-06-11 08:01:00 -07:00
Alan Mishchenko 9d09f583b6 Version abc80610 2008-06-10 08:01:00 -07:00
Alan Mishchenko 9604ecb174 Version abc80527 2008-05-27 08:01:00 -07:00
Alan Mishchenko 5b79c78983 Version abc80519 2008-05-19 08:01:00 -07:00
Alan Mishchenko f81e16b646 Version abc80518_2 2008-05-18 20:01:00 -07:00
Alan Mishchenko 8b24f6bff9 Version abc80518 2008-05-18 08:01:00 -07:00
Alan Mishchenko 4d37d4d92f Version abc80517 2008-05-17 08:01:00 -07:00
Alan Mishchenko 6da56f1f0f Version abc80516 2008-05-16 08:01:00 -07:00
Alan Mishchenko 74ff01bfb5 Version abc80515 2008-05-15 08:01:00 -07:00
Alan Mishchenko 37b6c727f1 Version abc80512_2 2008-05-12 20:01:00 -07:00
Alan Mishchenko cb899ec848 Version abc80512 2008-05-12 08:01:00 -07:00
Alan Mishchenko 47036e1e44 Version abc80511_2 2008-05-11 20:01:00 -07:00
Alan Mishchenko 582cf0b923 Version abc80511 2008-05-11 08:01:00 -07:00
Alan Mishchenko 0f03f34924 Version abc80510 2008-05-10 08:01:00 -07:00
Alan Mishchenko e94ccfd3fb Version abc80508 2008-05-08 08:01:00 -07:00
Alan Mishchenko 6175fcb802 Version abc80507 2008-05-07 08:01:00 -07:00
Alan Mishchenko 436d5d2103 Version abc80502 2008-05-02 08:01:00 -07:00
Alan Mishchenko de81a1a1fb Version abc80430 2008-04-30 08:01:00 -07:00
Alan Mishchenko 2b98b81837 Version abc80429 2008-04-29 08:01:00 -07:00
Alan Mishchenko e2e9aed11d Version abc80422 2008-04-22 08:01:00 -07:00
Alan Mishchenko 7ec48bc20d Version abc80420_2 2008-04-20 20:01:00 -07:00
Alan Mishchenko 7ff4c2b271 Version abc80420 2008-04-20 08:01:00 -07:00
Alan Mishchenko b51685d693 Version abc80416 2008-04-16 08:01:00 -07:00
Alan Mishchenko 45827110d6 Version abc80413_2 2008-04-13 20:01:00 -07:00
Alan Mishchenko 2dc3842988 Version abc80413 2008-04-13 08:01:00 -07:00
Alan Mishchenko d8ddea4466 Version abc80411_2 2008-04-11 20:01:00 -07:00
Alan Mishchenko 651a32cdc3 Version abc80411 2008-04-11 08:01:00 -07:00
Alan Mishchenko c645bac366 Version abc80410 2008-04-10 08:01:00 -07:00
Alan Mishchenko 9d6b12ddfd Version abc80406_2 2008-04-06 20:01:00 -07:00
Alan Mishchenko 661abab094 Version abc80406 2008-04-06 08:01:00 -07:00
Alan Mishchenko 0c4d314ef0 Version abc80404_2 2008-04-04 20:01:00 -07:00
Alan Mishchenko ef20b0c533 Version abc80404 2008-04-04 08:01:00 -07:00
Alan Mishchenko 69b5bcad56 Version abc80403_2 2008-04-03 20:01:00 -07:00
Alan Mishchenko 087951655e Version abc80403 2008-04-03 08:01:00 -07:00
Alan Mishchenko 0080244a89 Version abc80402 2008-04-02 08:01:00 -07:00
Alan Mishchenko 2c7f6e39b8 Version abc80330 2008-03-30 08:01:00 -07:00
Alan Mishchenko 93c3f16066 Version abc80329 2008-03-29 08:01:00 -07:00
Alan Mishchenko 416ffc117a Version abc80327 2008-03-27 08:01:00 -07:00
Alan Mishchenko e258fcb2cd Version abc80326 2008-03-26 08:01:00 -07:00
Alan Mishchenko 85207c7568 Version abc80318 2008-03-18 08:01:00 -07:00
Alan Mishchenko 6074fa3a1e Version abc80316 2008-03-16 08:01:00 -07:00
Alan Mishchenko 9b059e3085 Version abc80315 2008-03-15 08:01:00 -07:00
Alan Mishchenko ff6f094336 Version abc80314 2008-03-14 08:01:00 -07:00
Alan Mishchenko 6205eaaee3 Version abc80313 2008-03-13 08:01:00 -07:00
Alan Mishchenko 79d5e76581 Version abc80308 2008-03-08 08:01:00 -08:00
Alan Mishchenko d5495ad326 Version abc80307_2 2008-03-07 20:01:00 -08:00
Alan Mishchenko 8eeecc5175 Version abc80307 2008-03-07 08:01:00 -08:00
Alan Mishchenko 8bd19a27bf Version abc80305 2008-03-05 08:01:00 -08:00
Alan Mishchenko 320c429bc4 Version abc80301 2008-03-01 08:01:00 -08:00
Alan Mishchenko f65983c2c0 Version abc80228 2008-02-28 08:01:00 -08:00
Alan Mishchenko 7d23cc522e Version abc80222 2008-02-22 08:01:00 -08:00
Alan Mishchenko bd995ee2ca Version abc80212 2008-02-12 08:01:00 -08:00
Alan Mishchenko d9760b04a8 Version abc80209 2008-02-09 08:01:00 -08:00
Alan Mishchenko f2d4f6c26e Version abc80208 2008-02-08 08:01:00 -08:00
Alan Mishchenko 5a6924060b Version abc80207 2008-02-07 08:01:00 -08:00
Alan Mishchenko 7174787aba Version abc80205 2008-02-05 08:01:00 -08:00
Alan Mishchenko 3b790eb17e Version abc80202 2008-02-02 08:01:00 -08:00
Alan Mishchenko 0c6505a26a Version abc80130_2 2008-01-30 20:01:00 -08:00
Alan Mishchenko 4d30a1e4f1 Version abc80130 2008-01-30 08:01:00 -08:00
Alan Mishchenko 6537f94188 Version abc80126 2008-01-26 08:01:00 -08:00
Alan Mishchenko 6c68b76bff Version abc80123 2008-01-23 08:01:00 -08:00
Alan Mishchenko d4fecf91ef Version abc80121 2008-01-21 08:01:00 -08:00
Alan Mishchenko 61850d5942 Version abc80116 2008-01-16 08:01:00 -08:00
Alan Mishchenko 4a61139de0 Version abc80115_2 2008-01-15 20:01:00 -08:00
Alan Mishchenko ac78762858 Version abc80115 2008-01-15 08:01:00 -08:00
Alan Mishchenko 676ba9ee21 Version abc71226 2007-12-26 08:01:00 -08:00
Alan Mishchenko 00e9c3d06b Version abc71225 2007-12-25 08:01:00 -08:00
Alan Mishchenko 14c01eacca Version abc71218 2007-12-18 08:01:00 -08:00
Alan Mishchenko 126637ddd3 Version abc71216 2007-12-16 08:01:00 -08:00
Alan Mishchenko 65687f72ae Version abc71208 2007-12-08 08:01:00 -08:00
Alan Mishchenko 369f008e69 Version abc71130 2007-11-30 08:01:00 -08:00
Alan Mishchenko 765a212408 Version abc71002 2007-10-02 08:01:00 -07:00
Alan Mishchenko 4812c90424 Version abc71001 2007-10-01 08:01:00 -07:00
Alan Mishchenko e54d969161 Version abc70930 2007-09-30 08:01:00 -07:00
Alan Mishchenko 7d7e60f2dc Version abc70926 2007-09-26 08:01:00 -07:00
Alan Mishchenko d62ee0a90d Version abc70911 2007-09-11 08:01:00 -07:00
Alan Mishchenko e8cf8415c5 Version abc70909 2007-09-09 08:01:00 -07:00
Alan Mishchenko 9be1b07693 Version abc70906 2007-09-06 08:01:00 -07:00
Alan Mishchenko b2470dd3da Version abc70901 2007-09-01 08:01:00 -07:00
Alan Mishchenko 9f5ef0d618 Version abc70831 2007-08-31 08:01:00 -07:00
Alan Mishchenko ddc6d1c168 Version abc70828 2007-08-28 08:01:00 -07:00
Alan Mishchenko 2846782381 Version abc70822 2007-08-22 08:01:00 -07:00
Alan Mishchenko c8a25de8e4 Version abc70819 2007-08-19 08:01:00 -07:00
Alan Mishchenko 3244fa2f32 Version abc70818 2007-08-18 08:01:00 -07:00
Alan Mishchenko 9e4213e202 Version abc70817 2007-08-17 08:01:00 -07:00
Alan Mishchenko 29c9b0c0c4 Version abc70731 2007-07-31 08:01:00 -07:00
Alan Mishchenko fefd8b901d Version abc70730 2007-07-30 08:01:00 -07:00
Alan Mishchenko a8a80d9a1a Version abc70727 2007-07-27 08:01:00 -07:00
Alan Mishchenko 054e2cd3a8 Version abc70726 2007-07-26 08:01:00 -07:00
Alan Mishchenko 64dc240b90 Version abc70723 2007-07-23 08:01:00 -07:00
Alan Mishchenko 1647addf5e Version abc70714 2007-07-14 08:01:00 -07:00
Alan Mishchenko c5277d3334 Version abc70712 2007-07-12 08:01:00 -07:00
Alan Mishchenko 066726076d Version abc70711 2007-07-11 08:01:00 -07:00
Alan Mishchenko a8d75dcc60 Version abc70710 2007-07-10 08:01:00 -07:00
Alan Mishchenko 39bc4842e9 Version abc70706 2007-07-06 08:01:00 -07:00
Alan Mishchenko 0c1e87bc9a Version abc70705 2007-07-05 08:01:00 -07:00
Alan Mishchenko a8db621dc9 Version abc70703 2007-07-03 08:01:00 -07:00
Alan Mishchenko d6804597a3 Version abc70624 2007-06-24 08:01:00 -07:00
Alan Mishchenko d47752011d Version abc70608 2007-06-08 08:01:00 -07:00
Alan Mishchenko feb8fb692e Version abc70428 2007-04-28 08:01:00 -07:00
Alan Mishchenko c09d4d499c Version abc70408 2007-04-08 08:01:00 -07:00
Alan Mishchenko 94112fd22f Version abc70407 2007-04-07 08:01:00 -07:00
Alan Mishchenko 00dc0f3daa Version abc70406 2007-04-06 08:01:00 -07:00
Alan Mishchenko 028138a76e Version abc70330 2007-03-30 08:01:00 -07:00
Alan Mishchenko 4da784c049 Version abc70328 2007-03-28 08:01:00 -07:00
Alan Mishchenko dd5531caf9 Version abc70317 2007-03-17 08:01:00 -07:00
Alan Mishchenko 2696cf05e5 Version abc70313 2007-03-13 08:01:00 -07:00
Alan Mishchenko 93c05287f0 Version abc70302 2007-03-02 08:01:00 -08:00
Alan Mishchenko 81fae91a95 Version abc70225 2007-02-25 08:01:00 -08:00
Alan Mishchenko fb51057e4a Version abc70219 2007-02-19 08:01:00 -08:00
Alan Mishchenko 50e0d1dea5 Version abc70217 2007-02-17 08:01:00 -08:00
Alan Mishchenko 607c253cd2 Version abc70216 2007-02-16 08:01:00 -08:00
Alan Mishchenko 5f3e4c0fe2 Version abc70211 2007-02-11 08:01:00 -08:00
Alan Mishchenko b9e0c95b69 Version abc70209 2007-02-09 08:01:00 -08:00
Alan Mishchenko a13c64a5b4 Version abc70206 2007-02-06 08:01:00 -08:00
Alan Mishchenko 8da52b6f20 Version abc70202 2007-02-02 08:01:00 -08:00
Alan Mishchenko 12578e622f Version abc70127 2007-01-27 08:01:00 -08:00
Alan Mishchenko 1c26e2d297 Version abc70124 2007-01-24 08:01:00 -08:00
Alan Mishchenko b1a913fb5e Version abc70123 2007-01-23 08:01:00 -08:00
Alan Mishchenko 2167d6c148 Version abc70121 2007-01-21 08:01:00 -08:00
Alan Mishchenko 76bcf6b254 Version abc70115_2 2007-01-15 20:01:00 -08:00
Alan Mishchenko 93aedd2c51 Version abc70115 2007-01-15 08:01:00 -08:00
Alan Mishchenko 8dfe404863 Version abc70110 2007-01-10 08:01:00 -08:00
Alan Mishchenko be6a484a99 Version abc61216 2006-12-16 08:01:00 -08:00
Alan Mishchenko ae037e4503 Version abc61210 2006-12-10 08:01:00 -08:00
Alan Mishchenko b9abf9c00c Version abc61209 2006-12-09 08:01:00 -08:00
Alan Mishchenko 4cf99cae95 Version abc61206 2006-12-06 08:01:00 -08:00
Alan Mishchenko 38254947a5 Version abc61205 2006-12-05 08:01:00 -08:00
Alan Mishchenko 52e5b91cbb Version abc61204 2006-12-04 08:01:00 -08:00
Alan Mishchenko 44d220d28f Version abc61128 2006-11-28 08:01:00 -08:00
Alan Mishchenko 6ad22b4d3b Version abc61122 2006-11-22 08:01:00 -08:00
Alan Mishchenko da5e0785df Version abc61111 2006-11-11 08:01:00 -08:00
Alan Mishchenko faf1265bb8 Version abc61102 2006-11-02 08:01:00 -08:00
Alan Mishchenko 73bb7932f7 Version abc61007 2006-10-07 08:01:00 -07:00
Alan Mishchenko 0da555cb48 Version abc60920 2006-09-20 08:01:00 -07:00
Alan Mishchenko 370578bf1c Version abc60916 2006-09-16 08:01:00 -07:00
Alan Mishchenko aab0c478e4 Version abc60909 2006-09-09 08:01:00 -07:00
Alan Mishchenko c5c9e37a0a Version abc60825 2006-08-25 08:01:00 -07:00
Alan Mishchenko 735bca1658 Version abc60824 2006-08-24 08:01:00 -07:00
Alan Mishchenko 7b09d2d28a Version abc60823 2006-08-23 08:01:00 -07:00
Alan Mishchenko 956842d9cc Version abc60822 2006-08-22 08:01:00 -07:00
Alan Mishchenko 2fd3c1a25b Version abc60820 2006-08-20 08:01:00 -07:00
Alan Mishchenko eb2a5b43a4 Version abc60812 2006-08-12 08:01:00 -07:00
Alan Mishchenko 6b44b18e69 Version abc60804 2006-08-04 08:01:00 -07:00
Alan Mishchenko 103fa22e9c Version abc60803 2006-08-03 08:01:00 -07:00
Alan Mishchenko 7e8e03206c Version abc60723 2006-07-23 08:01:00 -07:00
Alan Mishchenko 616bb095f1 Version abc60701 2006-07-01 08:01:00 -07:00
Alan Mishchenko 3814121784 Version abc60614 2006-06-14 08:01:00 -07:00
Alan Mishchenko 3db1557f45 Version abc60611 2006-06-11 08:01:00 -07:00
Alan Mishchenko 7d0921330b Version abc60508 2006-05-08 08:01:00 -07:00
Alan Mishchenko 73b8d1dd79 Version abc60419 2006-04-19 08:01:00 -07:00
Alan Mishchenko c1710767b2 Version abc60412 2006-04-12 08:01:00 -07:00
Alan Mishchenko 3f4fc5e450 Version abc60407 2006-04-07 08:01:00 -07:00
Alan Mishchenko 8e5398c501 Version abc60305 2006-03-05 08:01:00 -08:00
Alan Mishchenko 0e57e95306 Version abc60303 2006-03-03 08:01:00 -08:00
Alan Mishchenko 9e6f8406e8 Version abc60222 2006-02-22 08:01:00 -08:00
Alan Mishchenko 8eef7f8326 Version abc60220 2006-02-20 08:01:00 -08:00
Alan Mishchenko 77d7377442 Version abc60211 2006-02-11 08:01:00 -08:00
Alan Mishchenko c0ef1f469a Version abc60118 2006-01-18 08:01:00 -08:00
Alan Mishchenko 9e073ed850 Version abc60115 2006-01-15 08:01:00 -08:00
Alan Mishchenko a6aec18afb Version abc51225 2005-12-25 08:01:00 -08:00
Alan Mishchenko 457e243e58 Version abc51222 2005-12-22 08:01:00 -08:00
Alan Mishchenko 37f19d8dfb Version abc51205 2005-12-05 08:01:00 -08:00
Alan Mishchenko a6086f0881 Version abc51203 2005-12-03 08:01:00 -08:00
Alan Mishchenko 53c4fffa04 Version abc51130 2005-11-30 08:01:00 -08:00
Alan Mishchenko 5e0f86a2c9 Version abc51128 2005-11-28 08:01:00 -08:00
Alan Mishchenko 3a1ca9fa0e Version abc51127 2005-11-27 08:01:00 -08:00
Alan Mishchenko e3c40ed61e Version abc51126 2005-11-26 08:01:00 -08:00
Alan Mishchenko 08d2b31046 Version abc51121 2005-11-21 08:01:00 -08:00
Alan Mishchenko 69643dfe92 Version abc51120 2005-11-20 08:01:00 -08:00
Alan Mishchenko 85f42d0ebd Version abc51114 2005-11-14 08:01:00 -08:00
Alan Mishchenko e2619aa120 Version abc51012 2005-10-12 08:01:00 -07:00
Alan Mishchenko 77536ad1fd Version abc51010 2005-10-10 08:01:00 -07:00
Alan Mishchenko 8ed83f17b8 Version abc51009 2005-10-09 08:01:00 -07:00
Alan Mishchenko 20c2b19798 Version abc51007 2005-10-07 08:01:00 -07:00
Alan Mishchenko d401cfa679 Version abc51005 2005-10-05 08:01:00 -07:00
Alan Mishchenko 91ca630b0f Version abc51002 2005-10-02 08:01:00 -07:00
Alan Mishchenko 78fbd336aa Version abc51001 2005-10-01 08:01:00 -07:00
Alan Mishchenko 0af9acd0cd Version abc50916 2005-09-16 08:01:00 -07:00
Alan Mishchenko 2d782f7bc9 Version abc50915 2005-09-15 08:01:00 -07:00
Alan Mishchenko 0f6eeaea3c Version abc50913 2005-09-13 08:01:00 -07:00
Alan Mishchenko c065b2c5da Version abc50912 2005-09-12 08:01:00 -07:00
Alan Mishchenko 798bbfc5a9 Version abc50911 2005-09-11 08:01:00 -07:00
Alan Mishchenko e52e48c364 Version abc50910 2005-09-10 08:01:00 -07:00
Alan Mishchenko eb4cdcdcb4 Version abc50908 2005-09-08 08:01:00 -07:00
Alan Mishchenko 1260d20cc0 Version abc50905 2005-09-05 08:01:00 -07:00
Alan Mishchenko 33012d9530 Version abc50904 2005-09-04 08:01:00 -07:00
Alan Mishchenko dce73ade2f Version abc50902 2005-09-02 08:01:00 -07:00
Alan Mishchenko 9c98ba1794 Version abc50901 2005-09-01 08:01:00 -07:00
Alan Mishchenko ab7cb9c6ad Version abc50831 2005-08-31 08:01:00 -07:00
Alan Mishchenko 2b85f5ba64 Version abc50829 2005-08-29 08:01:00 -07:00
Alan Mishchenko 3c25decf65 Version abc50828 2005-08-28 08:01:00 -07:00
Alan Mishchenko 28db025b83 Version abc50827 2005-08-27 08:01:00 -07:00
Alan Mishchenko 9093ca5320 Version abc50824 2005-08-24 08:01:00 -07:00
Alan Mishchenko d01b1a0eee Version abc50822 2005-08-22 08:01:00 -07:00
Alan Mishchenko 0e4de190ff Version abc50819 2005-08-19 08:01:00 -07:00
Alan Mishchenko dffcc93b8e Version abc50818 2005-08-18 08:01:00 -07:00
Alan Mishchenko 6e496de7ff Version abc50817 2005-08-17 08:01:00 -07:00
Alan Mishchenko 9b3fa55b8a Version abc50814 2005-08-14 08:01:00 -07:00
Alan Mishchenko f2b6b3be95 Version abc50813 2005-08-13 08:01:00 -07:00
Alan Mishchenko 80983617b3 Version abc50812 2005-08-12 08:01:00 -07:00
Alan Mishchenko 273ba03041 Version abc50809 2005-08-09 08:01:00 -07:00
Alan Mishchenko bd640142e0 Version abc50807 2005-08-07 08:01:00 -07:00
Alan Mishchenko d0e834d1a6 Version abc50806 2005-08-06 08:01:00 -07:00
Alan Mishchenko 888e5bed5d Version abc50729 2005-07-29 08:01:00 -07:00