• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

alpha-asp / Alpha
77%
master: 84%

Build:
Build:
LAST BUILD BRANCH: weak_constraints
DEFAULT BRANCH: master
Repo Added 17 Sep 2017 09:42AM UTC
Files 217
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH update
branch: update
CHANGE BRANCH
x
Reset
  • update
  • add_simple_completion
  • additional_choice_nogoods
  • additional_choice_nogoods_alt
  • agg_plus_just
  • answer_set_formatting
  • arithmetic_term_rewriter
  • atom_counter
  • avoiding_integer_objects
  • bugfix_term_equality
  • cardinality_optimization
  • ci
  • citation
  • clause_minimization_local
  • codecov-v2
  • completion
  • completion_cli
  • completion_merge_issue211
  • conflict_generalisation
  • coveralls-badge
  • deprecate_old_heuristics
  • domspec_heuristics
  • domspec_heuristics_extended
  • domspec_heuristics_extended_merge_issue211
  • escaped_quotes
  • external_atom_libs
  • f22a97f4ad744ab8f5e47f615365887674f1bebe
  • fast-travis
  • fix_159
  • fix_239
  • fix_accumulator_flag_issue271
  • fix_interval_rewriting_issue277
  • forbid_lowercase_variable_terms
  • full_aggregate_support_review
  • github-actions
  • gradle-7.3
  • gradle7_compliancy
  • grounding_strategies
  • grounding_strategies_and_phase_saving_and_restarts
  • hotfix_datetime_leq
  • improve_grounder_selectivity
  • issue211
  • issue238
  • issue251
  • java-13
  • java-update
  • master
  • modularize_grounder
  • move_substitution_test
  • negated_externals
  • noGoodToString
  • phase_saving_and_restarts
  • phase_saving_and_restarts_fix_default_initial_phase
  • phase_saving_and_restarts_merge_master
  • program_part_parser
  • pubs
  • replay_counter_overflow
  • rtaupe_affil_aau
  • separate_logback_xmls
  • stdlib_externals
  • substitution_lazy_cloning
  • test/non-binding_vars
  • test_stratified_evaluation
  • tests_strat_eval_param
  • unit_test_support
  • update-readme
  • v0.5.0
  • weak_constraints
  • write_answersets_to_xlsx

pending completion
809

push

travis-ci

lorenzleutgeb
dep: Update commons-cli and logback-classic

3157 of 4077 relevant lines covered (77.43%)

2.32 hits per line

Relevant lines Covered
Build:
Build:
4077 RELEVANT LINES 3157 COVERED LINES
2.32 HITS PER LINE
Source Files on update
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
809 update dep: Update commons-cli and logback-classic push 19 Nov 2017 08:41PM UTC lorenzleutgeb travis-ci pending completion  
See All Builds (1165)
  • Repo on GitHub
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc