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