summaryrefslogtreecommitdiffstats
path: root/src/misc/extra/extraUtilSupp.c
Commit message (Expand)AuthorAgeFilesLines
* Various changes to enable better CNF generation.Alan Mishchenko2014-06-171-143/+0
* Compiler warnings.Alan Mishchenko2014-05-291-3/+3
* Fixing the problem with 'phase -c'.Alan Mishchenko2014-05-291-1/+1
* Experiment with support minimization.Alan Mishchenko2014-05-271-57/+442
* Experiment with support minimization.Alan Mishchenko2014-05-221-2/+3
* Experiment with support minimization.Alan Mishchenko2014-05-221-5/+53
* Experiment with support minimization.Alan Mishchenko2014-05-211-1/+1
* Simple version of ECO.Alan Mishchenko2014-05-211-4/+19
* Experiment with support minimization.Alan Mishchenko2014-05-211-0/+226