toy-wasm-symbexp

toy-wasm-symbexp 이것은 장난감 WASM 심볼릭 인터프리터입니다. 다음 글들을 설명합니다: Part 1 - 소개 Part 2 - 구체적 인터프리터 작성 - 이 단계의 코드 보기 Part 3 - 심볼릭 인터프리터 작성 - 이 단계의 코드 보기 Part 4 - 심볼릭 인터프리터 작성 및 챌린지 풀기! - 이 단계의 코드 보기 사용법 편리한 Makefile이 프로그램이 제대로 동작하는지 테스트할 수 있게 도와줍니다: $ make test $ make part1-custom $ make part1-smt $ make...