mwhittaker · January 10, 2018 05:01
diff --git a/.gitignore b/.gitignore
 *.html
 .DS_Store

 ################################################################################
 # vim
 ################################################################################
 # Swap
 [._]*.s[a-v][a-z]
 [._]*.sw[a-p]
 [._]s[a-v][a-z]
 [._]sw[a-p]

 # Session
 Session.vim

 # Temporary
 .netrwhist
 *~
 # Auto-generated tag files
 tags
diff --git a/README.md b/README.md
diff --git a/datalog.dedalus b/datalog.dedalus
 link(a, b) :- .
 link(b, c) :- .
 link(c, b) :- .
 link(c, d) :- .

 path(X, Y) :- link(X, Y).
 path(X, Y) :- path(X, Z), link(Z, Y).
diff --git a/datalog.dot b/datalog.dot
 digraph G {
    rankdir="LR";
    "a" -> "b";
    "b" -> "c";
    "c" -> "b";
    "c" -> "d";
 }
diff --git a/datalog.png b/datalog.png
diff --git a/dedalus_plus.dedalus b/dedalus_plus.dedalus
 link(#a, b) :- .
 link(#b, c) :- .
 link(#c, d) :- .
 ignore(#c, d) :- .
 path(X, Y) :- link(X, Y), !ignore(X, Y).
 path(X, Y) :- path(X, Z), path(Z, Y).
diff --git a/dedalus_s.dedalus b/dedalus_s.dedalus
 i_do_edb(#a, bride) :- .
 i_do_edb(#a, groom) :- .
 i_do(X)@async :- i_do_edb(X).
 i_do(X)@next :- i_do(X).
 runaway() :- !i_do(bride), i_do(groom).
 runaway() :- !i_do(groom), i_do(bride).
 runaway()@next :- runaway().
diff --git a/non_async_recursive.dedalus b/non_async_recursive.dedalus
 // A simple stratum.
 a(X) :- b(X).
 b(X) :- a(X).

 // Check if a is quiesced.
 a1(X) :- a(X).
 a2(X)@next :- a1(X).
 a_not_quiesced() :-  a1(X), !a2(X).
 a_not_quiesced() :- !a1(X),  a2(X).
 a_quiesced() :- !a_not_quiesced().

 // Do the same for b.
 // ...

 stratum_done() :- a_quiesced(), b_quiesced().
diff --git a/pdg.png b/pdg.png
diff --git a/rise_retreat_2018_poster.key b/rise_retreat_2018_poster.key
diff --git a/rise_retreat_2018_poster.pdf b/rise_retreat_2018_poster.pdf
diff --git a/space.dedalus b/space.dedalus
diff --git a/time.dedalus b/time.dedalus
diff --git a/to_html.sh b/to_html.sh
diff --git a/two_phase_vote.key b/two_phase_vote.key
diff --git a/two_phase_vote.png b/two_phase_vote.png
	*.html
	.DS_Store

	################################################################################
	# vim
	################################################################################
	# Swap
	[._]*.s[a-v][a-z]
	[._]*.sw[a-p]
	[._]s[a-v][a-z]
	[._]sw[a-p]

	# Session
	Session.vim

	# Temporary
	.netrwhist
	*~
	# Auto-generated tag files
	tags
	link(a, b) :- .
	link(b, c) :- .
	link(c, b) :- .
	link(c, d) :- .

	path(X, Y) :- link(X, Y).
	path(X, Y) :- path(X, Z), link(Z, Y).
	digraph G {
	rankdir="LR";
	"a" -> "b";
	"b" -> "c";
	"c" -> "b";
	"c" -> "d";
	}
	link(#a, b) :- .
	link(#b, c) :- .
	link(#c, d) :- .
	ignore(#c, d) :- .
	path(X, Y) :- link(X, Y), !ignore(X, Y).
	path(X, Y) :- path(X, Z), path(Z, Y).
	i_do_edb(#a, bride) :- .
	i_do_edb(#a, groom) :- .
	i_do(X)@async :- i_do_edb(X).
	i_do(X)@next :- i_do(X).
	runaway() :- !i_do(bride), i_do(groom).
	runaway() :- !i_do(groom), i_do(bride).
	runaway()@next :- runaway().
	// A simple stratum.
	a(X) :- b(X).
	b(X) :- a(X).

	// Check if a is quiesced.
	a1(X) :- a(X).
	a2(X)@next :- a1(X).
	a_not_quiesced() :- a1(X), !a2(X).
	a_not_quiesced() :- !a1(X), a2(X).
	a_quiesced() :- !a_not_quiesced().

	// Do the same for b.
	// ...

	stratum_done() :- a_quiesced(), b_quiesced().