Changes between Version 12 and Version 13 of CIVLite

Timestamp:

09/22/23 19:18:44 (3 years ago)

Author:

siegel

Comment:

--

CIVLite

@@ -25 +25 @@
 typedvar: type ID
 paramdecl: 'param' typedvar ('=' constant)? ';'
-vardecl: 'var' typedvar ';'
+vardecl: typedvar ';'
 formallist: typedvar (',' typedvar)*
-function: 'fun' type ID '(' formallist? ')' '{' (typedvar ';')* labelnode* '}'
+function: type ID '(' formallist? ')' '{' (typedvar ';')* labelnode* '}'
 labelnode: (ID ':')? node
 node: transition ('or' transition)* // multiple transitions may depart a node
@@ -59 +59 @@
 Array example:
 {{{
-fun int[][] %zero2d(int %n, int %m) {
+int[][] %zero2d(int %n, int %m) {
   int[][] %a;
   %a = array(int[], %n, array(int, %m, 0));
@@ -68 +68 @@
 Example:
 {{{
-fun void %thread(int %tid) {
+void %thread(int %tid) {
   print "Hello from thread ", %tid, "\n";
 }
-fun void %main() {
+void %main() {
   proc %p1;
   proc %p2;
@@ -87 +87 @@
 int %s1 = 0;
 
-fun void t0() {
+void t0() {
   print "t0 is before the barrier\n";
   %s0 = 1;
@@ -94 +94 @@
 }
 
-fun void t1() {
+void t1() {
   print "t1 is before the barrier\n";
   %s0 -> %s0 = 0;
@@ -101 +101 @@
 }
 
-fun void main() {
+void main() {
   proc %p0;
   proc %p1;