tech-srl / pldi-utils Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

hacks and scripts that are useful for chairing PLDI

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
scripts		scripts
README.md		README.md
image_size.sh		image_size.sh
num_pages.sh		num_pages.sh
show_js.sh		show_js.sh

Repository files navigation

pldi-utils

hacks and scripts that are useful for chairing PLDI

These utils require xpdf in the poppler distribution which can be installed via brew install poppler

About

hacks and scripts that are useful for chairing PLDI

Custom properties

Report repository

Releases

No releases published

Packages

No packages published

Contributors 2

Languages