Skip to content

Website for CU Programming Languages and Verification (CUPLV)

Notifications You must be signed in to change notification settings

cuplv/cuplv.github.io

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

cuplv.github.io

How to edit this website:

  • Clone the repo: git clone [email protected]:cuplv/cuplv.github.io.git
  • initialize CVX submodule: git submodule init && git submodule update
  • Make changes to pl.xml only -- do not directly edit .html files, as those will be autogenerated from the XML, overwriting your changes. In particular, you probably want to:
    • Add or change your personal information: Edit the people table to add a person entry for yourself or a co-author, make changes to your website URL, headshot, or student type (e.g. Masters, PhD, Alumni). To add or change a headshot, also commit an image to the ./pics directory, editing the path in the corresponding people -> person -> face field of pl.xml.
    • Add a publication: Commit a PDF of the paper to the ./papers directory. Edit the publications table, adding a pub entry with the requisite metadata. If this is the first paper from a given venue, you will also need to add that venue to the events table.
      • If the word-cloud icon is showing a broken link, make sure you have imagemagick installed through your system package manager.
    • Add a news item or talk announcement: Add a news entry to the news-list table, including a short one-line-ish news-snippet and few-sentences-ish news-detail. You can reference other tables (e.g. pub, person, event) with ref tags; see other news items for examples.
  • make the website's html from the updated xml source.
  • open index.html and verify that all of your changes look as expected. (and nothing else looks egregiously broken)
  • git add all changed files: pl.xml, any added assets, and all generated HTML.
  • git commit your changes and git push origin HEAD them up to Github.
  • Your changes will be visible at plv.colorado.edu within a few minutes!

Some more detailed instructions are available on the old PLV website -- log into your @colorado.edu google account to access. Disregard any svn instructions and replace by their git equivalents.

About

Website for CU Programming Languages and Verification (CUPLV)

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published