summaryrefslogtreecommitdiffstats
path: root/src/base/io/ioReadPlaMo.c
Commit message (Collapse)AuthorAgeFilesLines
* Unsuccessful attempt to improve quality of factoring by limiting distance-1 ↵Alan Mishchenko2016-08-061-12/+67
| | | | merge during preprocessing.
* New multi-output PLA reader and preprocessor (read_plamo) (updated dist-1 ↵Alan Mishchenko2016-06-171-2/+54
| | | | merge).
* New multi-output PLA reader and preprocessor (read_plamo) (added dist-1 merge).Alan Mishchenko2016-06-161-78/+346
|
* New multi-output PLA reader and preprocessor (read_plamo).Alan Mishchenko2016-06-161-0/+438