StanfordPL/strata StanfordPL/strata

  • Stars
    star
    65
  • Rank 473,702 (Top 10 %)
  • Language
    Assembly
  • License
    Apache License 2.0
  • Created about 9 years ago
  • Updated over 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
StanfordPL/strata
github

StanfordPL

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Automatic inference of a formal specification of the x86_64 instruction set

More Repositories

1

stoke

STOKE: A stochastic superoptimizer and program synthesizer
C++
731
star
2

x64asm

x86-64 assembler library
C++
465
star
3

stoke-release

331
star
4

cpputil

Miscellaneous utility code for c++ projects.
C++
19
star
5

strata-data

Experimental results of the strata project
Assembly
9
star