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

5249 Commits

Author SHA1 Message Date
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