Mercurial Mercurial > wneuper > isa / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | bz2 | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 tip
Mon, 07 Oct 2019 13:52:36 +0200tuned
changeset
Walther Neuper <walther.neuper@jku.at> [Mon, 07 Oct 2019 13:52:36 +0200] rev 59650
tuned

Mon, 07 Oct 2019 12:53:08 +0200tuned
changeset
Walther Neuper <walther.neuper@jku.at> [Mon, 07 Oct 2019 12:53:08 +0200] rev 59649
tuned

Mon, 07 Oct 2019 11:11:32 +0200tuned
changeset
Walther Neuper <walther.neuper@jku.at> [Mon, 07 Oct 2019 11:11:32 +0200] rev 59648
tuned

Sat, 05 Oct 2019 16:33:25 +0200tuned
changeset
Walther Neuper <walther.neuper@jku.at> [Sat, 05 Oct 2019 16:33:25 +0200] rev 59647
tuned

Sat, 05 Oct 2019 16:18:33 +0200tuned
changeset
Walther Neuper <walther.neuper@jku.at> [Sat, 05 Oct 2019 16:18:33 +0200] rev 59646
tuned

Sat, 05 Oct 2019 16:15:38 +0200tuned
changeset
Walther Neuper <walther.neuper@jku.at> [Sat, 05 Oct 2019 16:15:38 +0200] rev 59645
tuned

Sat, 05 Oct 2019 16:02:14 +0200tuned
changeset
Walther Neuper <walther.neuper@jku.at> [Sat, 05 Oct 2019 16:02:14 +0200] rev 59644
tuned

Sat, 05 Oct 2019 15:48:41 +0200tuned
changeset
Walther Neuper <walther.neuper@jku.at> [Sat, 05 Oct 2019 15:48:41 +0200] rev 59643
tuned

Sat, 05 Oct 2019 15:46:30 +0200tuned
changeset
Walther Neuper <walther.neuper@jku.at> [Sat, 05 Oct 2019 15:46:30 +0200] rev 59642
tuned

Sat, 05 Oct 2019 14:51:46 +0200lucin: clarify signature for locate_input_tactic, prep.
changeset
Walther Neuper <walther.neuper@jku.at> [Sat, 05 Oct 2019 14:51:46 +0200] rev 59641
lucin: clarify signature for locate_input_tactic, prep.

Test_Some runs with OLD code, augmented with new Assoc, NasApp,
which shall carry ctxt from assy..Rewrite*Inst.. to fun solve.

(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 tip
wneuper/isa