Cross Reference: /hets/PGIP/Shared.hs

History log of /hets/PGIP/Shared.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 GraphQL/Resolver/OMS.hs GraphQL/Resolver/ToResult.hs GraphQL/Result/Action.hs GraphQL/Result/Conjecture.hs GraphQL/Result/ReasoningAttempt.hs GraphQL/exampleQueries/oms.graphql Output/Proof.hs Output/Provers.hs Query.hs ReasoningParameters.hs Server.hs 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
649fdc0d0502d62d160c150684356fef2c273484		11-Feb-2018	Eugen Kuksa <kuksa.eugen@gmail.com>	1811 provide graphql api (#1829) * Fixme (Remove 'True') - Add GraphQL starting point to the web server. * Add GraphQL Schema. * Experiment with the graphql-api package. * Remove the graphql-api package again. * Respond with GraphQL mimics. * Add types for GraphQL mimicking. * Add example queries. * Add proof of concept database fetching. * Add Signature query resolver. * Add SignatureMorphism query resolver. * Add missing key to result JSON. * Add Serialization resolver. * Split code for conversion and retrieval of data. * Fix indentation. * Add OMS query. * Add DGraph query. * Remove commit and document from example queries. * Remove GraphQLApi constructor again. * Save libenv to database via RESTful interface. * Fix line lengths * as library name, ensure a URL containing, in case of file://, an absolute file path * correction: urls should not be treated as file path * avoid re-reading for xmi and qvt; corrected computation of full filename * strip file:// prefix for OWL parser * strip file:// prefix for QVT parser * introduced utility function tryToStripPrefix * strip file:// when writing files /hets/CSMOF/ParseXmiAsLibDefn.hs /hets/Common/Utils.hs /hets/Driver/Options.hs /hets/Driver/ReadFn.hs /hets/Driver/ReadLibDefn.hs /hets/Driver/WriteFn.hs /hets/Driver/WriteLibDefn.hs /hets/GUI/GtkProverGUI.hs /hets/Hets.cabal /hets/Interfaces/Utils.hs /hets/OWL2/ParseOWL.hs /hets/OWL2/ParseOWLAsLibDefn.hs /hets/OWL2/Taxonomy.hs GraphQL.hs GraphQL/Resolver.hs GraphQL/Resolver/DGraph.hs GraphQL/Resolver/OMS.hs GraphQL/Resolver/Serialization.hs GraphQL/Resolver/Signature.hs GraphQL/Resolver/SignatureMorphism.hs GraphQL/Resolver/ToResult.hs GraphQL/Result.hs GraphQL/Result/Axiom.hs GraphQL/Result/Conjecture.hs GraphQL/Result/ConservativityStatus.hs GraphQL/Result/DGraph.hs GraphQL/Result/DocumentLink.hs GraphQL/Result/FileRange.hs GraphQL/Result/IdReference.hs GraphQL/Result/Language.hs GraphQL/Result/LanguageMapping.hs GraphQL/Result/Library.hs GraphQL/Result/LocIdReference.hs GraphQL/Result/Logic.hs GraphQL/Result/LogicMapping.hs GraphQL/Result/Mapping.hs GraphQL/Result/NativeDocument.hs GraphQL/Result/OMS.hs GraphQL/Result/OMSSimple.hs GraphQL/Result/PremiseSelection.hs GraphQL/Result/Reasoner.hs GraphQL/Result/ReasonerConfiguration.hs GraphQL/Result/ReasonerOutput.hs GraphQL/Result/ReasoningAttempt.hs GraphQL/Result/Sentence.hs GraphQL/Result/Serialization.hs GraphQL/Result/Signature.hs GraphQL/Result/SignatureMorphism.hs GraphQL/Result/StringReference.hs GraphQL/Result/Symbol.hs GraphQL/Result/SymbolMapping.hs GraphQL/exampleQueries/dgraph.graphql GraphQL/exampleQueries/oms.graphql GraphQL/exampleQueries/serialization.graphql GraphQL/exampleQueries/signature.graphql GraphQL/exampleQueries/signatureMorphism.graphql Server.hs Shared.hs /hets/Persistence/DevGraph.hs /hets/Persistence/Schema.hs /hets/Persistence/Utils.hs /hets/QVTR/ParseQvtAsLibDefn.hs /hets/Static/AnalysisLibrary.hs /hets/stack.yaml