Differences

This shows you the differences between two versions of the page.

--- start [2022/01/13 17:41]
jbispo
+++ start [2022/11/14 15:39] (current)
jbispo
@@ Line 1: / Line 1: @@
 ====== SPeCS Wiki ======
-Wiki for gathering ideas and information regarding research work of the SPeCS research group.
+Wiki for gathering ideas and documentation regarding research work of the SPeCS research group.
-[[ideas|Ideas Playground]]
+===== Guides =====
+[[doc:latex|Latex]]
+===== Documentation =====
+[[doc:lara|Lara Framework]]
+[[doc:clava|Clava (C/C++ Weaver)]]
+[[doc:kadabra|Kadabra (Java Weaver)]]
+===== Members-Only =====
+[[ideas|Ideas Playground]]
-====== LARA/Clava ======
-  - Language Server para se conseguir usar LARA fora do GUI do Clava
-    * https://github.com/eclipse/lsp4j
-  - Extensão para vscode
-    * Lança um processo do Clava em modo de servidor e sempre que se quer executar algo usa-se esse servidor.
-    * Integração LSP
-    * Syntax highlight
-    * Mouse-over sobre uma função indica o seu protótipo (agora não é possível porque os módulos do Clava estão em Java Resources e não em ficheiros analisáveis pelas ferramentas de desenvolvimento de código)
-    * Muitas destas features tornar-se-ão obsoletas se a [[https://github.com/specs-feup/clava/projects/1|revisão ao Clava para melhor suporte de JS]] se concretizar. Mesmo assim pode oferecer benefícios no que toca a suportar features do Clava que dependem de partes escritas em Java e cujo comportamento não consegue ser visto da parte de JS.
-      * Adicionalmente não se consegue usar Typescript para desenvolver para LARA/Clava exactamente porque o compilador para JS não consegue encontrar muitas partes de código e saber quais os seus tipos.
-  - Expandir as capacidades de criação de extensões pela comunidade para o Clava.
-    * O principal entrave neste momento é que não é possível adiconar configurações adicionais ao Clava.
-    * Lembro-me de desenhar e definir no quadro um formato standard para permitir às pessoas acrescentarem campos de opções ao ficheiro ClavaOptions só para essa feature num ficheiro JSON.
-    * Uma das coisas que pode permitir é exactamente o ponto acima na secção do Tribble sobre LLVM-IR. Passar o comando de compilação, adicionar uma dropdown box com o log-level da extensão.
-    * Dá bastante jeito também para teses porque permite aos estudantes adicionarem features facilmente sem ter de pedir ao João que mude o source-code do Clava para todos até porque as modificações não interessariam a toda a gente.
-  - Gestor de versões do Clava e revamp da maneira de como a ferramenta é actualizada (e revertida) para permitir melhro controlo do código que se está a correr.

SPeCS Research Group

User Tools

Site Tools

Differences

Page Tools