Fork: 0

nitta-lab / RDLWorkbench

リソース依存論理のワークベンチ（編集+シミュレーション + 検証 + コード生成）

Download ZIP 12 commits

latest commit 10a66802f1 s-machida authored 20 days ago
	.idea	初期バージョン	25 days ago
	RDLApplicationRuntime	SwingAdapter を追加し，Swing で動作するようにした．	24 days ago
	RDLCodeGenerator	ASTをパッケージ直下に移動	21 days ago
	RDLProofSystem	Add RDLProofSystem as submodule	20 days ago
	gradle/ wrapper	初期バージョン	25 days ago
	src/main/java/org/ntlab/ rdlworkbench	RDLCodeGeneratorを作成し、ASTをその中に作りました。	21 days ago
	.gitignore	初期バージョン	25 days ago
	.gitmodules	Add RDLProofSystem as submodule	20 days ago
	README.md	Initial commit	25 days ago
	build.gradle	RDLCodeGeneratorを作成し、ASTをその中に作りました。	21 days ago
	gradlew	初期バージョン	25 days ago
	gradlew.bat	初期バージョン	25 days ago
	settings.gradle	RDLCodeGeneratorを作成し、ASTをその中に作りました。	21 days ago

README.md

RDLWorkbench

リソース依存論理のワークベンチ（編集+シミュレーション + 検証 + コード生成）