2 Commits

Author	SHA1	Message	Date
arvidn	9b6d49d539	explicitly use integer division in python script. make minimize.sh script fail on errors, instead of silently ignoring them	2019-08-23 17:31:13 +02:00
arvidn	f21a39496d	add script to minimize corpus	2019-04-26 23:42:28 +02:00