Add RDLProofSystem as submodule

Merge pull request #3 from nitta-lab/createRDLCodeGeneratorPackage ...

> RDLCodeGeneratorを作成し、ASTをその中にコピーしました。

確認したので，マージします．

ASTをパッケージ直下に移動

RDLCodeGeneratorを作成し、ASTをその中に作りました。

Merge pull request #2 from nitta-lab/createSwingAdapter ...

SwingAdapter を追加し，Swing で動作するようにした． Main からテスト実行可能．
メモアプリをMainで実行して確認しました.

SwingAdapter を追加し，Swing で動作するようにした． ...

Main からテスト実行可能．

Merge pull request #1 from nitta-lab/reviseSenderReceiverInterfaces ...

ReviseSenderReceiverInterfaces
確認しました.

astのコンパイルエラーの追加修正．

astのコンパイルエラーの修正．

Simulator と Generated Application における利用方法の差に応じた，Sender側および receiver側のインタフェースの再設計．

初期バージョン

Initial commit