Compare commits

merge into: charles:codecs

Branches Tags

charles:codecs

charles:interpreter

charles:streams

charles:quickcheck

charles:forcomp

charles:patmat

charles:objsets

charles:funsets

charles:recfun

charles:example

charles:master

charles:submission-interpreter

charles:submission-codecs

charles:submission-streams

charles:submission-quickcheck

charles:submission-forcomp

charles:submission-patmat

charles:submission-objsets

charles:submission-funsets

charles:submission-recfun

...

pull from: charles:codecs

Branches Tags

charles:interpreter

charles:codecs

charles:streams

charles:quickcheck

charles:forcomp

charles:patmat

charles:objsets

charles:funsets

charles:recfun

charles:example

charles:master

charles:submission-interpreter

charles:submission-codecs

charles:submission-streams

charles:submission-quickcheck

charles:submission-forcomp

charles:submission-patmat

charles:submission-objsets

charles:submission-funsets

charles:submission-recfun

These branches are equal. There is no need to create a pull request.