HazyResearch / ddlog

94%

master: 94%

LAST BUILD ON BRANCH semantic_checking

branch: semantic_checking

CHANGE BRANCH

x

Reset

• semantic_checking
• agg-func-case
• arrays
• better_dependencies
• comments_overflow
• compile+export-schema
• compiler-refactor
• ddlog-query
• deepdive-conf-legacy-cleanup
• distributed_by
• dynamic-scope-multinomial
• embed-sbt
• export_schema
• factor_val
• faster_join
• feature_value
• feiran-examples
• feiran-extension
• fix-inference-rule-naming
• fix-materialize
• fix-redundant-join-variables-in-query
• fix-supervision-type-checker-for-undeclared-relations
• fix-wrong-sql-OR-compilation
• fix_gte
• fusion
• gh-421
• hotfix
• hotfix-annotation
• hotfix-multinomial
• hotfix2
• improve-export-schema
• includes-views-in-schema
• master
• mixed-fncalls-normal-rules
• mnemonic-names-in-compiled-output
• mod_operator
• multinomial
• negation
• netj-test-cleanup
• new-supervision
• new_syntax
• no_multinomial
• non_category_weight_cols
• parallelism
• proj_cat_vals
• refactor_creation_table
• release
• rule_name
• semantic-partitioning
• sen-lift
• sen-more-support
• support_views
• tab-separated-jsons
• test-ddlog-script
• travis-container-based-infra
• truthiness
• v0.8.x

Build # 176

Build Type

push

travis-ci

Committed by feiranwang

Commit Message

Fix semantic checking for inference rule head

Run Details

800 of 852 relevant lines covered (93.9%)

0.94 hits per line