History log of /hets/PGIP/Output/Provers.hs
Revision Date Author Comments Expand
abdc8c3bcf5b761e9bebf51e6ba2bce659d29512 08-Apr-2018 Eugen Kuksa <kuksa.eugen@gmail.com>

Reasoning with database (#1836) * First step towards saving reasoning results in the database. * Add first steps of SInE premise selection. * Try again with 'flattenComorphism'. * Improve SInE implementation. * Adjust GraphQL resolvers to new action field. * Fix rebasing mistakes. * Fix timeLimit. * moved let variables to where clause with scoped type vars * Fix errors in reasoning. * Fix some more errors in SInE. * fixed typing problems * Debug Reasoning. * Fix compile-time errors. * Mode debugging. * made coercion type safe * Remove commented code. * Re-implement proving for the REST interface. * Cleanup. * Fix SInE selection. * Cleanup. * Fix SInE. * Fix provers command. * Fix column name. * Remove commented out code. * Capture consistency checker output. * Obey Review. * Obey review. * Obey Review. * Refactor buildReasoningCache. * Add name to LogicTranslation and get rid of compiler warnings. * Save all sentences in the database instead of only local ones. * Rename column to make it more compact. * Add name to LogicInclusion. * Save used sentences of a proof attempt.

/hets/Common/Timing.hs /hets/PGIP/GraphQL/Resolver/OMS.hs /hets/PGIP/GraphQL/Resolver/ToResult.hs /hets/PGIP/GraphQL/Result/Action.hs /hets/PGIP/GraphQL/Result/Conjecture.hs /hets/PGIP/GraphQL/Result/ReasoningAttempt.hs /hets/PGIP/GraphQL/exampleQueries/oms.graphql Proof.hs Provers.hs /hets/PGIP/Query.hs /hets/PGIP/ReasoningParameters.hs /hets/PGIP/Server.hs /hets/PGIP/Shared.hs /hets/Persistence/DevGraph.hs /hets/Persistence/FileVersion.hs /hets/Persistence/LogicGraph.hs /hets/Persistence/Reasoning.hs /hets/Persistence/Reasoning/PremiseSelectionSInE.hs /hets/Persistence/Schema.hs /hets/Persistence/Schema/ConsistencyStatusType.hs /hets/Persistence/Schema/Enums.hs /hets/Persistence/Schema/ReasoningStatusOnConjectureType.hs /hets/Persistence/Schema/ReasoningStatusOnReasoningAttemptType.hs /hets/Persistence/Utils.hs /hets/_parameters
5fa563f0173e7791139e4229800fc91652293647 06-May-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Raname removeFunnyChars to mkNiceProverName.
5b21f2a201fd86e1b9c0a760d023cd3d667da842 06-May-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Add and use constructor: mkProver.
db5f94b6009ee3a1a4f62a3bd1583a7b3ee96db8 06-May-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Move ProverOrConsChecker to Proofs.AbstractState.
97045beffffa0f43cbbd544094154dbff2950fdb 06-May-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Rename Prover's record fields.
beba53186708a907254c229f4097bb7de519b625 06-May-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Move internalProverName to Formatting, define proverOrConsCheckerName in terms of it.
12bd03809cbc5823eecc086f5216ec46cb1c35ad 05-May-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Add display name to prove-output.
2e5574fc7163c809ebeef15464407b9a1d1ffac0 07-Apr-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Use internal prover name as the display name.
1337b287f6abac1bfb527d5e3454e742fa5d630f 07-Apr-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Add name and displayName to json output.
d102a920578426a89411cc8dabe47d7a881eab8f 07-Apr-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Directly use G_prover and G_cons_checker for `provers` Instead of passing the names of the provers, we now pass the G_prover itself. This way we get more possibilities for formatting.
b78522b8f7a01953b0eda02cbc89b3984033676b 05-Mar-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Add Output.Provers module.