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