Dashboard ⋅ gapt/gapt

Showing per coverage for the

Loading

master 85f0467

issue-#737 5d53209

update year in CLI welcome message

master fa2da90

refine testing and fix a bug with which constants are under the same symbol

#734 1af4dbc

generate reduction rules from assertions

structural_induction d2dda09

extract reduction rules in tip problem

structural_induction af6be5f

View all recent commits

Files		•	•	•	Coverage
cli/src/main/scala	36	0	0	36	0.00%
core/src/main/scala/gapt	23,992	15,360	0	8,632	64.02%
examples	5,775	2,306	0	3,469	39.93%
testing/src/main/scala	783	0	0	783	0.00%
doc/evalCodeSnippetsInLatex.scala	119	0	0	119	0.00%
tests/src/test/scala/gapt/examples/ChurchNumerals.scala	16	0	0	16	0.00%
Project Totals (670 files)	30,721	17,666	0	13,055	57.50%

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.