Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Versão da Apresentação #82

Merged
merged 178 commits into from
May 5, 2021
Merged

Versão da Apresentação #82

merged 178 commits into from
May 5, 2021

Conversation

mttorres
Copy link
Owner

@mttorres mttorres commented May 5, 2021

TDS Lista de dados
TDS dependencia
TDS dependencia delayed #66
TDS dependencia merger #66
TDS dependencia filter #79
TDS Função lambda simples #72
retorno do modo .valeu #78
Modo interativo

E muitas outras como:

#52
#55
#56
#58
#59
#60
#63
#64
#65
#66
#67
#68
#69
#70
#71
#74
#75
#80

@mttorres
Mapeando progresso dos outputs
def1514
@mttorres
Merge pull request #2 from frame-lab/antes-bug-critico
3c6166c 
Mapeando progresso dos outputs
@mttorres
Criando iterator (mttorres#59)
37c1b06
@mttorres
Criando "merger" de estruturas em lista (mttorres#59)
f872244
@mttorres
Removendo redundâncias da gramática, TDS com definição completa ("inp…
c7d6ec6 
…ut") não deve ter opções extras
@mttorres
Modificando parser e lexer para não considerar '' como tokens
9e6d078
@mttorres
Adicionando primeira estrutura de tds (mttorres#59,mttorres#60)
fbd0421
@mttorres
Adicionando referência a ED's e TDS (mttorres#63)
8d5a1a5
@mttorres
Gerando a base de uma TDS, seu módulo e declaração em ports module. A…
78bb323 
…lém disso adicionando tabela auxiliar para ports (mttorres#56,mttorres#59,mttorres#64)
@mttorres
Mudando esquema de free para TYPE-SET
cee9f8a
@mttorres
Mapeando arquivo para progresso
f276aac
@mttorres
Primeira versão de TDS de lista (mttorres#59,mttorres#64)
0587a25
@mttorres
TDS de lista de dados (seria bom depois documentar as nova funções e …
72f72b3 
…mudanças) (mttorres#59,mttorres#64)
@mttorres
Mapeando input e output
c7b8b63
@mttorres
Iniciando TDS relacional delayed e validaçoes (mttorres#65,mttorres#66)
fb8eb75
@mttorres
Corrigindo validação de commit anterior e mais de TDS-delayed (mttorr…
6d2c635 
…es#65,mttorres#66)
@mttorres
Corrigindo erro em alocação de parâmetros de um módulo
fff800c
@mttorres
adicionado mudança a mais no pré processamento que é relacionada a co…
a56842b 
…rreção anterior (fff800c)
@mttorres
Melhorando alocação e sintetização de objetos mttorres#67 e preparand…
28e09f1 
…o para corrigir/melhorar mttorres#66
@mttorres
Inciando (mttorres#68,mttorres#69) e continuando mttorres#66
d0e95b3
@mttorres
Melhoria do textManager para parâmetros de módulo
3fec749
@mttorres
Adicionando o header do commit anterior
e25ee27
@mttorres
Removendo métodos e type-set e generalizando o uso de hash (mttorres#66)
79d4912
@mttorres
Validações novas mttorres#65
dbff7d2
@mttorres
Melhorias no pós processamento para TDS's relacionais e type-sets (mt…
23bf138 
…torres#66)
@mttorres
Generalizando mttorres#66 e adicionando o header de hash de commits a…
756c6a6 
…nteriores
@mttorres
Melhorando ordem de avaliação e isolando TDS's e vetores das demais e…
3f3a59c 
…xpressões (mttorres#68, mttorres#69)
@mttorres
Mapeando progresso recente e correção de erros
18ed565
@mttorres
Corrigindo problema da gramática ao fazer mttorres#66 (vale ressaltar…
59e4517 
… que o parser não está contando a linha com erro de sintaxe)
@mttorres
Terminando TDS's realacionais sem bugs falta propagar dependências (m…
d23c6ad 
…ttorres#66)
mttorres added 27 commits May 3, 2021 00:05
@mttorres
Pasta para colocar os scripts para apresentacao
3ea77f4
@mttorres
Reorganizacao de diretorios antigos
cd1ec8b
@mttorres
Outro que é antigo
800d4db
@mttorres
Adicionando os exemplos novos na pasta do projeto
0d39838
@mttorres
Movendo teste para nova pasta
a08fbe2
@mttorres
Atualizando exemplo de proposito geral
156d024
@mttorres
Corrigindo filter passado pelo reo2nuXmv
b89ddf6
@mttorres
Corrigindo overrun de buffer (pode ser feito de forma melhor depois)
339542f
@mttorres
Correção mínima de filter (adicionava mais parametros do que devia no…
55b1c7d 
… automato do reo2nuXmv)
@mttorres
Ultimos ajustes: Habilitando mttorres#78 novamente
d83f2b7
@mttorres
Ajuste do commit anterior: removendo terminal e nao terminal inutil
e20e898
@mttorres
Habilitando de novo a parte semântica de mttorres#78
5aaec8d
@mttorres
Habilitando novamente a parte de geração de código de mttorres#78
ea6adb4
@mttorres
Voltando com mttorres#78
8f4b1a0
@mttorres
Colocando uma validação adicional considerando o set do nuXmv
ccbf5da
@mttorres
Corrigindo um pequeno erro para C_TIME = 1
e8bfac1
@mttorres
Atualizando exemplo do filter
0bbf51e
@mttorres
Adicionando o "output esperado" do filter junto da propriedade em CTL
1f289da
@mttorres
Adicionando opção SKIP para o modo interativo
63800dd
@mttorres
Corrigindo duas mensagens de validação
1bb8a94
@mttorres
Ajuste do último commit
e5f56a6
@mttorres
Adicionando exemplo completo do merger-fifo com LTL e CTL
f8108f1
@mttorres
Correção mínima do modo interativo (para quando tem muitas portas)
49aa229
@mttorres
Corrigindo sequenciador gerado pelo reo2nuXmv
18dc79d
@mttorres
Adicionando exemplo do sequenciador com a propriedade de verificação …
3f36e29 
…de perdas de pacotes (CTL)
@mttorres
Corrigindo erro mínimo de visualização do modo interativo (delayed)
b0edc86
@mttorres
Adicionando scripts para apresentação
a5a90a7
@mttorres mttorres closed this May 5, 2021
@mttorres mttorres reopened this May 5, 2021
@mttorres mttorres merged commit eec2152 into mttorres:master May 5, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@mttorres