summaryrefslogtreecommitdiffstats
path: root/src/aig
Commit message (Collapse)AuthorAgeFilesLines
* Experiments with new network data-structure.Alan Mishchenko2017-03-191-3/+3
|
* Experiments with new network data-structure.Alan Mishchenko2017-03-192-134/+268
|
* Code for structural unateness checking.Alan Mishchenko2017-03-181-0/+255
|
* Code for structural unateness checking.Alan Mishchenko2017-03-181-0/+1
|
* Small changes.Alan Mishchenko2017-03-161-2/+24
|
* Clone of the main SAT solver to eneable independent work.Alan Mishchenko2017-03-031-0/+1
|
* Clone of the main SAT solver to eneable independent work.Alan Mishchenko2017-03-031-0/+136
|
* changed int to unsigned / narrowing conversion errorHeinz Riener2017-03-033-3/+3
|
* Moving global declarations into 'abcapi.h' and moving it into 'main' package.Alan Mishchenko2017-03-021-84/+0
|
* Adding command 'glitch' for glitch simulation.Alan Mishchenko2017-03-021-10/+9
|
* Network interface exploration.Alan Mishchenko2017-03-021-0/+614
|
* Removing unused procedure.Alan Mishchenko2017-02-222-20/+0
|
* Compiler warnings.Alan Mishchenko2017-02-181-1/+1
|
* Compiler warnings.Alan Mishchenko2017-02-181-1/+1
|
* Experiments with SAT sweeping.Alan Mishchenko2017-02-183-6/+29
|
* Word-level abstraction engine.Alan Mishchenko2017-02-152-0/+38
|
* Adding APIs to mark cones. Creating test-bench for incremental solving ↵Alan Mishchenko2017-02-111-28/+105
| | | | &satoko -i.
* Compiler warning.Alan Mishchenko2017-02-111-1/+1
|
* Compiler warnings.Alan Mishchenko2017-02-101-1/+1
|
* Adding PDR with abstraction.Alan Mishchenko2017-02-101-0/+74
|
* Standardizing the use of new CNF generator. Adding CNF variable connectivity ↵Alan Mishchenko2017-02-104-19/+57
| | | | information.
* Autotuner for 'satoko'.Alan Mishchenko2017-02-081-2/+6
|
* Compiler warning.Alan Mishchenko2017-02-081-1/+1
|
* New command &satoko.Alan Mishchenko2017-02-082-0/+127
|
* Improvements in AIG visualization.Alan Mishchenko2017-02-051-12/+15
|
* Updates to arithmetic verification.Alan Mishchenko2017-01-301-2/+2
|
* Fixing non-reproducability related to floating-point numbers.Alan Mishchenko2017-01-274-22/+27
|
* Commenting out &mfs report message.Alan Mishchenko2017-01-271-0/+1
|
* Corner-case bug in MiniLUT.Alan Mishchenko2017-01-251-0/+1
|
* Fix mismatch in output formatting.Alan Mishchenko2017-01-211-2/+2
|
* Small fixes and a change to &cec to allow two files names given as ↵Alan Mishchenko2017-01-212-8/+10
| | | | command-line arguments.
* Updates to arithmetic verification.Alan Mishchenko2017-01-153-3/+77
|
* Updates to arithmetic verification.Alan Mishchenko2017-01-141-6/+8
|
* Updates to arithmetic verification.Alan Mishchenko2017-01-142-1/+27
|
* Updates to arithmetic verification.Alan Mishchenko2017-01-131-10/+18
|
* Adding print-out of critical path for mapped AIGs to &show.Alan Mishchenko2017-01-132-10/+302
|
* Updates to arithmetic verification.Alan Mishchenko2017-01-131-0/+2
|
* Updates to arithmetic verification.Alan Mishchenko2017-01-122-0/+52
|
* Changing file naming in 'show' and '&show'.Alan Mishchenko2017-01-112-9/+4
|
* Updates to arithmetic verification.Alan Mishchenko2017-01-101-6/+0
|
* Updated to arithmetic verification.Alan Mishchenko2017-01-091-4/+12
|
* Delay-oriented performance improvement in &dch (make it conditional).Alan Mishchenko2017-01-091-1/+2
|
* Delay-oriented performance improvement in &dch.Alan Mishchenko2017-01-091-2/+8
|
* Compiler warnings.Alan Mishchenko2017-01-074-24/+24
|
* Dealing wit COs driven by inverters in MiniLUT.Alan Mishchenko2017-01-061-2/+38
|
* Adding two external APIs.Alan Mishchenko2017-01-051-0/+2
|
* Updates to delay optimization project.Alan Mishchenko2017-01-021-16/+16
|
* Updates to delay optimization project.Alan Mishchenko2016-12-311-15/+38
|
* Correcting API names for inputing/outputing MiniLut.Alan Mishchenko2016-12-231-3/+3
|
* Several changes in arithmetic circuit manipulation.Alan Mishchenko2016-12-223-19/+107
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-16 16:35:29 +0000