Fork: 0

nitta-lab / RDLWorkbench

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

Download ZIP 18 commits

latest commit 963aa8eae2 s-machida authored 11 days ago
	.idea	初期バージョン	25 days ago
	RDLApplicationRuntime	SwingAdapter を追加し，Swing で動作するようにした．	24 days ago
	RDLCodeGenerator	ASTをパッケージ直下に移動	21 days ago
	RDLProofSystem	RDLParserを作成しました	13 days ago
	gradle/ wrapper	初期バージョン	25 days ago
	src/main/java/org/ntlab/ rdlworkbench	RDLWorkbench.modelsを修正しました	11 days ago
	.gitignore	初期バージョン	25 days ago
	.gitmodules	RDLProofSystemをRDLWorkbenchに取り込みました	18 days ago
	README.md	Initial commit	25 days ago
	build.gradle	RDLProofSystem を Gradle プロジェクトとして再追加しました．	18 days ago
	gradlew	初期バージョン	25 days ago
	gradlew.bat	初期バージョン	25 days ago
	settings.gradle	RDLProofSystemをRDLWorkbenchに取り込みました	18 days ago

README.md

RDLWorkbench

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