summaryrefslogtreecommitdiff
path: root/test/files/run/no-pickle-skolems
Commit message (Expand)AuthorAgeFilesLines
* some renamingsEugene Burmako2014-02-151-3/+3
* deprecates String => Name implicit conversionsEugene Burmako2014-02-141-1/+1
* SI-7003 Partest redirects stderr to log fileSom Snytt2013-05-251-0/+2
* Deskolemize type skolems before pickling.Paul Phillips2012-12-152-0/+42