Skip to main content

Browse the archive

https://github.com/gapt/gapt
05 April 2024, 23:22:30 UTC
sort by:
Revision Author Date Message Commit Date
a968759 Jannik Vierling 17 August 2018, 08:24:14 UTC Release 2.12. 17 August 2018, 08:24:14 UTC
c449272 Jannik Vierling 17 August 2018, 07:50:29 UTC make scaladoc documentation compilable 17 August 2018, 07:50:29 UTC
899c258 Jannik Vierling 17 August 2018, 05:24:46 UTC update release notes 17 August 2018, 05:24:46 UTC
b62aa57 Jannik Vierling 16 August 2018, 18:56:15 UTC make error classes covariant 16 August 2018, 18:56:15 UTC
02aa10f Gabriel Ebner 16 August 2018, 18:09:57 UTC RefutationSketchToResolution: maintain invariant of full factoring Fixes #718 16 August 2018, 18:09:57 UTC
ed38da9 Gabriel Ebner 16 August 2018, 18:09:49 UTC Reduce line length. 16 August 2018, 18:09:49 UTC
3f8c7ee Jannik 16 August 2018, 17:20:07 UTC Merge pull request #716 from gapt/WIP-tptp-statistics Wip tptp statistics 16 August 2018, 17:20:07 UTC
3e49794 Jannik 16 August 2018, 17:19:22 UTC Merge pull request #710 from gapt/SchematicProjectionsAndViperInput Schematic projections and viper input 16 August 2018, 17:19:22 UTC
793b915 Martin 16 August 2018, 14:47:58 UTC better error message for failing avatar splits 16 August 2018, 14:47:58 UTC
2416f24 Martin 16 August 2018, 13:52:17 UTC fix a bug in tptp input problem statistics 16 August 2018, 13:52:17 UTC
835fcdd Martin 16 August 2018, 12:36:25 UTC add more evaluation 16 August 2018, 12:41:33 UTC
71819c4 Jannik Vierling 16 August 2018, 07:08:32 UTC remove commented out code 16 August 2018, 12:41:33 UTC
a529f52 Jannik Vierling 16 August 2018, 07:07:28 UTC add scaladoc comment to method computing term depth 16 August 2018, 12:41:33 UTC
6f7211c Martin 16 August 2018, 01:29:54 UTC do some per prover blowup evaluation 16 August 2018, 12:41:33 UTC
4fa6918 Martin 16 August 2018, 00:31:31 UTC move toCSV code to different object to prevent intereference with class versions for serialization 16 August 2018, 12:41:33 UTC
61a22fd Martin 16 August 2018, 00:25:45 UTC fix some csv bugs 16 August 2018, 12:41:33 UTC
e068917 Martin 16 August 2018, 00:08:09 UTC fix serialization 16 August 2018, 12:41:33 UTC
38e59fa Martin 15 August 2018, 21:49:06 UTC frequency experiment 16 August 2018, 12:41:33 UTC
b88e956 Martin 15 August 2018, 21:38:22 UTC add clause weight, subsume common parts of TSTPProofStats and RPProofStats 16 August 2018, 12:41:33 UTC
c071f0d Martin 15 August 2018, 20:27:21 UTC add support for getting leancop statistics (doesnt work well) 16 August 2018, 12:41:33 UTC
6604fd3 Jannik Vierling 16 August 2018, 06:00:09 UTC print caught IOExceptions to stderr 16 August 2018, 12:41:33 UTC
6e8bc91 Martin 15 August 2018, 13:27:50 UTC fix bug in constants.equalities 16 August 2018, 12:41:33 UTC
2121030 Martin 15 August 2018, 09:25:37 UTC improve tptp library problem evaluation; allowed to pass a custom resolver for include files to TptpParser.load (default is relative to the current working directory, often doesn't work) 16 August 2018, 12:41:33 UTC
b3a754a Martin 14 August 2018, 19:02:20 UTC correct more mistakes found in the code review 16 August 2018, 12:41:33 UTC
41904bc Martin 14 August 2018, 18:49:48 UTC more refacturing 16 August 2018, 12:41:33 UTC
5ca468e Martin 14 August 2018, 14:27:49 UTC add scaladoc for statistics/TstpStatistics.scala 16 August 2018, 12:41:33 UTC
4c57184 Martin 14 August 2018, 11:55:12 UTC add scaladoc for statistics/common.scala 16 August 2018, 12:41:33 UTC
432eb12 Martin 13 August 2018, 13:13:58 UTC extend min graph comparison to general RPProofStats properties 16 August 2018, 12:41:33 UTC
2979f4f Martin 13 August 2018, 10:14:28 UTC add more evaluation 16 August 2018, 12:41:33 UTC
3ac5afc Martin 12 August 2018, 15:43:17 UTC add csv export of ResultBags (needs cleanup that would change the datastructures being serialized) 16 August 2018, 12:41:33 UTC
97bb3c8 Martin 12 August 2018, 11:21:31 UTC add error evaluation 16 August 2018, 12:41:33 UTC
0d2d40e Martin 10 August 2018, 23:24:36 UTC bug fixes to error bag computation, tstp evaluation shows reconstruction statistics 16 August 2018, 12:41:33 UTC
f643f4b Martin 10 August 2018, 18:45:31 UTC add sketch analysis, add example with concrete casc evaluation 16 August 2018, 12:41:33 UTC
3af9430 Martin 09 August 2018, 22:42:54 UTC add csv headers, make tstp results serializable 16 August 2018, 12:41:33 UTC
adea289 Martin 08 August 2018, 18:32:19 UTC better error reporting in tptp parsing / statistics (it seems there some tstp inferences refer to non-existing hypothesis) 16 August 2018, 12:41:33 UTC
41c9915 Martin 08 August 2018, 16:03:04 UTC more documentation and reaorganisation 16 August 2018, 12:41:33 UTC
59bca97 Martin 08 August 2018, 15:18:12 UTC reorganise tstp/tptp statistics 16 August 2018, 12:41:33 UTC
caec2c8 Martin 08 August 2018, 14:48:42 UTC move statistics to their own file in utils 16 August 2018, 12:41:33 UTC
cfad292 Martin 08 August 2018, 13:52:11 UTC tstp statistics: add standard deviation, make RPStats parametric in the data 16 August 2018, 12:41:33 UTC
02fd3c1 Martin 03 August 2018, 20:44:25 UTC add more prover information into the statistics data 16 August 2018, 12:41:33 UTC
f300f16 Martin 02 August 2018, 09:54:09 UTC make statistic parametric for any numeric data 16 August 2018, 12:41:33 UTC
bc23c50 Martin 01 August 2018, 11:57:01 UTC make debug output optional, add parallel evaluation of large sets of proofs 16 August 2018, 12:41:33 UTC
9853feb Martin 31 July 2018, 18:21:03 UTC tstp statistics: add substitution statistics 16 August 2018, 12:41:33 UTC
bf6eb37 Martin 31 July 2018, 15:14:55 UTC start with proof statistics 16 August 2018, 12:41:33 UTC
be3237d Martin 28 June 2018, 15:05:56 UTC adapt tptp statistics to simpler package structure 16 August 2018, 12:41:33 UTC
10e061e Martin 28 June 2018, 14:39:31 UTC add complex types to tptp parser 16 August 2018, 12:41:33 UTC
a9baf06 Martin 10 February 2018, 09:53:39 UTC add some statistics extraction for tptp files (signature, frequency of symbol occurrences) 16 August 2018, 12:41:33 UTC
02c1d06 Jannik Vierling 16 August 2018, 08:04:56 UTC reduce method visibility 16 August 2018, 08:04:56 UTC
5a006a5 Jannik Vierling 16 August 2018, 07:52:39 UTC fix typo in todo comment 16 August 2018, 07:52:39 UTC
fe28a03 Jannik Vierling 16 August 2018, 07:52:04 UTC remove useless file header 16 August 2018, 07:52:04 UTC
b246479 Jannik Vierling 16 August 2018, 07:50:23 UTC remove commented out code 16 August 2018, 07:50:23 UTC
f1f9442 Jannik Vierling 16 August 2018, 07:42:11 UTC fix formatting by removing trailing comma 16 August 2018, 07:42:11 UTC
8701afb Jannik Vierling 14 August 2018, 14:13:19 UTC declare definitions as reduction rules 14 August 2018, 14:13:19 UTC
4537204 Jannik Vierling 14 August 2018, 14:13:09 UTC restore checks on primitive recursive functions 14 August 2018, 14:13:09 UTC
28bc5b1 Jannik Vierling 14 August 2018, 13:57:51 UTC add reduction rule context update 14 August 2018, 14:12:41 UTC
46959b7 Jannik Vierling 14 August 2018, 06:02:26 UTC evaluate user manual 14 August 2018, 06:02:26 UTC
6c40092 Jannik 14 August 2018, 05:36:09 UTC Merge pull request #715 from gapt/serialization Serialization 14 August 2018, 05:36:09 UTC
39b40b2 Sebastian Zivota 13 August 2018, 21:14:08 UTC Various fixes 13 August 2018, 21:14:08 UTC
835e01e Sebastian Zivota 13 August 2018, 13:14:19 UTC JSON serialization for ND proofs 13 August 2018, 13:14:19 UTC
af40fcd Sebastian Zivota 13 August 2018, 13:09:23 UTC Merge branch 'master' into serialization 13 August 2018, 13:09:23 UTC
ff78bfa Sebastian Zivota 13 August 2018, 13:09:00 UTC nd.TopIntroRule is now a case object 13 August 2018, 13:09:00 UTC
838160f Sebastian Zivota 13 August 2018, 12:26:40 UTC Merge branch 'master' into serialization 13 August 2018, 12:26:40 UTC
f312e9c Sebastian Zivota 13 August 2018, 12:26:15 UTC Replaced operator 13 August 2018, 12:26:15 UTC
2159005 Sebastian Zivota 10 August 2018, 11:38:03 UTC Merge branch 'master' into serialization 10 August 2018, 11:38:03 UTC
07e5e06 Sebastian Zivota 10 August 2018, 11:37:21 UTC Added Input/output section to user manual 10 August 2018, 11:37:21 UTC
a204c83 Sebastian Zivota 08 August 2018, 13:46:55 UTC Added JSON{Importer,Exporter} 10 August 2018, 11:36:37 UTC
1b38bc3 Jannik Vierling 09 August 2018, 13:28:03 UTC fix issue #714: remove forgotten debugging code 09 August 2018, 13:29:56 UTC
e959564 Sebastian Zivota 08 August 2018, 10:55:02 UTC Merge branch 'master' into serialization 08 August 2018, 10:55:02 UTC
b0022c4 Gabriel Ebner 06 August 2018, 14:05:34 UTC Update dependency versions. 06 August 2018, 14:05:34 UTC
985bd69 ermine516 03 August 2018, 15:00:15 UTC Viper schema stuff 03 August 2018, 15:00:15 UTC
eca94f2 Gabriel Ebner 03 August 2018, 09:32:45 UTC prenexifyET: increase hygiene 03 August 2018, 09:33:19 UTC
cb4a97b Gabriel Ebner 02 August 2018, 10:17:59 UTC Add SMT-LIB exporter for BUPs as horn problems. 02 August 2018, 10:17:59 UTC
7f3a907 ermine516 31 July 2018, 13:31:29 UTC almost done with new schema 31 July 2018, 13:31:29 UTC
664779a ermine516 31 July 2018, 08:19:20 UTC Towards a unified representation of the concept of strictMonotone 31 July 2018, 08:19:20 UTC
3e0d584 Gabriel Ebner 30 July 2018, 12:18:38 UTC Move smt exporter to separate package. 30 July 2018, 12:18:38 UTC
4a91de6 ermine516 28 July 2018, 15:41:29 UTC Changes to new examples 28 July 2018, 15:41:29 UTC
212caf0 ermine516 27 July 2018, 08:38:06 UTC minor changes to example 27 July 2018, 08:38:06 UTC
9e2aa3e ermine516 26 July 2018, 09:28:55 UTC Merge branch 'master' into SchematicProjectionsAndViperInput 26 July 2018, 09:28:55 UTC
cecdffc ermine516 26 July 2018, 09:27:40 UTC fixed schema 26 July 2018, 09:27:40 UTC
6caf092 ermine516 25 July 2018, 15:30:46 UTC Fixed a schema 25 July 2018, 15:30:46 UTC
516b8e2 Gabriel Ebner 24 July 2018, 09:59:22 UTC Merge pull request #713 from gapt/bugfix-712 gapt.sh does not pass java memory arguments on as script to execute anymore. fixes #712 24 July 2018, 09:59:22 UTC
6a51a86 Martin 23 July 2018, 15:05:59 UTC gapt.sh does not pass java memory arguments on as script to execute anymore. fixes #712 23 July 2018, 15:08:05 UTC
b211643 Gabriel Ebner 23 July 2018, 13:41:10 UTC linearizeStrictPartialOrder: more general arguments 23 July 2018, 13:41:10 UTC
0c3b47d ermine516 22 July 2018, 12:31:43 UTC Work on a new schema example 22 July 2018, 12:31:43 UTC
8e8656d ermine516 20 July 2018, 09:38:17 UTC quadratic instantiation proof 20 July 2018, 09:38:17 UTC
d40cea6 ermine516 17 July 2018, 10:53:25 UTC New important proof schema 17 July 2018, 10:53:25 UTC
7536d83 Gabriel Ebner 12 July 2018, 20:30:29 UTC regression tests: tip: always do deskolemization 12 July 2018, 20:30:29 UTC
b16aa0c Jannik Vierling 12 July 2018, 19:13:23 UTC remove some unused variables 12 July 2018, 19:13:23 UTC
ca1f525 Jannik Vierling 10 July 2018, 08:15:36 UTC fix LK eigenvariables 10 July 2018, 08:15:36 UTC
e996d5a Jannik Vierling 09 July 2018, 19:59:13 UTC Merge branch 'master' into HEAD 09 July 2018, 19:59:13 UTC
ef57322 Sebastian Zivota 09 July 2018, 14:10:56 UTC Added tests for expansion proof de/serialization 09 July 2018, 14:10:56 UTC
ed6dd2b Sebastian Zivota 09 July 2018, 13:54:02 UTC Merge branch 'master' into serialization 09 July 2018, 13:54:02 UTC
fc5c86b Gabriel Ebner 07 July 2018, 15:24:58 UTC Fix build. 07 July 2018, 15:24:58 UTC
62dadda Gabriel Ebner 07 July 2018, 14:46:16 UTC Make normalizeLKt available on the cli. 07 July 2018, 14:47:31 UTC
cff72b2 ermine516 07 July 2018, 10:39:07 UTC Merge branch 'SchematicProjectionsAndViperInput' of https://github.com/gapt/gapt into SchematicProjectionsAndViperInput 07 July 2018, 10:39:07 UTC
972faec ermine516 07 July 2018, 10:38:19 UTC small change 07 July 2018, 10:38:19 UTC
ff14530 ermine516 07 July 2018, 10:27:27 UTC updating Merge branch 'master' into SchematicProjectionsAndViperInput 07 July 2018, 10:27:27 UTC
a2d8583 Gabriel Ebner 06 July 2018, 12:34:40 UTC TreeGrammarProver: ground better 06 July 2018, 12:34:40 UTC
ac052b8 Gabriel Ebner 06 July 2018, 12:31:20 UTC Viper.clausifyIfNecessary: fix proof construction 06 July 2018, 12:31:20 UTC
a68a9d5 Sebastian Zivota 06 July 2018, 10:23:08 UTC De/serialization for expansion trees/proofs 06 July 2018, 10:23:08 UTC
back to top