Dashboard ⋅ gapt/gapt

Showing per coverage for the

Loading

disable superposition and non eq to eq transformation for iProver

develop e88e8a5

Unable to find commit in GitHub

release-2.15 e7d866d

Bump version to 2.16-SNAPSHOT

develop 00c0079

update release notes.

develop fc1dcd3

Unable to find commit in GitHub

master 5109391

Merge pull request #741 from gapt/dls-algorithm-for-formula-equations

master f437cef

View all recent commits

Files		•	•	•	Coverage
cli/src/main/scala	42	0	0	42	0.00%
core/src/main/scala/gapt	24,926	15,743	0	9,183	63.15%
examples	5,717	2,293	0	3,424	40.10%
testing/src/main/scala	587	0	0	587	0.00%
doc/evalCodeSnippetsInLatex.scala	115	0	0	115	0.00%
Project Totals (701 files)	31,387	18,036	0	13,351	57.46%

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.