summaryrefslogtreecommitdiffstats
path: root/abclib.dsp
Commit message (Collapse)AuthorAgeFilesLines
...
* 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
|
* Movinng custom floating-point implementations, etc.Alan Mishchenko2017-02-111-12/+12
|
* Changes to compile on Windows.Alan Mishchenko2017-02-101-0/+4
|
* Word-level abstraction.Alan Mishchenko2017-02-091-0/+8
|
* Autotuner for 'satoko'.Alan Mishchenko2017-02-081-0/+4
|
* New command &satoko.Alan Mishchenko2017-02-081-0/+4
|
* Small changes to compile satoko on Windows.Alan Mishchenko2017-02-061-0/+84
|
* Enabling new X-valued simulation in 'pdr'.Alan Mishchenko2017-02-031-0/+4
|
* Updates to arithmetic verification.Alan Mishchenko2017-01-301-0/+4
|
* Updates to arithmetic verification.Alan Mishchenko2017-01-281-0/+8
|
* Adding visualization of word-level networks Wlc_Ntk_t.Alan Mishchenko2017-01-261-0/+4
|
* Updates to arithmetic verification.Alan Mishchenko2017-01-121-0/+4
|
* Updates to arithmetic verification.Alan Mishchenko2017-01-111-0/+4
|
* Updates to arithmetic verification.Alan Mishchenko2017-01-101-0/+4
|
* Updates to delay optimization project.Alan Mishchenko2017-01-021-0/+4
|
* Updates to delay optimization project.Alan Mishchenko2017-01-011-0/+4
|
* Updates to delay optimization project.Alan Mishchenko2016-12-271-0/+4
|
* Updates to delay optimization project.Alan Mishchenko2016-12-251-0/+4
|
* Several changes in arithmetic circuit manipulation.Alan Mishchenko2016-12-221-0/+4
|
* Bug fix in 'dsat <file.cnf>' when the number of classes in listed incorrectly.Alan Mishchenko2016-12-131-0/+48
|
* Adding support for minimalistic representation of LUT mapping.Alan Mishchenko2016-12-051-0/+4
|
* Changes to arithmetic logic detection.Alan Mishchenko2016-12-021-0/+12
|
* New command to profile arithmetic logic cones.Alan Mishchenko2016-11-261-0/+4
|
* New SAT-based optimization package.Alan Mishchenko2016-11-171-0/+32
|
* Fixed several compiler warnings.Alan Mishchenko2016-11-171-0/+12
|
* Isolating CBA types into a separate header.Alan Mishchenko2016-11-071-0/+4
|
* Parser for JSON format.Alan Mishchenko2016-10-251-0/+8
|
* Code for profiling arithmetic circuits.Alan Mishchenko2016-10-211-0/+4
|
* Experimental code for polynomial construction.Alan Mishchenko2016-09-051-0/+4
|
* Experimental code for polynomial construction.Alan Mishchenko2016-09-031-0/+8
|
* Updates to arithmetic verification.Alan Mishchenko2016-08-051-0/+4
|
* Adding new command 'dump_equiv'.Alan Mishchenko2016-07-211-0/+4
|
* Fix in reading initial state for edge-detection.Alan Mishchenko2016-07-191-0/+4
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-05 01:35:30 +0000