Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
rml [2010/01/29 16:45] vkuncak |
rml [2010/01/29 17:05] vkuncak |
||
---|---|---|---|
Line 21: | Line 21: | ||
Some differences: | Some differences: | ||
* separate operators for + on integers, reals | * separate operators for + on integers, reals | ||
- | * no 'nat' for now, indexing lists gives unknown value | + | * no 'nat' for now, indexing lists gives unknown value for negative |
* a 'finite' predicate, no separate type | * a 'finite' predicate, no separate type | ||
* introduce a type for SMT-LIB 2.0 (same problem for maps) | * introduce a type for SMT-LIB 2.0 (same problem for maps) |