GitHub - vigor-nf/vigor-nf.github.io: Vigor website

Name	Name	Last commit message	Last commit date
Latest commit necto Merge pull request #3 from vigor-nf/dependabot/bundler/nokogiri-1.11.1 Mar 2, 2021 2817a5c · Mar 2, 2021 History 25 Commits
_layouts	_layouts	Center the nav-bar buttons	Nov 11, 2019
css	css	A gallery of project page examples	Nov 12, 2019
images	images	Add performance charts	Nov 12, 2019
slides	slides	Update slides to the version of the talk, given at SOSP’19	Oct 30, 2019
.gitignore	.gitignore	ignore and lock	Aug 16, 2019
Gemfile	Gemfile	Remove dslab and nal logos	Aug 16, 2019
Gemfile.lock	Gemfile.lock	Bump nokogiri from 1.10.10 to 1.11.1	Mar 2, 2021
_config.yml	_config.yml	First pass	Aug 16, 2019
design-options.html	design-options.html	A gallery of project page examples	Nov 12, 2019
favicon.ico	favicon.ico	First pass	Aug 16, 2019
formally-verified-nat-stack.pdf	formally-verified-nat-stack.pdf	Update the title, add structure the presentation, add publications.	Nov 11, 2019
index.md	index.md	More details on the performance experiments.	Nov 12, 2019
slides.pdf	slides.pdf	Add slides	Nov 11, 2019
vignat-paper.pdf	vignat-paper.pdf	First pass	Aug 16, 2019
vigor-paper.pdf	vigor-paper.pdf	Refresh the paper to match the latest CR version	Sep 4, 2019
vigor-poster.pdf	vigor-poster.pdf	Added poster	Aug 16, 2019

Provide feedback