Profile

Help

HostedRedmine.com has moved to the Planio platform. All logins and passwords remained the same. All users will be able to login and use Redmine just as before. Read more...

Cesare Tinelli

  • Login: tinelli
  • Company:

    The University of Iowa

  • Registered on: 2012-09-10
  • Last connection: 2014-01-28

Issues

open closed Total
Assigned issues 22 0 22
Reported issues 18 0 18

Projects

Project Roles Registered on
SMT-LIB Manager 2012-09-10
Language Manager 2012-09-10
Theories and Logics Manager 2012-09-10

Activity

2013-05-26

2013-03-24

2013-03-01

Also available in: Atom