Skip to content

Commit

Permalink
Documentation: updated release notes
Browse files Browse the repository at this point in the history
  • Loading branch information
@ppaulweber
ppaulweber committed Jun 6, 2021
1 parent 8e6162b commit add31eb
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions doc/release/0.6.0.org
View file
Original file line number Diff line number Diff line change
Expand Up @@ -42,6 +42,7 @@ This is the sixth official release of the CASM project.
We are happy to present our new symbolic/concolic execution functionality.
Basis for the CASM symbolic execution is a complete from scratch implemented C++ library called =libtptp= which provides a TPTP parser, code emitter, and evaluation transformation towards Z3.
By annotating CASM functions with the attribute =symbolic= allows the CASM symbolic execution to derive first order formula based TPTP traces of the desired annotated functions.
Furthermore, we support the complete building by (open-)source of the three main applications =casmd=, =casmf=, and =casmi= and the corresponding libraries like =libcasm-fe= or =libcasm-ir=.

#+html: </TEXT>
#+html: </col>
Expand All @@ -55,6 +56,8 @@ By annotating CASM functions with the attribute =symbolic= allows the CASM symbo
| | | |
| {{fa>puzzle-piece?lg}} | *Plug-in* | Integrated a new LSP command in the =monaco= editor extension to invoke CASM concolic executions and render the generated TPTP trace. |
| | | |
| {{fa>microchip?lg}} | *Environment* | Full open-source based compilations of libraries and applications. |
| | | |

#+html: </col>
#+html: </grid>

0 comments on commit add31eb

Please sign in to comment.