New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

테스트. 벤치마크 제작 #3

Open

hongjisung opened this issue Mar 29, 2019 · 1 comment

Assignees

Labels

Benchmark

Owner

hongjisung commented Mar 29, 2019

프로그램을 테스트 해볼 수 있는 벤치마크 제작
현재는 BitVector logic이 우선순위

참고자료
https://github.com/hongjisung/sygus1.0
https://github.com/kupl/SimplPublic/tree/master/benchmarks

hongjisung added the enhancement label

hongjisung assigned chacham and hongjisung

hongjisung added Benchmark and removed enhancement labels

Owner Author

hongjisung commented Apr 2, 2019

bitvec-hard 벤치마크 옮김

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment