summaryrefslogtreecommitdiffstats
path: root/abclib.dsp
Commit message (Collapse)AuthorAgeFilesLines
* Adding new command handler for experimental procedures.Alan Mishchenko2019-04-171-0/+4
|
* Experiments with memory abstraction.Alan Mishchenko2019-01-271-0/+4
|
* Experiments with memory abstraction.Alan Mishchenko2019-01-221-0/+4
|
* Procedures to generate constant-argument multipliers.Alan Mishchenko2019-01-151-0/+4
|
* Procedures to generate constant-argument multipliers.Alan Mishchenko2019-01-091-0/+8
|
* Extending extra library with additional ZDD-based procedures.Alan Mishchenko2018-10-121-0/+8
|
* Experiments with word-level retiming.Alan Mishchenko2018-09-301-0/+32
|
* Expriments with functions.Alan Mishchenko2018-09-161-0/+4
|
* Experiments with function enumeration.Alan Mishchenko2018-08-011-0/+4
|
* Procedure to return seq equivalences.Alan Mishchenko2018-07-221-0/+4
|
* Adding command 'majgen'.Alan Mishchenko2018-07-041-0/+4
|
* Experiments with path enumeration.Alan Mishchenko2018-06-061-0/+4
|
* Simple BDD package.Alan Mishchenko2018-05-231-0/+4
|
* Memory abstraction.Alan Mishchenko2018-04-151-0/+4
|
* Adding switch 'scorr -f' to dump inductive invariant as an AIG.Alan Mishchenko2018-03-221-4/+0
|
* Adding parameters and improvements to %blast.Alan Mishchenko2018-02-281-0/+12
|
* Adding support of reading and writing designs using a new internal format.Alan Mishchenko2018-01-281-0/+4
|
* Experiments with circuit-based SAT.Alan Mishchenko2018-01-271-0/+4
|
* New exact synthesis command 'allexact'.Alan Mishchenko2017-12-281-0/+4
|
* Improvements to AIG-based quantification.Alan Mishchenko2017-11-261-0/+4
|
* Profiling quantification and other changes.Alan Mishchenko2017-11-061-0/+4
|
* Adding API to dump MiniAIG into a Verilog file and other small changes.Alan Mishchenko2017-10-221-0/+4
|
* Integrating old SAT solver into majexact and twoexact.Alan Mishchenko2017-10-191-0/+4
|
* Exact synthesis of majority gates.Alan Mishchenko2017-10-011-0/+4
|
* Uncommenting handling of initial values of the flops.Alan Mishchenko2017-09-191-0/+4
|
* Experiment with mapping.Alan Mishchenko2017-09-151-0/+4
|
* Integrating Glucose into bmc3 -g.Alan Mishchenko2017-09-061-0/+4
|
* Adding Glucose 3.0 as a separate package.Alan Mishchenko2017-09-061-0/+108
|
* Experiments with BMC.Alan Mishchenko2017-07-221-0/+4
|
* Accidental change.Alan Mishchenko2017-07-171-37/+37
|
* Experiments with support minimization.Alan Mishchenko2017-04-271-0/+4
|
* Logic restruturing after mapping.Alan Mishchenko2017-04-171-0/+4
|
* Experiments with hashing.Alan Mishchenko2017-04-081-0/+8
|
* Experiments with don't-cares.Alan Mishchenko2017-03-261-0/+4
|
* Experiments with don't-cares.Alan Mishchenko2017-03-231-1/+1
|
* Experiments with don't-cares.Alan Mishchenko2017-03-221-4/+16
|
* Merged in ysho/abc (pull request #69)Alan Mishchenko2017-03-201-0/+4
|\ | | | | | | Improvements to %pdra
| * %pdra: working on bmc3Yen-Sheng Ho2017-03-191-0/+4
| |
* | Experiments with new network data-structure.Alan Mishchenko2017-03-191-0/+40
|/
* Synthesis for mesh of LUTs.Alan Mishchenko2017-03-171-0/+4
|
* Synthesis for mesh of LUTs.Alan Mishchenko2017-03-171-0/+4
|
* New word-level transformation.Alan Mishchenko2017-03-171-0/+4
|
* Improvements to ternary simulation.Alan Mishchenko2017-03-091-0/+4
|
* Improvements to ternary simulation.Alan Mishchenko2017-03-091-0/+4
|
* Clone of the main SAT solver to eneable independent work.Alan Mishchenko2017-03-031-0/+8
|
* Moving global declarations into 'abcapi.h' and moving it into 'main' package.Alan Mishchenko2017-03-021-0/+4
|
* Adding experimental command.Alan Mishchenko2017-03-021-0/+4
|
* Changes to Visual Studio project file to support 'pdra'.Alan Mishchenko2017-02-211-0/+4
|
* Experiments with SAT sweeping.Alan Mishchenko2017-02-181-0/+4
|
* Word-level abstraction engine.Alan Mishchenko2017-02-151-0/+4
|