Fork: 0

nitta-lab / RDLWorkbench

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

Download ZIP 16 commits

latest commit eca46ee356 n-nitta authored 18 days ago
	.idea	初期バージョン	25 days ago
	RDLApplicationRuntime	SwingAdapter を追加し，Swing で動作するようにした．	24 days ago
	RDLCodeGenerator	ASTをパッケージ直下に移動	21 days ago
	RDLProofSystem	RDLProofSystemをRDLWorkbenchに取り込みました	18 days ago
	gradle/ wrapper	初期バージョン	25 days ago
	src/main/java/org/ntlab/ rdlworkbench	RDLCodeGeneratorを作成し、ASTをその中に作りました。	21 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

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