오보에블로그

# Printf.sprintf "%X" 252;; # 0x 제거 한 16진수 - : string = "FC" # Printf.sprintf "0x%x" 12345;; # 0x 있는채로 16 진수 - : string = "0x3039" # Printf.sprintf "#x%X" 12345;; # #x 있는 채로 16진수 문자열 생성 - : string = "#x3039" # Printf.sprintf "#x%08X" 12345;; # #x 있는 채로 0으로 채워진 8자리에 16진수 문자열 생성 - : string = "#x00003039"

해당 함수와 하는일은 같지만, 간단한 함수를 원할 때 합성을 이용하여 만들어 낼수 있다. 일단 sygus 포맷을 사용한다. ; 참고 링크 : https://github.com/SyGuS-Org/benchmarks/blob/5ccf14c9040ddd749f237dc6d40b79438effedff/lib/General_Track/from_2018/parity-AIG-d1.sl ; how to run : /home/wslee/utils/CVC4/cvc4 --lang=sygus --no-checking --no-interactive --dump-synth --default-dag-thresh=0 basic.sl (set-logic BV) (define-fun watf ( (a (BitVec 64)) (b (Bi..

make ./main.native basic.wat #[실행파일] [파일인자] 다음과 같이 파일을 실행시킬때 터미널로 파일 인자 값을 넘겨 주고 싶다. let main() = let print_code = ref false in let src = ref "" in let spec = [("-pp", Arg.Set print_code, "pretty print the input program")] in let usage = "Usage: run " in let _ = Arg.parse spec (fun x -> if Sys.file_exists x then src := x else raise (Arg.Bad (x ^ ": No files given"))) usage in prerr_endline !src ..

C/C++ 코드를 .wat 파일로 변환하는 방법 1. C/C++ 코드를 바이너리파일(.wasm)으로 변환한다. 2. .wasm 파일을 wat 코드로 변환한다. 1번은 우선 https://medium.com/front-end-weekly/webassembly-part-1-introduction-to-webassembly-8cc3b7a12271을 참고 하였습니다 WebAssembly → Part 1 :Introduction to WebAssembly. WebAssembly satisfies every developers desire 🤩 of writing ✍️ efficient code. medium.com 먼저 xcode 를 업데이트 해줍니다. xcode-select --install 파이썬(2.7 이상)..

https://whitepaek.tistory.com/16 macOS MySQL 설치 및 설정 사용법 macOS에서 MySQL 설치, 삭제, 환경변수 설정 및 사용법! Web 공부를 하다 보면 데이터베이스는 필수로 사용되는 거 같습니다. 저는 Web 개발 공부를 하고 있는데, 데이터베이스로 MySQL을 사용하려고 �� whitepaek.tistory.com 이 참고글 하나면 간단하게 설치 가능.

https://github.com/Z3Prover/z3 Z3Prover/z3 The Z3 Theorem Prover. Contribute to Z3Prover/z3 development by creating an account on GitHub. github.com 을 그대로 git clone 해서 설치 방법을 그대로 따라가면 zarith 에대한 오류가 여러개 발생한다. ocaml 에대해서 num에서 zarith 패키지로 이동하면서 생긴 오류같다. 커밋을 패키지 이동하기 전상태로 돌렸을때의 프로젝트이다. 이것을 풀어서 위에 깃헙에 있는 내용을 그대로 따라하면 쉽게 실행시킬 수 있다. # make example을 한번 한 후에 이후에는 $ ocamlc -custom -o ml_example.byte -I ..

튜토리얼이 대부분 영어로 되어있어서 혹시나 이렇게 쳐봤는데 설치되길래 잊어버릴까봐 쓰는글 https://opam.ocaml.org/packages/ opam - Packages opam.ocaml.org 이 사이트에 가보면 패키지들이름이 나열되어있다. 원하는 패키지를 찾은뒤에 $ opam install [패키지명] 으로 명령어를 치면 된다. 아래는 예제이다.

1. 이미 있는 타입에 새로운 이름 붙이기 string 과 int와 같이 기존에 있는 타입에 새로 이름을 붙여준다. type var = string type var2 = int 1. 새로운 타입 만들기 type days = Mon | Tue | Wed | Thu | Fri | Sat | Sun;; days라는 타입에는 Mon ; Tue ; Wed ; Thu ; Fri ; Sat ; Sun 로 총 7개의 원소들로 구성되어있다. 응용 예시로, 해당 요일의 다음 요일이 무엇인지 알려주는 함수를 구현해보자. let nextday d = match d with | Mon -> Tue | Tue -> Wed | Wed -> Thu | Thu -> Fri | Fri -> Sat | Sat -> Sun | Sun ->..

후기: 맥락은 맞는데 문법이 계속 틀리네..

1. 그룹화if 문에 여러 수식을 쓰고 싶을때 또는 if문에 수식을 쓰고싶지 않을때(?) if 문 에 속해있는 수식인지를 표시해주어야한다.ex ) a 가 89보다 작으면, happy 와 not happy 문장 두개를 출력하고, 그외의 경우에는 not happy 만 출력하고 싶은 경우if a c와 자바와는 다르게 OCaml은 그룹은 ( ) , 즉 소괄호를 통해 묶는다. if a 마지막 문장은 안써줘도 가능 2.함수함수 뒤에는 ;;를 써줘야한다.함수를 호출할때는 안써도 되는것같지만, 정의할때에는 써줘야하는것 같다... let rec star a n = if a