Dashboard ⋅ gapt/gapt

Showing per coverage for the

Loading

add removal of redundant quantifiers in solveFormulaEquation

#741 9857bf2

refactor moveQuantifiers and add unit tests

#741 bd551ae

update dependencies: ammonite-ops, cats-free

develop 3ba72dc

update SBT 1.3.4 -> 1.3.6

develop f2a0c22

optimize imports and remove unnecessary braces

#741 7f9397a

refactor and restructure source code

#741 b06fafa

View all recent commits

Files		•	•	•	Coverage
cli/src/main/scala	36	0	0	36	0.00%
core/src/main/scala/gapt	24,812	15,453	0	9,359	62.28%
examples	5,742	2,306	0	3,436	40.16%
testing/src/main/scala	594	0	0	594	0.00%
doc/evalCodeSnippetsInLatex.scala	119	0	0	119	0.00%
Project Totals (677 files)	31,303	17,759	0	13,544	56.73%

Loading

Navigation	Overlay
`t` Navigate files	`h` Toggle hits
`y` Change url to tip of branch	`m` Toggle misses
`b / v` Jump to prev/next hit line	`p` Toggle partial
`z / x` Jump to prev/next missed or partial line	`1..9` Toggle flags
`shift + o` Open current page in GitHub	`a` Toggle all on
`/ or ?` Show keyboard shortcuts dialog	`c` Toggle context lines or commits

alt + click any link to open page in GitHub.