Skip to content

Commit

Permalink
Release candidate: updated applications, libraries, and various
Browse files Browse the repository at this point in the history
  • Loading branch information
@ppaulweber
ppaulweber committed Jun 4, 2018
1 parent 2371bc6 commit 9e7c9f6
Show file tree
Hide file tree
Showing 25 changed files with 36 additions and 23 deletions.
2 changes: 1 addition & 1 deletion app/casmc
Submodule casmc updated 19 files
+50 −56 .clang-format
+564 −0 .cmake/LibPackage.cmake
+249 −0 .cmake/config.mk
+0 −119 .config.mk
+20 −0 .gitattributes
+8 −8 .gitmodules
+188 −151 CMakeLists.txt
+1 −1 LICENSE.txt
+9 −18 Makefile
+27 −0 etc/CMakeLists.txt
+35 −0 etc/benchmark/CMakeLists.txt
+4 −8 etc/benchmark/main.cpp
+35 −0 etc/test/CMakeLists.txt
+8 −22 etc/test/main.cpp
+15 −4 etc/test/main.h
+92 −0 src/CMakeLists.txt
+1 −0 src/Version.in
+28 −2 src/Version.in.h
+81 −131 src/casmc.cpp
2 changes: 1 addition & 1 deletion app/casmd
Submodule casmd updated 4 files
+1 −0 .clang-format
+20 −0 .gitattributes
+0 −23 src/License.h
+0 −4 src/casmd.cpp
2 changes: 1 addition & 1 deletion app/casmf
Submodule casmf updated 6 files
+1 −0 .clang-format
+20 −0 .gitattributes
+1 −13 Makefile
+1 −1 etc/benchmark/main.cpp
+3 −3 etc/test/main.cpp
+10 −12 src/casmf.cpp
2 changes: 1 addition & 1 deletion app/casmi
Submodule casmi updated 4 files
+1 −0 .clang-format
+20 −0 .gitattributes
+0 −26 src/License.h
+12 −20 src/casmi.cpp
4 changes: 4 additions & 0 deletions doc/main.md
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,9 @@
CASM {#mainpage}
============


TBD

[TOC]

TODO
2 changes: 1 addition & 1 deletion lib/casm-be
Submodule casm-be updated 27 files
+50 −56 .clang-format
+32 −94 .cmake/Findlibcasm-be.cmake
+580 −0 .cmake/LibPackage.cmake
+265 −0 .cmake/config.mk
+23 −0 .gitattributes
+135 −80 CMakeLists.txt
+1 −1 LICENSE.txt
+10 −2 Makefile
+43 −0 etc/CMakeLists.txt
+53 −0 etc/benchmark/CMakeLists.txt
+12 −2 etc/benchmark/main.cpp
+53 −0 etc/test/CMakeLists.txt
+7 −14 etc/test/main.cpp
+5 −5 etc/test/main.h
+151 −0 src/CMakeLists.txt
+3 −3 src/CasmBE.h
+1 −0 src/Version.in
+28 −2 src/Version.in.h
+5 −7 src/libcasm-be.h
+8 −6 src/transform/CasmIRToCjelIRPass.cpp
+10 −5 src/transform/CasmIRToCjelIRPass.h
+4 −5 src/var/Backend.cpp
+1 −1 src/var/Backend.h
+15 −18 src/var/CasmIRToLLCodePass.cpp
+3 −2 src/var/CasmIRToLLCodePass.h
+202 −128 src/var/LLCodeBackend.cpp
+5 −7 src/var/LLCodeBackend.h
2 changes: 1 addition & 1 deletion lib/casm-fe
Submodule casm-fe updated 821 files
2 changes: 1 addition & 1 deletion lib/casm-ir
Submodule casm-ir updated 28 files
+1 −0 .clang-format
+23 −0 .gitattributes
+1 −0 etc/test/CMakeLists.txt
+61 −0 etc/test/property.cpp
+66 −0 etc/test/type/record.cpp
+15 −0 etc/test/value.cpp
+24 −7 src/Annotation.cpp
+153 −6 src/Builtin.cpp
+38 −0 src/Builtin.h
+1 −0 src/CMakeLists.txt
+314 −64 src/Constant.cpp
+102 −35 src/Constant.h
+8 −2 src/Instruction.cpp
+72 −0 src/Property.cpp
+8 −3 src/Property.h
+111 −59 src/Type.cpp
+10 −0 src/Type.h
+12 −0 src/Value.cpp
+3 −0 src/Value.h
+4 −0 src/Visitor.cpp
+4 −0 src/Visitor.h
+4 −0 src/analyze/ConsistencyCheckPass.cpp
+1 −0 src/analyze/ConsistencyCheckPass.h
+0 −2 src/transform/BranchEliminationPass.cpp
+4 −0 src/transform/IRDumpDotPass.cpp
+1 −0 src/transform/IRDumpDotPass.h
+4 −0 src/transform/IRDumpSourcePass.cpp
+1 −0 src/transform/IRDumpSourcePass.h
2 changes: 1 addition & 1 deletion lib/casm-rt
Submodule casm-rt updated 27 files
+1 −0 .clang-format
+23 −0 .gitattributes
+1 −1 etc/benchmark/main.cpp
+4 −0 etc/test/CMakeLists.txt
+3 −4 etc/test/builtin/as/integer/binary.cpp
+80 −0 etc/test/builtin/at/list.cpp
+84 −0 etc/test/builtin/size/enumeration.cpp
+98 −0 etc/test/builtin/size/list.cpp
+100 −0 etc/test/builtin/size/range.cpp
+3 −3 etc/test/main.h
+138 −25 src/Builtin.cpp
+15 −3 src/Builtin.h
+3 −3 src/CasmRT.h
+3 −3 src/Constant.h
+27 −0 src/Instruction.cpp
+3 −3 src/Instruction.h
+3 −3 src/Type.h
+3 −3 src/Update.h
+71 −0 src/Utility.h
+16 −0 src/Value.cpp
+3 −3 src/Value.h
+3 −3 src/libcasm-rt.h
+3 −3 var/c/bool.h
+3 −3 var/c/casm-rt.h
+3 −3 var/c/int.h
+3 −3 var/c/update.h
+3 −3 var/c/updateset.h
2 changes: 1 addition & 1 deletion lib/casm-tc
Submodule casm-tc updated 1146 files
2 changes: 1 addition & 1 deletion lib/cjel-be
Submodule cjel-be updated 30 files
+50 −56 .clang-format
+32 −94 .cmake/Findlibcjel-be.cmake
+580 −0 .cmake/LibPackage.cmake
+265 −0 .cmake/config.mk
+22 −0 .gitattributes
+10 −5 .gitmodules
+132 −72 CMakeLists.txt
+1 −1 LICENSE.txt
+10 −2 Makefile
+43 −0 etc/CMakeLists.txt
+52 −0 etc/benchmark/CMakeLists.txt
+12 −2 etc/benchmark/main.cpp
+52 −0 etc/test/CMakeLists.txt
+8 −8 etc/test/main.cpp
+5 −5 etc/test/main.h
+158 −0 src/CMakeLists.txt
+3 −3 src/CjelBE.h
+1 −0 src/Version.in
+40 −14 src/Version.in.h
+10 −11 src/libcjel-be.h
+18 −14 src/transform/CjelIRToC11Pass.cpp
+11 −8 src/transform/CjelIRToC11Pass.h
+28 −37 src/transform/CjelIRToIEC61131SLPass.cpp
+11 −8 src/transform/CjelIRToIEC61131SLPass.h
+24 −29 src/transform/CjelIRToIEC61499Pass.cpp
+11 −8 src/transform/CjelIRToIEC61499Pass.h
+16 −14 src/transform/CjelIRToLLPass.cpp
+11 −8 src/transform/CjelIRToLLPass.h
+14 −12 src/transform/CjelIRToVHDLPass.cpp
+11 −8 src/transform/CjelIRToVHDLPass.h
2 changes: 1 addition & 1 deletion lib/cjel-ir
Submodule cjel-ir updated 57 files
+50 −56 .clang-format
+73 −0 .cmake/Findlibcjel-ir.cmake
+580 −0 .cmake/LibPackage.cmake
+265 −0 .cmake/config.mk
+22 −0 .gitattributes
+8 −4 .gitmodules
+129 −68 CMakeLists.txt
+1 −1 LICENSE.txt
+10 −2 Makefile
+43 −0 etc/CMakeLists.txt
+51 −0 etc/benchmark/CMakeLists.txt
+56 −0 etc/benchmark/main.cpp
+51 −0 etc/test/CMakeLists.txt
+68 −0 etc/test/main.cpp
+59 −0 etc/test/main.h
+4 −5 src/Block.cpp
+6 −6 src/Block.h
+185 −0 src/CMakeLists.txt
+25 −30 src/CallableUnit.cpp
+7 −9 src/CallableUnit.h
+18 −6 src/CjelIR.h
+30 −28 src/Constant.cpp
+16 −15 src/Constant.h
+4 −4 src/Function.h
+85 −100 src/Instruction.cpp
+73 −36 src/Instruction.h
+7 −3 src/Interconnect.cpp
+4 −4 src/Interconnect.h
+4 −4 src/Intrinsic.h
+3 −1 src/Memory.cpp
+4 −4 src/Memory.h
+12 −8 src/Module.cpp
+6 −4 src/Module.h
+3 −5 src/Reference.cpp
+5 −6 src/Reference.h
+7 −7 src/Scope.cpp
+6 −6 src/Scope.h
+11 −13 src/Statement.cpp
+9 −10 src/Statement.h
+9 −12 src/Structure.cpp
+5 −6 src/Structure.h
+62 −31 src/Type.cpp
+55 −22 src/Type.h
+13 −14 src/User.cpp
+4 −5 src/User.h
+20 −20 src/Value.cpp
+16 −14 src/Value.h
+6 −3 src/Variable.cpp
+9 −9 src/Variable.h
+1 −0 src/Version.in
+72 −0 src/Version.in.h
+28 −21 src/Visitor.cpp
+189 −209 src/Visitor.h
+40 −26 src/analyze/CjelIRDumpPass.cpp
+12 −8 src/analyze/CjelIRDumpPass.h
+22 −22 src/libcjel-ir.h
+3 −3 uts/main.h
2 changes: 1 addition & 1 deletion lib/cjel-rt
Submodule cjel-rt updated 33 files
+50 −56 .clang-format
+32 −94 .cmake/Findlibasmjit.cmake
+73 −0 .cmake/Findlibcjel-rt.cmake
+580 −0 .cmake/LibPackage.cmake
+265 −0 .cmake/config.mk
+22 −0 .gitattributes
+12 −6 .gitmodules
+134 −81 CMakeLists.txt
+1 −1 LICENSE.txt
+10 −2 Makefile
+43 −0 etc/CMakeLists.txt
+53 −0 etc/benchmark/CMakeLists.txt
+2 −4 etc/benchmark/main.cpp
+58 −0 etc/test/CMakeLists.txt
+20 −11 etc/test/instruction/equ.cpp
+226 −0 etc/test/instruction/example.cpp
+22 −13 etc/test/instruction/lnot.cpp
+24 −15 etc/test/instruction/neq.cpp
+30 −34 etc/test/libasmjit.cpp
+8 −8 etc/test/main.cpp
+5 −6 etc/test/main.h
+155 −0 src/CMakeLists.txt
+0 −9 src/CallableUnit.cpp
+4 −4 src/CallableUnit.h
+3 −3 src/CjelRT.h
+9 −10 src/Instruction.cpp
+4 −4 src/Instruction.h
+1 −0 src/Version.in
+72 −0 src/Version.in.h
+6 −5 src/libcjel-rt.h
+274 −297 src/transform/CjelIRToAsmJitPass.cpp
+18 −20 src/transform/CjelIRToAsmJitPass.h
+0 −229 uts/instruction/example.cpp
2 changes: 1 addition & 1 deletion lib/gtest
Submodule gtest updated 168 files
2 changes: 1 addition & 1 deletion lib/hayai
Submodule hayai updated 9 files
+74 −11 .travis.yml
+4 −2 AUTHORS.md
+59 −29 CMakeLists.txt
+2 −2 README.md
+0 −11 script/travis-cmake
+12 −9 src/CMakeLists.txt
+11 −0 src/hayai_benchmarker.hpp
+5 −0 src/hayai_clock.hpp
+2 −2 tests/hayai_test_parameter_descriptor.cpp
2 changes: 1 addition & 1 deletion lib/pass
Submodule pass updated 2 files
+1 −0 .clang-format
+23 −0 .gitattributes
2 changes: 1 addition & 1 deletion lib/stdhl
Submodule stdhl updated from 8bb227 to ef847c
2 changes: 1 addition & 1 deletion lib/tptp
Submodule tptp updated 26 files
+50 −56 .clang-format
+25 −34 .cmake/LibPackage.cmake
+36 −0 .cmake/config.mk
+23 −0 .gitattributes
+8 −0 Makefile
+1 −1 etc/test/main.h
+1 −2 src/Atom.cpp
+1 −1 src/Atom.h
+1 −1 src/Formula.h
+9 −9 src/Logic.cpp
+17 −16 src/Logic.h
+4 −2 src/Node.h
+1 −2 src/Record.cpp
+2 −3 src/Record.h
+12 −12 src/Role.h
+1 −1 src/TPTP.h
+3 −4 src/Term.h
+2 −3 src/Trace.h
+1 −1 src/Version.in.h
+1 −2 src/Visitor.cpp
+2 −3 src/Visitor.h
+4 −2 src/analyze/DumpDebugPass.cpp
+1 −1 src/analyze/DumpDebugPass.h
+1 −1 src/libtptp.h
+4 −2 src/transform/DumpSourcePass.cpp
+1 −1 src/transform/DumpSourcePass.h
2 changes: 1 addition & 1 deletion lib/z3
Submodule z3 updated 864 files
2 changes: 1 addition & 1 deletion var/doc/paulweber2018abz
Submodule paulweber2018abz updated from 128a57 to 762936
2 changes: 1 addition & 1 deletion var/plugin/emacs
Submodule emacs updated 2 files
+0 −1 casm-mode.el
+1 −0 lsp-casm.el
2 changes: 1 addition & 1 deletion var/plugin/monaco
Submodule monaco updated 3 files
+4,161 −0 package-lock.json
+9 −8 package.json
+16 −2 src/casmd.js
2 changes: 1 addition & 1 deletion var/plugin/vscode
Submodule vscode updated 11 files
+2 −0 .gitignore
+2 −1 LICENSE.txt
+1 −0 Makefile
+2 −10 README.org
+31 −0 etc/language-configuration.json
+ − etc/language-icon.png
+10 −0 etc/language-snippets.json
+101 −75 package.json
+33 −106 src/extension.ts
+1 −0 test/index.ts
+1 −8 tsconfig.json
9 changes: 9 additions & 0 deletions var/release/0.1.0.txt
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@

===== 0.1.0 =====
{{tag>release}}

<callout title="Release `auxentios`">
June 4, 2018

https://github.com/casm-lang/casm/releases/tag/0.1.0
</callout>
2 changes: 1 addition & 1 deletion var/web
Submodule web updated 63 files
+1 −0 .doc
+3 −0 .gitignore
+3 −0 download.txt
+3 −0 grammar/readme.txt
+3 −0 grammar/specification.txt
+36 −0 ir/builtins.txt
+22 −0 ir/constants.txt
+16 −0 ir/functions.txt
+173 −0 ir/instructions.txt
+3 −0 ir/syntax.txt
+ − ir/types.png
+137 −0 ir/types.txt
+6 −0 language.txt
+ − member/akrall.png
+25 −0 member/akrall.txt
+ − member/dinfuehr.png
+27 −0 member/dinfuehr.txt
+ − member/epescosta.png
+30 −0 member/epescosta.txt
+ − member/fhahn.png
+33 −0 member/fhahn.txt
+ − member/gbarany.png
+31 −0 member/gbarany.txt
+ − member/ppaulweber.png
+37 −0 member/ppaulweber.txt
+ − member/rlezuo.png
+26 −0 member/rlezuo.txt
+ − member/ship/arm.png
+ − member/ship/enet.png
+ − member/ship/inria.png
+ − member/ship/m42embedded.png
+ − member/ship/theobroma_systems.png
+ − member/ship/tuwien.png
+ − member/ship/univie.png
+ − member/uzdun.png
+27 −0 member/uzdun.txt
+16 −0 play.txt
+68 −0 readme.txt
+35 −0 resource/lezuo2013atps/paper.txt
+24 −0 resource/lezuo2013atps/talk.txt
+40 −0 resource/lezuo2013rapido/paper.txt
+24 −0 resource/lezuo2013rapido/talk.txt
+40 −0 resource/lezuo2014lctes/paper.txt
+25 −0 resource/paulweber2014msc/thesis.txt
+37 −0 resource/paulweber2015epilog/talk.txt
+1 −0 resource/paulweber2016abz/.repo
+1 −0 resource/paulweber2016abz/paper.pdf
+32 −0 resource/paulweber2016abz/paper.txt
+1 −0 resource/paulweber2016abz/talk.pdf
+30 −0 resource/paulweber2016abz/talk.txt
+ − resource/paulweber2017rms/talk.pdf
+24 −0 resource/paulweber2017rms/talk.txt
+1 −0 resource/paulweber2018abz/.repo
+1 −0 resource/paulweber2018abz/paper.pdf
+51 −0 resource/paulweber2018abz/paper.txt
+136 −0 semantics/builtins.txt
+194 −0 semantics/operators.txt
+7 −0 site/footer.txt
+3 −0 site/header.txt
+6 −0 site/navbar.txt
+37 −0 site/notice.txt
+1 −0 syntax.txt
+24 −0 testing/manual_testplan.txt

0 comments on commit 9e7c9f6

Please sign in to comment.