Releases: ontohub/ontohub
0.8.2.2
This release fixes some bugs and removes the categories feature for now (for performance reasons). It will return in a later release.
0.8.2.2 includes the following pull requests:
- Merge pull request #1513 from ontohub/1497-remove_categories_for_now
- Merge pull request #1511 from ontohub/1510-merge_simplecov_reports_for_rspec_and_cucumber
- Merge pull request #1508 from ontohub/1507-improve_performance_of_sine
- Merge pull request #1504 from ontohub/1502-hetsinstance_state_stays_busy_after_error
- Merge pull request #1488 from ontohub/1477-announce_how_to_test_ontohub_with_selenium
0.8.2.1
0.8.2
This release mostly contains bug and security fixes. It also features minor improvements in the UI.
The merged branches are:
- Merge pull request #1482 from ontohub/fix_semaphore_in_synchronous_environment
- Merge pull request #1471 from ontohub/change_ontohub_icon_to_svg
- Merge pull request #1455 from ontohub/1341-1447-handle_proof_statuses_correctly
- Merge pull request #1480 from ontohub/1478-deadlock_in_seeds
- Merge pull request #1474 from ontohub/1465-undefined_method_split_for_diff_too_large_symbol
- Merge pull request #1473 from ontohub/1450-ontohub_slow
- Merge pull request #1441 from ontohub/1439-parse_the_status_attribute_of_theorems
- Merge pull request #1440 from ontohub/1438-add_support_for_tptp_evaluation
- Merge pull request #1470 from ontohub/1468-improve_multiple_hetsinstances_god_config
- Merge pull request #1472 from ontohub/update_gems
- Merge pull request #1459 from ontohub/update_ruby
- Merge pull request #1462 from ontohub/1187-clarify_read_write_permissions_for_repositories
- Merge pull request #1446 from ontohub/1445-run_multiple_hets_instances
- Merge pull request #1451 from ontohub/update_gems
- Merge pull request #1456 from ontohub/fix_proving_timeout
- Merge pull request #1452 from ontohub/run_sidekiq_in_production_mode
- Merge pull request #1442 from ontohub/230-delete_basic_proof_model
- Merge pull request #1444 from ontohub/1443-fix_evaluation_state_on_theorems
- Merge pull request #1449 from ontohub/1448-redesign_seeds_to_be_able_to_use_it_in_production_environment
- Merge pull request #1428 from ontohub/1134-reduce_the_axiom_set_with_logic_independent_sine
- Merge pull request #1435 from ontohub/squash_migrations
- Merge pull request #1426 from ontohub/fix_git_home
- Merge pull request #1425 from ontohub/1024-sentence_display_broken
- Merge pull request #1413 from ontohub/1412-remove_default_scope_on_sentence
- Merge pull request #1437 from ontohub/fix_axiom_selection_migration
- Merge pull request #1424 from ontohub/1422-hide_prove_this_theorem_button_if_not_authorised
- Merge pull request #1436 from ontohub/fix_mapping_spec
- Merge pull request #1432 from ontohub/fix_broken_test
- Merge pull request #1431 from ontohub/fix_rails_config_overwrite_arrays
- Merge pull request #1427 from ontohub/1411-restructure_proving_pipeline
- Merge pull request #1391 from ontohub/1134-create_basis_for_many_axiom_selection_methods
- Merge pull request #1430 from ontohub/adjust_git_daemon_docs
- Merge pull request #1390 from ontohub/disable_rspec_verbosity
- Merge pull request #1423 from ontohub/fix_logicgraph_import
0.8.1.2
0.8.1.1
This release does not add any functionality. Instead, it restructures the code base for simplicity.
The changes are
- Merge pull request #1427 from ontohub/1411-restructure_proving_pipeline
- Merge pull request #1391 from ontohub/1134-create_basis_for_many_axiom_selection_methods
- Merge pull request #1430 from ontohub/adjust_git_daemon_docs
- Merge pull request #1390 from ontohub/disable_rspec_verbosity
- Merge pull request #1423 from ontohub/fix_logicgraph_import
0.8.1
Among others a few notable changes are:
- Enable the evaluation of imported ontologies inside of a private repository
- Update HetsInstance regularly (detect up-state and version of registered Hets instances)
- Fixes of the axiom selection for proving
- Lots of server configuration/deployment improvements and fixes
The list of merged pull requests since the previous release is:
- Merge pull request #1418 from ontohub/default_configuration_changes
- Merge pull request #1417 from ontohub/1395-problem_with_e_mail_config
- Merge pull request #1416 from ontohub/1414-put_cp_keys_to_data_ssh_cp_keys
- Merge pull request #1409 from ontohub/1406-ruby_version_deployment
- Merge pull request #1410 from ontohub/update_documentation_add_rake_secret_replace
- Merge pull request #1408 from ontohub/1407-allow_email_setting_not_to_contain_the_hostname
- Merge pull request #1400 from ontohub/1384-validate_existence_of_the_cp_keys_binary
- Merge pull request #1401 from ontohub/1396-settings_set_paths_implicitly
- Merge pull request #1405 from ontohub/update_gems
- Merge pull request #1402 from ontohub/1399-allow_to_configure_sidekiq_log_level
- Merge pull request #1404 from ontohub/fix_settings_validations
- Merge pull request #1403 from ontohub/1398-add_secret_token_yml_key_to_settings
- Merge pull request #1372 from ontohub/1371-print_better_readable_settings_validation_errors
- Merge pull request #1392 from ontohub/fix-bundle-libv8
- Merge pull request #1389 from ontohub/1388-invalid_html
- Merge pull request #1385 from ontohub/fix-elasticsearch-docs
- Merge pull request #1382 from ontohub/bundle-update
- Merge pull request #1387 from ontohub/fix_axiom_selection
- Merge pull request #1378 from ontohub/1351-remove_iri_field
- Merge pull request #1379 from ontohub/1373-update_hets_instances_regularly
- Merge pull request #1255 from ontohub/update_gems
- Merge pull request #1377 from ontohub/1376-make_ontohub_org_database_consistent
- Merge pull request #1375 from ontohub/1374-improve_migration_performance
- Merge pull request #1136 from ontohub/558-access_token_for_private_repositories
- Merge branch 'staging' into update_gems
- Merge pull request #1368 from ontohub/hotfix-bundle
- Merge pull request #1367 from ontohub/1366-bundle_is_not_complete_for_deployment
0.8.0
This is version 0.8.0 of Ontohub
Among others a few notable features of this version are:
- Using hets as a RESTful API instead of a systemcall
- Improved search with elasticsearch
- Basic proving with hets
- Selection of axiom during proving
- SZS ontology-support for proof statuses
- First parts of the implementation of the Ontohub-API
- support for Ontohub loc/ids
This are the new pull-requests included in this version:
- Merge pull request #1363 from ontohub/1362-cucumber_formatter_reports_pending_as_failed
- Merge pull request #1309 from ontohub/use_os_hostname_if_hostname_is_undefined_in_settings
- Merge pull request #1365 from ontohub/1364-remove_set_the_flash_occurrences
- Merge pull request #1359 from ontohub/fix-and_allow_exceptions_for_rebuild_ontohub
- Merge pull request #1357 from ontohub/improve-deployment-info
- Merge pull request #1270 from ontohub/1170-frontend-notes
- Merge pull request #1333 from ontohub/use_less_verbose_test_output_formatter
- Merge pull request #1350 from ontohub/1349-fix_state_relations
- Merge pull request #1326 from ontohub/1135-allow_selection_of_axioms
- Merge pull request #1324 from ontohub/1318-create_hets_prove_fixtures_for_different_configurations
- Merge pull request #1319 from ontohub/1287-parse_szs_status_from_prover_output
- Merge pull request #1269 from ontohub/1170-add_environment_light_with_hets
- Merge pull request #1314 from ontohub/1283-improve_proving_related_views
- Merge pull request #1271 from ontohub/fix_productive_deployment_docs
- Merge pull request #1288 from ontohub/add_code_view_on_serializers_doc
- Merge pull request #1323 from ontohub/remove_obsolete_database_cleaner_config
- Merge pull request #1331 from ontohub/refactor_history_spec
- Merge pull request #1300 from ontohub/1282-use_user_info_consequently
- Merge pull request #1320 from ontohub/fix-run_seeds_when_offline
- Merge pull request #1075 from ontohub/617-handle_file_deletion
- Merge pull request #1332 from ontohub/refactoring-get_rid_of_rspec_deprecations
- Merge pull request #1343 from ontohub/1342-adjust_to_changed_hets_interface
- Merge pull request #1322 from ontohub/report_coverage_only_on_default_task
- Merge pull request #1339 from ontohub/1338-column_oops_responses_symbols_id_does_not_exist
- Merge pull request #1308 from ontohub/1303-let_the_default_rake_task_fail_if_elasticsearch_is_not_running
- Merge pull request #1327 from ontohub/1325-parse_hets_json_snake_case_keys
- Merge pull request #1316 from ontohub/fix_logicgraph_generation
- Merge pull request #1317 from ontohub/1305-add_actions_support
- Merge pull request #1312 from ontohub/1284-show_theorem_and_proof_attempt_state
- Merge pull request #1335 from ontohub/fix_data_migrations
- Merge pull request #1268 from ontohub/1170-git_handling
- Merge pull request #1310 from ontohub/fix_error_handling_of_base_evaluator
- Merge pull request #1311 from ontohub/add_tactic_script_model
- Merge pull request #1289 from ontohub/1256-add_proving_related_serializers
- Merge pull request #1330 from ontohub/fix_ssh_fingerprint_generation
- Merge pull request #1334 from ontohub/1328-fix_rebuild_script
- Merge pull request #1241 from ontohub/1170-puma-support
- Merge pull request #1266 from ontohub/1264-load_local_initializers
- Merge pull request #1236 from ontohub/1230-validate_settings
- Merge pull request #1315 from ontohub/1276-improve_selection_of_provers
- Merge pull request #1313 from ontohub/fix_proving_took_negative_time
- Merge pull request #1304 from ontohub/1156-add_combinations_plus_api_integration
- Merge pull request #1294 from ontohub/fix_import_of_logicgraph
- Merge pull request #1293 from ontohub/1292-add_api_key
- Merge pull request #1302 from ontohub/add-gitter_support_for_travis
- Merge pull request #1298 from ontohub/1296-let_the_user_select_a_proving_timeout
- Merge pull request #1299 from ontohub/1280-hets_error_handling_for_proving
- Merge pull request #1297 from ontohub/1295-refactor_proof_evaluation_pipeline
- Merge pull request #1286 from ontohub/1273-improve_proving_interface
- Merge pull request #1263 from ontohub/1237-let_the_user_select_a_prover
- Merge pull request #1262 from ontohub/introduce_hets_options
- Merge pull request #1261 from ontohub/1250-use_hets_api_and_vcr_for_the_tests
- Merge pull request #1275 from ontohub/fix-ontology_state_update
- Merge pull request #1260 from ontohub/1257-introduce_axiom_model
- Merge pull request #1188 from ontohub/1131-prove_theorems
- Merge pull request #1274 from ontohub/fix_developer_installation_on_ubuntu
- Merge pull request #1259 from ontohub/1258-locid_missing_on_translated_sentence
- Merge pull request #1245 from ontohub/1152-replace_capybara_webkit_by_phantomjs
- Merge pull request #1252 from ontohub/1234-add_json_for_ontology_subsites
- Merge pull request #1248 from ontohub/1246-use_api_controllers
- Merge pull request #1247 from ontohub/1233-json_for_model_resources
- Merge pull request #1161 from ontohub/1159-create_mirror_of_private_github_repository
- Merge pull request #1240 from ontohub/1166-add_mimetype_info_to_controllers
- Merge pull request #1239 from ontohub/fix_locid_escaping
- Merge pull request #1217 from ontohub/1137-in_respository_search
- Merge pull request #1212 from ontohub/1210-integrate_documentation_into_the_ontohub_repository
- Merge pull request #1238 from ontohub/1225-fix_queries_on_ontology_state
- Merge pull request #1243 from ontohub/fix-gitignore
- Merge pull request #1208 from ontohub/1145-regroup_concerns
- Merge pull request #1028 from ontohub/795-delete_repository_asynchonously
- Merge pull request #1228 from ontohub/add-reasonable_errors_for_hets_instances
- Merge pull request #1215 from ontohub/add_stylecheck_script
- Merge pull request #1195 from ontohub/1190-restructure_migrations
- Merge pull request #1127 from ontohub/1066-provide_xml_for_logics
- Merge pull request #1202 from ontohub/1061-handle_hets_api_errors
- Merge pull request #1222 from ontohub/1218-ontology_state_feature_test
- Merge pull request #1214 from ontohub/1211-fix_ref_locids_for_subdirectories
- Merge pull request #1216 from ontohub/reconfigure_hound
- Merge pull request #1194 from ontohub/1154-support_ref_locids
- Merge pull request #1179 from ontohub/1154-add_loc-ids
- Merge pull request #1189 from ontohub/1151-fix_god_configuration
- Merge pull request #1201 from ontohub/1200-call_hets_with_auto
- Merge pull request #1192 from ontohub/add_omn_migration
- Merge pull request #1126 from ontohub/1122-remove_dead_code_on_bulk_uploads
- Merge pull request #1030 from ontohub/634-fork_and_unmirror_repository
- Merge pull request #1164 from ontohub/testing_with_jenkins
- Merge pull request #1111 from ontohub/1087-correct_indefinite_article_for_OMS
- Merge pull request #1173 from ontohub/1171-add_commit_model
- Merge pull request #1169 from ontohub/improve-ontology-list-display
- Merge pull request #1172 from ontohub/style_remove_useless_assignment
- Merge pull request #1139 from ontohub/28-remote_file_upload
- Merge pull request #1162 from ontohub/1150-add_settings_for_hets_workers_count
- Merge pull request #1146 from ontohub/455-finally_changing_the_model_names
- Merge pull request #1160 from ontohub/fix_seeds
- Merge pull request #1153 from ontohub/hotfix-missed_renaming_test_directory_usage
- Merge pull request #1077 from ontohub/move_minitests_to_rspec
- Merge pull request #1143 from ontohub/activate_bundler_caching
- Merge pull request #1012 from ontohub/961-folder_creation
- Merge pull request #1125 from ontohub/1114-add_theorem_support
- Merge pull request #1123 from ontohub/1099-label_symbols_in_obo_sentences
- Merge pull request #1130 from ontohub/display_ontologies_inside_of_repository
- Merge pull request #1129 from ontohub/fix-ease_of_use
- Merge pull request #1090 from ontohub/286-switch_from_solr_to_elastic_search
- Merge pull request #1124 from ontohub/308-add_zoom_and_move_to_graphs
- Merge pull request #1128 from ontohub/fix-ontology_all_end_callback
- Merge pull request #1104 from ontohub/446-new_ontohub_oms_generalization
- Merge pull request #1118 from ontohub/1067-fix_ontologies_count
- Merge pull request #1120 from ontohub/fix_bring_license_back
- Merge pull request #1121 from ontohub/hotfix_migration_for_logic_slugs
- Merge pull request #1119 from ontohub/fix_missing_enviorment_in_rake_task
- Merge pull request #1097 from ontohub/add_hets_instance_generation_to_deploy
- Merge pull request #1091 from ontohub/1088-fix_logicgraph_parser
- Merge pull request #1117 from ontohub/1022-hotfix_aborting_of_ontologies
- Merge pull request #1092 from ontohub/start_hets_api_on_machines
- Merge pull request #1095 from ontohub/add_named_logic_iris
- Merge pull request #1105 from ontohub/592-obo_class_names
- Merge pull request #1074 from ontohub/refactor-clean_git_a_little
- Merge pull request #1096 from ontohub/freshen_fixtures_only_when_necessary
- Merge pull request #1103 from ontohub/fix_hound_for_lambdas
- Merge pull request #1112 from ontohub/fix_fixture_calls
- Merge pull request #1055 from ontohub/865-introduce-diffs-controller
- Merge pull request #1102 from ontohub/1100-fix_tree_generation
- Merge pull request #1101 from ontohub/fix_test_db_building
- Merge pull request #1036 from ontohub/1034-paths_missing_on_ontology_version
- Merge pull request #1047 from ontohub/689-show_oops_global_issues_correctly
- Merge pull request #1079 from ontohub/1078-dead_empty_repository_history
- Merge pull request #1070 from ontohub/fix_condition_in_post_receive_hook
- Merge pull request #1093 from ontohub/fix_en_yml
- Merge pull request #1068 from ontohub/694-priority_for_small_pushes
- Merge pull request #1083 from ontohub/1082-provide_url_list
- Merge pull request #1057 from ontohub/262-use_hets_api
- Merge pull request #1042 from ontohub/add_i18n-tasks_gem
- Merge pull request #1076 from ontohub/fix-catalog_test
- Merge pull request #1052 from ontohub/1049-beta_label_is_gone
- Merge pull request #1054 from ontohub/fix-default_branch_...
0.7.6
This is version 0.7.6 of Ontohub
New Features of this release are
- Using Tarjan algorithm for building class hierarchy of owl Ontologies
- Autoloading imported Ontologies
- Private Repos are now possible on onthub
- Online Editing Ontologies
and a few more and we fixed some bugs
- Merge pull request #949 from ontohub/fix-repository_list_building
- Merge pull request #948 from ontohub/hotfix-rails_update_to_3.2.19
- Merge pull request #944 from ontohub/add_invoker
- Merge pull request #930 from ontohub/899-add_sidekiq_timeout_job
- Merge pull request #933 from ontohub/904-fix_automatic_ontology_status_view
- Merge pull request #934 from ontohub/482-sort_mappings_by_source_logic
- Merge pull request #935 from ontohub/620-ontologies_in_mappings_should_be_clickable
- Merge pull request #931 from ontohub/924-enable_current_version_support_for_links
- Merge pull request #932 from ontohub/perform_necessary_upgrades
- Merge pull request #929 from ontohub/863-adjust_hets_version_checking
- Merge pull request #921 from ontohub/fix-tarjan-tree
- Merge pull request #920 from ontohub/fix_some_entity_tab_kind_stuff
- Merge pull request #914 from ontohub/828-use_bootstrap_modal_in_file_edit
- Merge pull request #912 from ontohub/886-incremental_version_numbers
- Merge pull request #919 from ontohub/hotfix_oops_repository_path
- Merge pull request #913 from ontohub/500-newest_version_first
- Merge pull request #900 from ontohub/898-handle_private_repositories_for_ssh
- Merge pull request #894 from ontohub/232-use_ontology_version_id
- Merge pull request #901 from ontohub/fix-project_migration_spec_having_wrong_column_type
- Merge pull request #843 from ontohub/343-display_icon_type_category_projects
- Merge pull request #893 from ontohub/891-underscore_js
- Merge pull request #884 from ontohub/fix-minor_ruby_version_on_travis
- Merge pull request #892 from ontohub/fix_name_field_for_signup
- Merge pull request #885 from ontohub/840-fix_whitespace_issues
- Merge pull request #831 from ontohub/582-disable_editing_on_mirrors
- Merge pull request #881 from ontohub/683-welcome_page_after_sign_up
- Merge pull request #883 from ontohub/819-adjust_entity_tree_rake_task
- Merge pull request #882 from ontohub/878-refer_to_wiki_on_access_denied
- Merge pull request #873 from ontohub/787-improve_ssh_access_error_handling
- Merge pull request #880 from ontohub/fix-rails-update
- Merge pull request #815 from ontohub/573-mark_mirrored_repositories
- Merge pull request #814 from ontohub/585-repository_settings_page
- Merge branch 'fix_error_messaging_on_ontology_spec' into staging
- Merge pull request #879 from ontohub/hotfix-db_cleanup_in_seeds
- Merge branch '748-using-tarjan_for_entitytree' into staging
- Merge pull request #821 from ontohub/381-cps_headers
- Merge pull request #805 from ontohub/748-using-tarjan_for_entitytree
0.7.5
Important hotfixes and update to Ruby 2.1.1. Repaired confirmation, password reset and unlocking. Fixes #666. Merge pull request #713 from ontohub/665-load_paths Merge pull request #695 from ontohub/690-pp_xml_stuff Merge pull request #712 from ontohub/ruby-2.1.1
0.7.4
Fix for git clone and adaption of newer Hets versions. Merge pull request #711 from ontohub/fix_hets_path_for_homebrew Merge pull request #703 from ontohub/702-fix_git_clone Merge pull request #704 from ontohub/fix_hets_version_checking Merge pull request #696 from ontohub/fix_rake_db_migrate_clean Merge pull request #678 from ontohub/662-open_help_in_new_window