Dashboard ⋅ gapt/gapt

Showing per coverage for the

Loading

update remaining TIP smt2 files

master b8bcf65

update TIP format

master c2a2ae0

Merge branch 'tip-smt-parser'

tip-smt-parser 9c4c89e

Merge pull request #734 from gapt/structural_induction

tip-smt-parser 342a4f9

fix extraction of induction axioms from expansion proofs

tip-smt-parser 4b867af

bump benchmarking timeout to 2 minutes

master cde3a69

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.