GitHub - querycert/querycert.github.io

Name	Name	Last commit message	Last commit date
Latest commit jeromesimeon chore(demo): Update to demo code Jun 9, 2022 29cb79a · Jun 9, 2022 History 187 Commits
assets	assets	Make the Q*cert demo look a bit nicer with bootstrap	Sep 23, 2016
bootstrap	bootstrap	Rename dist to bootstrap	Sep 4, 2017
demo	demo	chore(demo): Update to demo code	Jun 9, 2022
figure	figure	chore(code): Update to latest code on branch 3.0	May 18, 2022
html	html	chore(code): Update commented code	Jun 8, 2022
icfp17	icfp17	Rename dist to bootstrap	Sep 4, 2017
jfla17/qcert-doc	jfla17/qcert-doc	Add JFLA doc.	Nov 27, 2016
papers	papers	Add WF pdf	Apr 18, 2018
sigmod17	sigmod17	Final refresh of sigmod coqdoc	Feb 1, 2017
slides	slides	Refresh ICFP slides	Nov 29, 2017
toplas	toplas	Add a version of the generated documentation to accompany our TOPLAS …	Sep 16, 2020
.gitignore	.gitignore	fix(demo): Some fixes and updates to demo	May 19, 2022
demo-openwhisk.html	demo-openwhisk.html	Fix to main page	Oct 9, 2017
demo.html	demo.html	fix(demo): Some fixes and updates to demo	May 19, 2022
doc.html	doc.html	chore(code): Update to latest code on branch 3.0	May 18, 2022
index-sigmod.html	index-sigmod.html	Alternate front page with full demo box	Sep 6, 2017
index.html	index.html	chore(code): Update to latest code on branch 3.0	May 18, 2022
qcert-logo.png	qcert-logo.png	Add logo	Sep 24, 2016
qcertsite.css	qcertsite.css	Update to documentation; Update to CSS	Sep 7, 2017

Provide feedback