This is stars and forks stats for /GaloisInc/semmc repository. As of 28 Apr, 2024 this repository has 35 stars and 7 forks.
Overview This repository contains implementations of, and tools supporting, the Semantics of Machine Code (SemMC). Beyond machine code semantics, two different approaches to synthesis are implemented. The first is stratified synthesis (based on a 2016 paper [PLDI16]), which learns the semantics of machine code instructions from a manually-specified base set and concrete executions on the hardware of the target architecture. The second is a search-based synthesis of machine code programs from semantics...
Overview This repository contains implementations of, and tools supporting, the Semantics of Machine Code (SemMC). Beyond machine code semantics, two different approaches to synthesis are implemented. The first is stratified synthesis (based on a 2016 paper [PLDI16]), which learns the semantics of machine code instructions from a manually-specified base set and concrete executions on the hardware of the target architecture. The second is a search-based synthesis of machine code programs from semantics...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
input-output-hk/cardano-config | Haskell | 2 | 0 | 1 | 0 |
GoogleCloudPlatform/monitoring-dashboard-samples | TypeScriptPythonHCL | 395 | 0 | 263 | 0 |
vmware-samples/packer-examples-for-vsphere | HCLShellPowerShell | 624 | +5 | 247 | +1 |
ptyadana/SQL-Data-Analysis-and-Visualization-Projects | Jupyter NotebookPython | 901 | 0 | 411 | 0 |
nndl/exercise | Jupyter NotebookPython | 3k | 0 | 1.4k | 0 |
googlecodelabs/android-compose-codelabs | KotlinShell | 1.1k | +9 | 500 | +2 |
leanprover-community/mathlib4 | LeanPythonShell | 350 | +5 | 140 | +1 |
Nusantara-ROM/android_system_sepolicy | PythonCGo | 0 | 0 | 3 | 0 |
Nusantara-ROM/android_device_qcom_sepolicy | ShellMakefile | 0 | 0 | 0 | 0 |
DevOpsRunbook/FastCampus | JavaMustacheHCL | 74 | 0 | 291 | 0 |