Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
readme [2018/10/29 15:03]
127.0.0.1 external edit
readme [2019/04/02 17:39] (current)
Line 1: Line 1:
 +{{tag>​news feature member publication}}
 ~~Title: Website ~~ ~~Title: Website ~~
 ~~NOTOC~~ ~~NOTOC~~
 +
 +<​slide>​
 +{{:​site:​background.png?​nolink|}}
 +</​slide>​
  
 <​grid>​ <​grid>​
Line 17: Line 22:
 <callout title="​Interpreter Application">​ <callout title="​Interpreter Application">​
 We feature a CASM language interpreter called **casmi**, which performs a AST-based numeric execution and simulates the input specification accordingly to the ASM theory. Check out the current release in the [[download]] section. We feature a CASM language interpreter called **casmi**, which performs a AST-based numeric execution and simulates the input specification accordingly to the ASM theory. Check out the current release in the [[download]] section.
 +</​callout>​
 +<callout title="​Language Server Support">​
 +In our CASM language server daemon application called **casmd**, we implement the Language Server Protocol (LSP) to provide CASM language specific support to editor environments (LSP clients) like **monaco** or **vscode**.
 </​callout>​ </​callout>​
 </​col>​ </​col>​
Line 43: Line 51:
 <col lg="​12"​ md="​12">​ <col lg="​12"​ md="​12">​
 ===== Members ===== ===== Members =====
 +Find out more about our CASM [[members]]:​
 <​grid>​ <​grid>​
-<col xs="6" md="​3">​{{page>​member:​ppaulweber&​noindent&​nofooter&​firstseconly}}</​col>​ +<col xs="12" md="​3">​{{page>​member:​ppaulweber&​noindent&​nofooter&​firstseconly}}</​col>​ 
-<col xs="6" md="​3">​{{page>​member:​epescosta&​noindent&​nofooter&​firstseconly}}</​col>​ +<col xs="12" md="​3">​{{page>​member:​epescosta&​noindent&​nofooter&​firstseconly}}</​col>​ 
-<col xs="6" md="​3">​{{page>​member:​fhahn&​noindent&​nofooter&​firstseconly}}</​col>​ +<col xs="12" md="​3">​{{page>​member:​fhahn&​noindent&​nofooter&​firstseconly}}</​col>​ 
-<col xs="6" md="​3">​{{page>​member:​rlezuo&​noindent&​nofooter&​firstseconly}}</​col>​+<col xs="12" md="​3">​{{page>​member:​rlezuo&​noindent&​nofooter&​firstseconly}}</​col>​
 </​grid>​ </​grid>​
 <​grid>​ <​grid>​
-<col xs="6" md="​3">​{{page>​member:​uzdun&​noindent&​nofooter&​firstseconly}}</​col>​ +<col xs="12" md="​3">​{{page>​member:​uzdun&​noindent&​nofooter&​firstseconly}}</​col>​ 
-<col xs="6" md="​3">​{{page>​member:​akrall&​noindent&​nofooter&​firstseconly}}</​col>​ +<col xs="12" md="​3">​{{page>​member:​gsimhandl&​noindent&​nofooter&​firstseconly}}</​col>​ 
-<col xs="6" md="​3">​{{page>​member:​dinfuehr&​noindent&​nofooter&​firstseconly}}</​col>​ +<col xs="12" md="​3">​{{page>​member:​akrall&​noindent&​nofooter&​firstseconly}}</​col>​ 
-<col xs="6" md="​3">​{{page>​member:​gbarany&​noindent&​nofooter&​firstseconly}}</​col>​+<col xs="12" md="​3">​{{page>​member:​gbarany&​noindent&​nofooter&​firstseconly}}</​col>​
 </​grid>​ </​grid>​
 </​col>​ </​col>​
Line 60: Line 69:
 <col lg="​6"​ md="​12">​ <col lg="​6"​ md="​12">​
 ===== Publications ===== ===== Publications =====
 +Check out the latest CASM [[publications]]:​
 {{tagtopic>​paper&​noindent&​noheader&​nofooter&​firstseconly&​rsort}} {{tagtopic>​paper&​noindent&​noheader&​nofooter&​firstseconly&​rsort}}
 </​col>​ </​col>​
  
 <col lg="​6"​ md="​12">​ <col lg="​6"​ md="​12">​
-===== Talks, Events, and Workshops ​=====+===== Presenations ​===== 
 +Check out the latest CASM conference, workshop, or event [[publications#​Conference_Workshop_or_Event_Presentations|presentations]]:​
 {{tagtopic>​talk&​noindent&​noheader&​nofooter&​firstseconly&​rsort}} {{tagtopic>​talk&​noindent&​noheader&​nofooter&​firstseconly&​rsort}}
 </​col>​ </​col>​
 </​grid>​ </​grid>​