Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

https://github.com/sdasgup3/pldi19-artifactevaluation

formal-semantics instruction-semantics isa-specification program-verification x86-64

Last synced: 11 days ago
JSON representation

Artifact Evaluation, PLDI'19

Host: GitHub
URL: https://github.com/sdasgup3/pldi19-artifactevaluation
Owner: sdasgup3
Created: 2019-02-17T20:43:28.000Z (almost 6 years ago)
Default Branch: master
Last Pushed: 2020-04-18T03:11:57.000Z (over 4 years ago)
Last Synced: 2023-08-14T19:16:40.512Z (over 1 year ago)
Topics: formal-semantics, instruction-semantics, isa-specification, program-verification, x86-64
Homepage:
Size: 656 KB
Stars: 1
Watchers: 3
Forks: 0
Open Issues: 0