acl2 / acl2/acl2

[VL] Support integers in functions

Aberta
#300 0 comentários 0 reações 0 responsáveis Ver no GitHub
Component: VL
Linguagem predominante
Common Lisp
Estrelas
447
Forks
127
Merge médio
22h 44min
PRs com merge (30d)
18

Descrição

Here's the error message:

```
VL-BAD-FUNCTION-VARDECL (fatal, from vl-fun-vardecllist-types-okp)
In Function foo, variable idx is not a simple register. Other types of
variables are not yet supported.
```

Some sample code to generate the error:

```
function [15:0] foo;
input [3:0] addr;
integer idx;
begin
// need some other stuff to set other values, maybe
foo[idx] = (idx == addr[3:0]);
end
endfunction
```

Guia de contribuição

Nenhum guia de contribuição indexado para este repositório

Avaliação

Esta issue ainda não foi avaliada.

Receba novas issues na sua caixa de entrada

Um resumo curto de issues do GitHub para quem está começando.