Skip to main content

Browse the archive

Revision 6a6fdb21cbe59e84d205d62b7cdc50c9089890a4 authored by Jaeho Shin on 28 March 2016, 18:42:56 UTC, committed by Jaeho Shin on 28 March 2016, 18:42:56 UTC 
Replaces cpp with cpphs which kinda works with most DDlog comment strings
 
except `# error`, etc.
1 parent b679de0
Raw File
.gitmodules 
[submodule "inference/dimmwitted"]
	path = inference/dimmwitted
	url = https://github.com/HazyResearch/sampler.git
[submodule "util/mindbender"]
	path = util/mindbender
	url = https://github.com/netj/mindbender.git
[submodule "compiler/ddlog"]
	path = compiler/ddlog
	url = https://github.com/HazyResearch/ddlog.git
[submodule "test/bats"]
	path = test/bats
	url = https://github.com/sstephenson/bats.git
[submodule "compiler/hocon2json"]
	path = compiler/hocon2json
	url = https://github.com/netj/hocon2json.git
[submodule "extern/buildkit"]
	path = extern/buildkit
	url = https://github.com/netj/buildkit.git
[submodule "runner/mkmimo"]
	path = runner/mkmimo
	url = https://github.com/netj/mkmimo.git
back to top