summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
* Compiler warnings.Alan Mishchenko2014-03-091-1/+1
* Experiments with stuck-at fault testing.Alan Mishchenko2014-03-093-20/+128
* Changes to LUT mappers.Alan Mishchenko2014-03-083-28/+53
* Changes to LUT mappers.Alan Mishchenko2014-03-083-7/+114
* Changes to LUT mappers.Alan Mishchenko2014-03-083-10/+76
* Changes to LUT mappers.Alan Mishchenko2014-03-081-9/+33
* Changes to LUT mappers.Alan Mishchenko2014-03-081-6/+19
* Changes to LUT mappers.Alan Mishchenko2014-03-085-2/+124
* Changes to LUT mappers.Alan Mishchenko2014-03-086-252/+32
* Changes to LUT mappers.Alan Mishchenko2014-03-081-75/+162
* Changes to LUT mappers.Alan Mishchenko2014-03-064-14/+26
* Changes to LUT mappers.Alan Mishchenko2014-03-064-8/+330
* Experiments with delay fault testing.Alan Mishchenko2014-03-052-15/+164
* Experiments with delay fault testing.Alan Mishchenko2014-03-043-0/+270
* Changes to LUT mappers.Alan Mishchenko2014-03-041-11/+38
* Changes to LUT mappers.Alan Mishchenko2014-03-046-164/+420
* Changes to LUT mappers.Alan Mishchenko2014-03-045-66/+278
* Changes to LUT mappers.Alan Mishchenko2014-02-281-11/+11
* Changes to LUT mappers.Alan Mishchenko2014-02-281-6/+3
* Changes to LUT mappers.Alan Mishchenko2014-02-282-57/+57
* Changes to LUT mappers.Alan Mishchenko2014-02-2810-266/+721
* Changes to LUT mappers.Alan Mishchenko2014-02-288-41/+201
* Changes to LUT mappers.Alan Mishchenko2014-02-279-36/+398
* Changes to LUT mappers.Alan Mishchenko2014-02-258-51/+295
* g++ compiler errors.Alan Mishchenko2014-02-254-8/+15
* g++ compiler errors.Alan Mishchenko2014-02-251-1/+1
* g++ compiler errors.Alan Mishchenko2014-02-251-4/+4
* Changes to LUT mappers.Alan Mishchenko2014-02-254-10/+10
* Changes to LUT mappers.Alan Mishchenko2014-02-195-163/+247
* Changes to LUT mappers.Alan Mishchenko2014-02-1710-52/+824
* Changes to LUT mappers.Alan Mishchenko2014-02-176-42/+37
* Adding Python API n_area() to report area after standard cell mapping.Alan Mishchenko2014-02-171-0/+14
* Removing unused LMS code.Alan Mishchenko2014-02-169-6531/+6
* Significant improvement to LUT mappers (if, &if).Alan Mishchenko2014-02-1620-823/+292
* Changing 'miter' to compute SEQUENTIAL miter by default.Alan Mishchenko2014-02-151-1/+1
* Fixing timeout in &icheck.Alan Mishchenko2014-02-152-25/+44
* Experiments with inductive don't-cares.Alan Mishchenko2014-02-151-2/+2
* Experiments with inductive don't-cares.Alan Mishchenko2014-02-151-2/+13
* Enabling default no output in &icheck.Alan Mishchenko2014-02-151-0/+8
* Handing trivially UNSAT outputs in 'pdr'.Alan Mishchenko2014-02-131-0/+10
* Bug fix in arrival/departure time representation.Alan Mishchenko2014-02-131-12/+13
* Handling latches in combinational sizing.Alan Mishchenko2014-02-131-3/+4
* Adding APIs to specified input/output arrival/required times.Alan Mishchenko2014-02-122-0/+45
* Extendig the size of command line when running ABC in batch mode.Alan Mishchenko2014-02-121-1/+1
* Experiments with inductive don't-cares.Alan Mishchenko2014-02-122-9/+22
* Experiments with inductive don't-cares.Alan Mishchenko2014-02-111-0/+4
* Experiments with inductive don't-cares.Alan Mishchenko2014-02-112-127/+133
* Experiments with inductive don't-cares.Alan Mishchenko2014-02-111-10/+71
* Experiments with inductive don't-cares.Alan Mishchenko2014-02-116-24/+75
* Experiments with inductive don't-cares.Alan Mishchenko2014-02-101-0/+153
generated by cgit v1.2.3 (git 2.25.1) at 2024-08-22 22:41:56 +0000