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
-
-
A similar theory and its decision procedure are described in the paper below. But it is restricted to arrays with integer index.
Stephan Falke, Carsten Sinz, and Florian Merz:
A Theory of Arrays with Set and Copy Operations (Extended... Feature #154542: define and add new theory of constructible arraysThis theory adds to store and select a constructor
const: B -> (Array A B)
where const(v) is an array with constant value v.
The theory's model are limited to those where each array is either constant or the result of finitely... -
const: B -> (Array A B)
where const(v) is an array with constant value v.
The theory's model are limited to those where each array is either constant or the result of finitely... -
-
-
-
-
Also available in: Atom