smt-semparse, branch master Mirror of https://github.com/pks/smt-semparse.git https://git.simianer.de/mirrored/smt-semparse/atom?h=master 2014-04-25T16:40:18Z modifications 2014-04-25T16:40:18Z Patrick Simianer simianer@cl.uni-heidelberg.de 2014-04-25T16:40:18Z urn:sha1:7120911494711094c6dcd9dc0da741d686207aab fix formatting of default experiment settings 2013-07-28T09:58:52Z Jacob andqso@gmail.com 2013-07-28T09:58:52Z urn:sha1:145368964385a6e8d475d10e2b726bf18a33d2f1 remove nonexistent deps 2013-07-28T09:57:54Z Jacob andqso@gmail.com 2013-07-28T09:57:54Z urn:sha1:2889598edf9caef16a90eceb7b9d04eb6252c8b6 sane default settings and more docs 2013-07-28T09:57:44Z Jacob andqso@gmail.com 2013-07-28T09:57:44Z urn:sha1:51cf35538408cf4a2630e0bc77031bd86d6f4351 remove old experimental code 2013-07-28T09:57:31Z Jacob andqso@gmail.com 2013-07-28T09:57:31Z urn:sha1:9a447c6cbd0e88d1cc4df1e353282c561b454221 full readme 2013-07-28T09:57:18Z Jacob andqso@gmail.com 2013-07-28T09:57:18Z urn:sha1:cbd44f3a67d6506595c458433d2855ac5716e507 more ignores 2013-07-28T09:57:10Z Jacob andqso@gmail.com 2013-07-28T09:57:10Z urn:sha1:816e1e26ccd67698459678ac00f793144d25e06e add readme, ignore pycs and vim temps 2013-07-28T09:41:28Z Jacob andqso@gmail.com 2013-07-28T09:41:28Z urn:sha1:c1b1411069a38d44977661e7a348efa997729350 remove various other unnecessaries 2013-07-28T09:40:51Z Jacob andqso@gmail.com 2013-07-28T09:40:51Z urn:sha1:2a4908e5e85720e358876f2d840bf09475f79281 remove pycs 2013-07-28T09:39:20Z Jacob andqso@gmail.com 2013-07-28T09:39:20Z urn:sha1:f5a4fb41b6c106a18079208e0a922e02a95ff770