summaryrefslogtreecommitdiffstats
path: root/abclib.dsp
Commit message (Collapse)AuthorAgeFilesLines
* New abstraction code.Alan Mishchenko2011-10-141-0/+4
|
* Changes to the matching procedure and new abstraction code.Alan Mishchenko2011-09-271-1/+5
|
* Experiments with SPFD-based decomposition.Alan Mishchenko2011-08-171-0/+4
|
* Changes to enable CEX minimization.Alan Mishchenko2011-08-011-0/+8
|
* Changes to enable smarter simulation.Alan Mishchenko2011-07-301-4/+0
|
* Improving and updating the abstraction code.Alan Mishchenko2011-07-291-5/+13
|
* Adding procedures to find the care bits of a counter-example.Alan Mishchenko2011-07-251-0/+4
|
* Changes to enable smarter simulation.Alan Mishchenko2011-07-201-0/+4
|
* Other changes to enable new features in the mapper.Alan Mishchenko2011-07-101-0/+4
|
* Initial changes to enable new features in the mapperAlan Mishchenko2011-07-081-1/+5
|
* Added new mapping feature.Alan Mishchenko2011-06-201-0/+4
|
* Added new command 'outdec'.Alan Mishchenko2011-05-191-0/+4
|
* Improvements to timeout.Alan Mishchenko2011-05-111-0/+4
|
* Added new options to testcex.Alan Mishchenko2011-04-281-224/+0
|
* Added switch to control duplication of logic after mapping.Alan Mishchenko2011-04-241-0/+36
|
* Adding constant correspondence.Alan Mishchenko2011-04-181-3/+3
|
* Added cex generation for clustered reachability.Alan Mishchenko2011-04-161-0/+4
|
* Experiments with reachability.Alan Mishchenko2011-04-141-2/+2
|
* Enabled new BDD-based reachability engine 'reachy'.Alan Mishchenko2011-04-131-0/+60
|
* Unsuccessful attempt to improve PDR and a few minor changes.Alan Mishchenko2011-04-071-8/+16
|
* Made gate library package Mio independent of CUDD.Alan Mishchenko2011-03-301-8/+20
|
* Added test package (new files).Alan Mishchenko2011-03-291-0/+8
|
* Added test package.Alan Mishchenko2011-03-291-0/+8
|
* Improvements in Vec_Vec_t.Alan Mishchenko2011-03-271-11/+43
|
* Added printing MFFC sizes and deriving TT from SOP.Alan Mishchenko2011-03-181-0/+32
|
* Added new procedure and other small changes.Alan Mishchenko2011-03-161-3/+27
|\
| * Project file change to add extraBddTime.cAlan Mishchenko2011-02-111-0/+4
| |
* | Several bug fixes and other improvements.Alan Mishchenko2011-03-121-0/+44
| |
* | Mffc-based structural decomposition of the network and bug fixes in ↵Alan Mishchenko2011-03-081-0/+8
| | | | | | | | reordering package.
* | Adding new procedures to the library.Alan Mishchenko2011-03-051-0/+4
| |
* | Unified the use of counter-examples in three packages.Alan Mishchenko2011-02-131-4/+8
| |
* | Minor change to the project file.Alan Mishchenko2011-02-131-0/+4
|/
* Minor changes to hash table and utilSignal.c.Alan Mishchenko2011-02-011-0/+4
|
* Cumulative changes of the last two weeks.Alan Mishchenko2011-02-011-17/+45
|
* Cumulative changes in the last few weeks.Alan Mishchenko2011-01-131-49/+53
|
* Latest project fileAlan Mishchenko2010-12-031-0/+44
|
* initial commit of public abcAlan Mishchenko2010-11-011-29/+173
|
* Version abc90901Alan Mishchenko2015-06-221-2/+46
| | | | committer: Baruch Sterin <baruchs@gmail.com>
* Version abc90804Alan Mishchenko2015-06-221-0/+16
| | | | committer: Baruch Sterin <baruchs@gmail.com>
* Version abc90714Alan Mishchenko2015-06-221-40/+28
| | | | committer: Baruch Sterin <baruchs@gmail.com>
* Version abc90528Alan Mishchenko2015-06-221-0/+44
| | | | committer: Baruch Sterin <baruchs@gmail.com>
* Version abc90424Alan Mishchenko2009-04-241-0/+4
|
* Version abc90408Alan Mishchenko2009-04-081-0/+4
|
* Version abc90405Alan Mishchenko2009-04-051-0/+4
|
* Version abc90329Alan Mishchenko2009-03-291-8/+56
|
* Version abc90321Alan Mishchenko2009-03-211-8/+4
|
* Version abc90315Alan Mishchenko2009-03-151-0/+8
|
* Version abc90311Alan Mishchenko2009-03-111-0/+4
|
* Version abc90310Alan Mishchenko2009-03-101-6/+62
|
* Version abc90220Alan Mishchenko2009-02-201-4/+0
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-17 20:45:32 +0000