alpha-asp / Alpha
83%
master: 84%

LAST BUILD BRANCH: weak_constraints
DEFAULT BRANCH: master
Repo Added
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 completion
branch: completion
CHANGE BRANCH
x

1149

Pull #283

travis-ci-com

web-flow 
Merge 5e47fad6d into ae5280da5
Pull Request #283: Completion

447 of 447 new or added lines in 17 files covered. (100.0%)

6796 of 8166 relevant lines covered (83.22%)

1.66 hits per line

Relevant lines Covered
8166 RELEVANT LINES 6796 COVERED LINES
1.66 HITS PER LINE
Source Files on completion
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
1149 completion Merge 5e47fad6d into ae5280da5 Pull #283 web-flow travis-ci-com pending completion  
1146 completion Fix merge master into completion. push AntoniusW travis-ci-com pending completion  
670 completion Clear up completion configuration. push AntoniusW travis-ci-com pending completion  
669 completion Rework completion configuration; improve rules deriving atom detection; enable completion/justification at conflict after closing by default. - CommandLineParser allows disabling of backwards completion. - ProgramAnalysis computes rules actually ... push AntoniusW travis-ci-com pending completion  
575 completion Extend direct functional dependencies and rewrite equations. - EnumerationAtom provides reverse lookup of enumerated terms. - DirectFunctionalDependency considers EnumerationLiterals, and ComparisonLiterals are rewritten if they provide more de... push AntoniusW travis-ci-com pending completion  
574 completion Enable functional dependencies. - Add DirectFunctionalDependency with basic FD discovery. - NoGoodGenerator can stop ignoring of rules that cannot fire. - Bugfix in DefaultSolver. push AntoniusW travis-ci-com pending completion  
573 completion Merge CompletionConfiguration parsing. push AntoniusW travis-ci-com pending completion  
572 completion Merge pull request #215 from alpha-asp/completion_cli Make completion and justifications configurable from CLI. push web-flow travis-ci-com pending completion  
569 completion Replace unique-head optimisation. Bugfixes. - Disable SolverStatisticsTests for now. push AntoniusW travis-ci-com pending completion  
See All Builds (1165)