Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add repository premium flag and lots of fixes #1806

Open
wants to merge 30 commits into
base: staging
Choose a base branch
from
Open

Add repository premium flag and lots of fixes #1806

wants to merge 30 commits into from

Commits on Feb 22, 2017

  1. Remove failing chmod call 

    This call leads to the error on `git clone`:
> Worker: RepositoryFetchingWorker
> Arguments: 1, "clone", "fork"
> Error: Errno::EPERM: Operation not permitted @ chmod_internal - /data/git/repositories/1/

Instead, we should set the umask correctly:
umask 002
    @eugenk
    eugenk committed Feb 22, 2017
    Configuration menu
    Copy the full SHA
    21972f1 View commit details
    Browse the repository at this point in the history

  2. Add timeout to result parser.

    @eugenk
    eugenk committed Feb 22, 2017
    Configuration menu
    Copy the full SHA
    ff508cf View commit details
    Browse the repository at this point in the history

  3. Add association from ontology to locid.

    @eugenk
    eugenk committed Feb 22, 2017
    Configuration menu
    Copy the full SHA
    0ebc362 View commit details
    Browse the repository at this point in the history

  4. Call hets (prove) properly.

    @eugenk
    eugenk committed Feb 22, 2017
    Configuration menu
    Copy the full SHA
    8fe4a10 View commit details
    Browse the repository at this point in the history

  5. Fix time taken parser.

    @eugenk
    eugenk committed Feb 22, 2017
    Configuration menu
    Copy the full SHA
    1dcd312 View commit details
    Browse the repository at this point in the history

  6. Add hets-libdirs parameter.

    @eugenk
    eugenk committed Feb 22, 2017
    Configuration menu
    Copy the full SHA
    5594906 View commit details
    Browse the repository at this point in the history

  7. Recognize ax as tptp.

    @eugenk
    eugenk committed Feb 22, 2017
    Configuration menu
    Copy the full SHA
    1551f82 View commit details
    Browse the repository at this point in the history

  8. Fix imports into single ontologies.

    @eugenk
    eugenk committed Feb 22, 2017
    Configuration menu
    Copy the full SHA
    5408ce3 View commit details
    Browse the repository at this point in the history

  9. Use original file names on upload (allow plus symbol '+' in file names).

    @eugenk
    eugenk committed Feb 22, 2017
    Configuration menu
    Copy the full SHA
    44546d0 View commit details
    Browse the repository at this point in the history

  10. Don't escape twice (the second time is in parse/prove/provers caller).

    @eugenk
    eugenk committed Feb 22, 2017
    Configuration menu
    Copy the full SHA
    2adbf60 View commit details
    Browse the repository at this point in the history

  11. Allow Hets to raise an error on the cat ontology.

    @eugenk
    eugenk committed Feb 22, 2017
    Configuration menu
    Copy the full SHA
    805b50c View commit details
    Browse the repository at this point in the history

Commits on Feb 23, 2017

  1. Add featured flag to repository (#1499).

    @eugenk
    eugenk committed Feb 23, 2017
    Configuration menu
    Copy the full SHA
    e0dfebf View commit details
    Browse the repository at this point in the history

  2. Order repositories by name (case-insensitively).

    @eugenk
    eugenk committed Feb 23, 2017
    Configuration menu
    Copy the full SHA
    607f2cc View commit details
    Browse the repository at this point in the history

  3. Use the Hets time limit also in dg and provers commands.

    @eugenk
    eugenk committed Feb 23, 2017
    Configuration menu
    Copy the full SHA
    fdb1367 View commit details
    Browse the repository at this point in the history

Commits on Feb 24, 2017

  1. Use Ubuntu 14.04 LTS on travis.

    @eugenk
    eugenk committed Feb 24, 2017
    Configuration menu
    Copy the full SHA
    5f6d363 View commit details
    Browse the repository at this point in the history

Commits on Feb 27, 2017

  1. Install hets-desktop on travis.

    @eugenk
    eugenk committed Feb 27, 2017
    Configuration menu
    Copy the full SHA
    09ad413 View commit details
    Browse the repository at this point in the history

  2. Install elasticsearch 2.0 in travis.

    @eugenk
    eugenk committed Feb 27, 2017
    Configuration menu
    Copy the full SHA
    6d7302f View commit details
    Browse the repository at this point in the history

Commits on Feb 28, 2017

  1. Fix mapping targets of includes.

    @eugenk
    eugenk committed Feb 28, 2017
    Configuration menu
    Copy the full SHA
    7df2c96 View commit details
    Browse the repository at this point in the history

Commits on Mar 2, 2017

  1. Find previous prover output to overwrite it (if it exists)

    @eugenk
    eugenk committed Mar 2, 2017
    Configuration menu
    Copy the full SHA
    20e89ea View commit details
    Browse the repository at this point in the history

Commits on Mar 4, 2017

  1. Select type formulae in TFF/THF.

    @eugenk
    eugenk committed Mar 4, 2017
    Configuration menu
    Copy the full SHA
    da8ee43 View commit details
    Browse the repository at this point in the history

  2. Don't include previous theorems in proof.

    @eugenk
    eugenk committed Mar 4, 2017
    Configuration menu
    Copy the full SHA
    aedcb78 View commit details
    Browse the repository at this point in the history

Commits on Mar 8, 2017

  1. Select definition formulae in TFF/THF.

    @eugenk
    eugenk committed Mar 8, 2017
    Configuration menu
    Copy the full SHA
    ace2511 View commit details
    Browse the repository at this point in the history

  2. Recursively select types and defs.

    @eugenk
    eugenk committed Mar 8, 2017
    Configuration menu
    Copy the full SHA
    76fcb55 View commit details
    Browse the repository at this point in the history

Commits on Mar 14, 2017

  1. Add associations.

    @eugenk
    eugenk committed Mar 14, 2017
    Configuration menu
    Copy the full SHA
    72cec58 View commit details
    Browse the repository at this point in the history

  2. Rename databases.

    @eugenk
    eugenk committed Mar 14, 2017
    Configuration menu
    Copy the full SHA
    8493397 View commit details
    Browse the repository at this point in the history

Commits on May 3, 2017

  1. Use less rows for manual axiom selection's axiom-list

    @eugenk
    eugenk committed May 3, 2017
    Configuration menu
    Copy the full SHA
    8214abb View commit details
    Browse the repository at this point in the history

  2. Also save Axioms that have an OWL-AnnotationProperty.

    @eugenk
    eugenk committed May 3, 2017
    Configuration menu
    Copy the full SHA
    d330b2b View commit details
    Browse the repository at this point in the history

Commits on May 15, 2017

  1. Fix COLORE parsing.

    @eugenk
    eugenk committed May 15, 2017
    Configuration menu
    Copy the full SHA
    e27e022 View commit details
    Browse the repository at this point in the history

Commits on May 21, 2017

  1. Change proofs#new title.

    @eugenk
    eugenk committed May 21, 2017
    Configuration menu
    Copy the full SHA
    1f3ef0b View commit details
    Browse the repository at this point in the history

Commits on Aug 21, 2017

  1. Remove Hets version check.

    @eugenk
    eugenk committed Aug 21, 2017
    Configuration menu
    Copy the full SHA
    a20dcb8 View commit details
    Browse the repository at this point in the history