Skip to content

Commit

Permalink
go 1.11
Browse files Browse the repository at this point in the history
  • Loading branch information
kuba-- committed Sep 8, 2018
1 parent d7bd61d commit 4eab008
Show file tree
Hide file tree
Showing 3 changed files with 3 additions and 1 deletion.
1 change: 1 addition & 0 deletions .gitignore
Expand Up @@ -10,3 +10,4 @@

# Output of the go coverage tool, specifically when used with LiteIDE
*.out
go.sum
2 changes: 1 addition & 1 deletion .travis.yml
Expand Up @@ -2,7 +2,7 @@ language: go
sudo: false

go:
- "1.10"
- "1.11"

script:
- go vet
Expand Down
1 change: 1 addition & 0 deletions README.md
@@ -1,6 +1,7 @@
[![GoDoc](https://godoc.org/github.com/kuba--/ut?status.svg)](http://godoc.org/github.com/kuba--/ut)
[![Go Report Card](https://goreportcard.com/badge/github.com/kuba--/ut)](https://goreportcard.com/report/github.com/kuba--/ut)
[![Build Status](https://travis-ci.org/kuba--/ut.svg?branch=master)](https://travis-ci.org/kuba--/ut)
[![Version](https://badge.fury.io/gh/kuba--%2Fut.svg)](https://github.com/kuba--/ut/releases)

# ut
Package ut implements "Yet Another Efficient Unification Algorithm" by Alin Suciu (https://arxiv.org/abs/cs/0603080v1).
Expand Down

0 comments on commit 4eab008

Please sign in to comment.