<?xml version="1.0" encoding="utf-8"?>
<opml version="1.0">
<head>
  <title>Programming Languages Research Group: Git OPML Export</title>
</head>
<body>
<outline text="git RSS feeds">
<outline type="rss" text="c11llvm.git" title="c11llvm.git" xmlUrl="http://demsky.eecs.uci.edu/git/?p=c11llvm.git;a=rss" htmlUrl="http://demsky.eecs.uci.edu/git/?p=c11llvm.git;a=summary"/>
<outline type="rss" text="jpf-core.git" title="jpf-core.git" xmlUrl="http://demsky.eecs.uci.edu/git/?p=jpf-core.git;a=rss" htmlUrl="http://demsky.eecs.uci.edu/git/?p=jpf-core.git;a=summary"/>
<outline type="rss" text="c11tester.git" title="c11tester.git" xmlUrl="http://demsky.eecs.uci.edu/git/?p=c11tester.git;a=rss" htmlUrl="http://demsky.eecs.uci.edu/git/?p=c11tester.git;a=summary"/>
<outline type="rss" text="libcds.git" title="libcds.git" xmlUrl="http://demsky.eecs.uci.edu/git/?p=libcds.git;a=rss" htmlUrl="http://demsky.eecs.uci.edu/git/?p=libcds.git;a=summary"/>
<outline type="rss" text="model-checker-benchmarks.git" title="model-checker-benchmarks.git" xmlUrl="http://demsky.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=rss" htmlUrl="http://demsky.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=summary"/>
<outline type="rss" text="folly.git" title="folly.git" xmlUrl="http://demsky.eecs.uci.edu/git/?p=folly.git;a=rss" htmlUrl="http://demsky.eecs.uci.edu/git/?p=folly.git;a=summary"/>
<outline type="rss" text="smartapps.git" title="smartapps.git" xmlUrl="http://demsky.eecs.uci.edu/git/?p=smartapps.git;a=rss" htmlUrl="http://demsky.eecs.uci.edu/git/?p=smartapps.git;a=summary"/>
<outline type="rss" text="pingpong.git" title="pingpong.git" xmlUrl="http://demsky.eecs.uci.edu/git/?p=pingpong.git;a=rss" htmlUrl="http://demsky.eecs.uci.edu/git/?p=pingpong.git;a=summary"/>
<outline type="rss" text="FireflyImages.git" title="FireflyImages.git" xmlUrl="http://demsky.eecs.uci.edu/git/?p=FireflyImages.git;a=rss" htmlUrl="http://demsky.eecs.uci.edu/git/?p=FireflyImages.git;a=summary"/>
<outline type="rss" text="satlib.git" title="satlib.git" xmlUrl="http://demsky.eecs.uci.edu/git/?p=satlib.git;a=rss" htmlUrl="http://demsky.eecs.uci.edu/git/?p=satlib.git;a=summary"/>
<outline type="rss" text="FireflyDocs.git" title="FireflyDocs.git" xmlUrl="http://demsky.eecs.uci.edu/git/?p=FireflyDocs.git;a=rss" htmlUrl="http://demsky.eecs.uci.edu/git/?p=FireflyDocs.git;a=summary"/>
<outline type="rss" text="c11concurrency-benchmarks.git" title="c11concurrency-benchmarks.git" xmlUrl="http://demsky.eecs.uci.edu/git/?p=c11concurrency-benchmarks.git;a=rss" htmlUrl="http://demsky.eecs.uci.edu/git/?p=c11concurrency-benchmarks.git;a=summary"/>
<outline type="rss" text="firefly-linux-kernel-4.4.55.git" title="firefly-linux-kernel-4.4.55.git" xmlUrl="http://demsky.eecs.uci.edu/git/?p=firefly-linux-kernel-4.4.55.git;a=rss" htmlUrl="http://demsky.eecs.uci.edu/git/?p=firefly-linux-kernel-4.4.55.git;a=summary"/>
<outline type="rss" text="tsan11-tsan11rec-docker.git" title="tsan11-tsan11rec-docker.git" xmlUrl="http://demsky.eecs.uci.edu/git/?p=tsan11-tsan11rec-docker.git;a=rss" htmlUrl="http://demsky.eecs.uci.edu/git/?p=tsan11-tsan11rec-docker.git;a=summary"/>
<outline type="rss" text="model-checker.git" title="model-checker.git" xmlUrl="http://demsky.eecs.uci.edu/git/?p=model-checker.git;a=rss" htmlUrl="http://demsky.eecs.uci.edu/git/?p=model-checker.git;a=summary"/>
<outline type="rss" text="oota-llvm.git" title="oota-llvm.git" xmlUrl="http://demsky.eecs.uci.edu/git/?p=oota-llvm.git;a=rss" htmlUrl="http://demsky.eecs.uci.edu/git/?p=oota-llvm.git;a=summary"/>
<outline type="rss" text="satcheck.git" title="satcheck.git" xmlUrl="http://demsky.eecs.uci.edu/git/?p=satcheck.git;a=rss" htmlUrl="http://demsky.eecs.uci.edu/git/?p=satcheck.git;a=summary"/>
<outline type="rss" text="satune.git" title="satune.git" xmlUrl="http://demsky.eecs.uci.edu/git/?p=satune.git;a=rss" htmlUrl="http://demsky.eecs.uci.edu/git/?p=satune.git;a=summary"/>
<outline type="rss" text="iotcloud.git" title="iotcloud.git" xmlUrl="http://demsky.eecs.uci.edu/git/?p=iotcloud.git;a=rss" htmlUrl="http://demsky.eecs.uci.edu/git/?p=iotcloud.git;a=summary"/>
<outline type="rss" text="junction.git" title="junction.git" xmlUrl="http://demsky.eecs.uci.edu/git/?p=junction.git;a=rss" htmlUrl="http://demsky.eecs.uci.edu/git/?p=junction.git;a=summary"/>
<outline type="rss" text="repair.git" title="repair.git" xmlUrl="http://demsky.eecs.uci.edu/git/?p=repair.git;a=rss" htmlUrl="http://demsky.eecs.uci.edu/git/?p=repair.git;a=summary"/>
<outline type="rss" text="cdsspec-compiler.git" title="cdsspec-compiler.git" xmlUrl="http://demsky.eecs.uci.edu/git/?p=cdsspec-compiler.git;a=rss" htmlUrl="http://demsky.eecs.uci.edu/git/?p=cdsspec-compiler.git;a=summary"/>
<outline type="rss" text="IRC.git" title="IRC.git" xmlUrl="http://demsky.eecs.uci.edu/git/?p=IRC.git;a=rss" htmlUrl="http://demsky.eecs.uci.edu/git/?p=IRC.git;a=summary"/>
<outline type="rss" text="smartthings-infrastructure.git" title="smartthings-infrastructure.git" xmlUrl="http://demsky.eecs.uci.edu/git/?p=smartthings-infrastructure.git;a=rss" htmlUrl="http://demsky.eecs.uci.edu/git/?p=smartthings-infrastructure.git;a=summary"/>
<outline type="rss" text="iot2.git" title="iot2.git" xmlUrl="http://demsky.eecs.uci.edu/git/?p=iot2.git;a=rss" htmlUrl="http://demsky.eecs.uci.edu/git/?p=iot2.git;a=summary"/>
<outline type="rss" text="Benchmarks_CSolver.git" title="Benchmarks_CSolver.git" xmlUrl="http://demsky.eecs.uci.edu/git/?p=Benchmarks_CSolver.git;a=rss" htmlUrl="http://demsky.eecs.uci.edu/git/?p=Benchmarks_CSolver.git;a=summary"/>
</outline>
</body>
</opml>
