summaryrefslogtreecommitdiffstats
path: root/src/proof/abs/absRpmOld.c
Commit message (Expand)AuthorAgeFilesLines
* Unifying parameters for the &ps command.Alan Mishchenko2013-09-051-5/+5
* Added switch &trim -V <num> to remove const POs with specific value <num>.Alan Mishchenko2013-01-251-1/+1
* Made print-out of frontier cut an option ('-c') in '&ps'.Alan Mishchenko2012-11-121-5/+5
* Combined old reparametrization command with the new one.Alan Mishchenko2012-10-021-0/+201