File: AUTHORS

package info (click to toggle)
creduce 2.9~20181016-1
  • links: PTS
  • area: main
  • in suites: buster
  • size: 4,360 kB
  • sloc: cpp: 23,977; ansic: 7,062; sh: 4,918; perl: 2,679; makefile: 472; lex: 441
file content (8 lines) | stat: -rw-r--r-- 212 bytes parent folder | download | duplicates (4)
1
2
3
4
5
6
7
8
-*- mode: Text -*-

C-Reduce was written by Yang Chen, Eric Eide, and John Regehr at the
University of Utah.

  Yang Chen <chenyang@cs.utah.edu>
  Eric Eide <eeide@cs.utah.edu>
  John Regehr <regehr@cs.utah.edu>