HazyResearch / ddlog

95%

master: 94%

LAST BUILD ON BRANCH negation

branch: negation

CHANGE BRANCH

x

Reset

• negation
• 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
• 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
• semantic_checking
• sen-lift
• sen-more-support
• support_views
• tab-separated-jsons
• test-ddlog-script
• travis-container-based-infra
• truthiness
• v0.8.x

Build # 291

Build Type

push

travis-ci

Committed by feiranwang

Commit Message

Add support for negation in inference rule head

Run Details

1005 of 1056 relevant lines covered (95.17%)

0.95 hits per line