Merge pull request #108 from casm-lang/release/0.5.0

Release 0.5.0
sealangdotorg · Apr 5, 2020 · ca47e58 · ca47e58
2 parents 4214c08 + d319338
commit ca47e58
Show file tree

Hide file tree

Showing 20 changed files with 113 additions and 13 deletions.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -27,7 +27,7 @@
 name: release
 
 on:
-  create:
+  push:
     tags:
       - '[0-9]+.[0-9]+.[0-9]+'
 

diff --git a/Makefile b/Makefile
@@ -64,6 +64,10 @@ doxy:
 
 grammar:
 	@for i in `grep "#+html: {{page>.:grammar:" lib/casm-fe/src/various/Grammar.org | sed "s/#+html: {{page>.:grammar:/doc\/language\/grammar\//g" | sed "s/&noheader&nofooter}}/.org/g"`; do if [ ! -f $$i ]; then echo "Documentation of '$$i' is missing!"; fi; done
+	@echo "Grammar Rules"
+	@grep "#+html: {{page>.:grammar:" doc/language/syntax.org | wc -l
+	@echo "Grammar Descriptions"
+	@ls doc/language/grammar/ | wc -l
 
 
 GITHUB_PATH  = $(subst ., $(CONFIG), $(UPDATE_PATH))

diff --git a/app/casmd b/app/casmd
diff --git a/app/casmf b/app/casmf
diff --git a/app/casmi b/app/casmi
diff --git a/doc/language/grammar/AttributedLocalFunctionDefinition.org b/doc/language/grammar/AttributedLocalFunctionDefinition.org
@@ -0,0 +1,5 @@
+#+options: toc:nil
+
+* AttributedLocalFunctionDefinition
+
+An attributed local function definition which can have optionally =Attributes=.
diff --git a/doc/language/grammar/LocalFunctionDefinition.org b/doc/language/grammar/LocalFunctionDefinition.org
@@ -0,0 +1,9 @@
+#+options: toc:nil
+
+* LocalFunctionDefinition
+
+The same as a traditional =FunctionDefinition= without a =function= keyword.
+
+#+html: <callout type="info" icon="true">
+This definition is introduced in version =0.5.0=. 
+#+html: </callout>
diff --git a/doc/language/grammar/LocalFunctionDefinitions.org b/doc/language/grammar/LocalFunctionDefinitions.org
@@ -0,0 +1,5 @@
+#+options: toc:nil
+
+* LocalFunctionDefinitions
+
+LocalFunctionDefinitions consist of one or more attributed =LocalFunctionDefintions=.
diff --git a/doc/language/grammar/LocalRule.org b/doc/language/grammar/LocalRule.org
@@ -0,0 +1,10 @@
+#+options: toc:nil
+
+* LocalRule
+
+The =local= rule defines a function definition in the current rule scope.
+Therefore, it represents a local state inside a given rule.
+
+#+html: <callout type="info" icon="true">
+This definition is introduced in version =0.5.0=. 
+#+html: </callout>
diff --git a/doc/language/grammar/UsingPathDefinition.org b/doc/language/grammar/UsingPathDefinition.org
@@ -0,0 +1,10 @@
+#+options: toc:nil
+
+* UsingPathDefinition
+
+A =using= path definition makes symbols of imported module determined by its =IdentifierPath= visible in the current specification. 
+If the symbol path ends with an star (=*=), then all symbols of the specified module path are made visible in the current specification.
+
+#+html: <callout type="info" icon="true">
+This definition is introduced in version =0.5.0=. 
+#+html: </callout>
diff --git a/doc/release/0.5.0.org b/doc/release/0.5.0.org
@@ -0,0 +1,57 @@
+# 
+#   Copyright (C) 2014-2020 CASM Organization <https://casm-lang.org>
+#   All rights reserved.
+# 
+#   Developed by: Philipp Paulweber
+#                 Emmanuel Pescosta
+#                 <https://github.com/casm-lang/casm>
+# 
+#   This file is part of casm.
+# 
+#   casm is free software: you can redistribute it and/or modify
+#   it under the terms of the GNU General Public License as published by
+#   the Free Software Foundation, either version 3 of the License, or
+#   (at your option) any later version.
+# 
+#   casm is distributed in the hope that it will be useful,
+#   but WITHOUT ANY WARRANTY; without even the implied warranty of
+#   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+#   GNU General Public License for more details.
+# 
+#   You should have received a copy of the GNU General Public License
+#   along with casm. If not, see <http://www.gnu.org/licenses/>.
+# 
+#
+
+#+options: toc:nil
+#+html: {{tag>release}}
+
+*** 0.5.0
+
+#+html: <callout title="Release ''epiktetos''">
+[[https://github.com/casm-lang/casm/releases/tag/0.5.0][{{fa>github?lg}}]] April 5, 2020
+
+The release identifier [[http://www.behindthename.com/name/epiktetos][epiktetos]]
+is derived from the Greek name Επικτητος (Epiktetos) and means "newly acquired".
+#+html: </callout>
+
+#+html: <grid>
+#+html: <col lg="6" md="12">
+#+html: <TEXT align="justify">
+This is the fives official release of the CASM project.
+It introduces two improvements and all are language related.
+The last release introduced a module import concept and we have added a =using= path namespace concept to make symbols visible and shorted their symbol name path.
+Besides the =using= path syntax, we support the =local= rule definition now.
+This rule allows a specifier to defined (nested) local state functions inside given rule scopes.
+
+#+html: </TEXT>
+#+html: </col>
+#+html: <col lg="6" md="12">
+
+| {{fa>file-alt?lg}} | *Language* | We introduced a new language syntax [[./../syntax#UsingPathDefinition][definition element]] to make module symbols visible under shorter name. |
+|                    |            |                                                                                                           |
+| {{fa>file-alt?lg}} | *Language* | Provided support for the [[./../syntax#LocalRule][local rule]] to defined nested local states.                                       |
+|                    |            |                                                                                                           |
+
+#+html: </col>
+#+html: </grid>
diff --git a/lib/asmjit b/lib/asmjit
diff --git a/lib/casm-fe b/lib/casm-fe
diff --git a/lib/casm-ir b/lib/casm-ir
diff --git a/lib/casm-rt b/lib/casm-rt
diff --git a/lib/casm-tc b/lib/casm-tc
diff --git a/lib/pass b/lib/pass
diff --git a/lib/stdhl b/lib/stdhl
diff --git a/lib/tptp b/lib/tptp
diff --git a/lib/z3 b/lib/z3