https://git.martlubbers.net - mc1516pa.git/search

2016-04-11	Alexander Fedotov	again, transitions update	commit \| commitdiff \| tree
2016-04-11	Alexander Fedotov	transitions update	commit \| commitdiff \| tree
2016-04-11	Alexander Fedotov	transitions update	commit \| commitdiff \| tree
2016-04-11	Alexander Fedotov	relations skeleton	commit \| commitdiff \| tree
2016-04-11	Alexander Fedotov	check space helper added	commit \| commitdiff \| tree
2016-04-11	Alexander Fedotov	xy exists helper	commit \| commitdiff \| tree
2016-04-11	Alexander Fedotov	encode_screen updated	commit \| commitdiff \| tree
2016-04-11	Alexander Fedotov	different variable representation	commit \| commitdiff \| tree
2016-04-11	Alexander Fedotov	tiny update	commit \| commitdiff \| tree
2016-04-11	Alexander Fedotov	state encoding as it has to be	commit \| commitdiff \| tree
2016-04-10	Alexander Fedotov	relation structures added	commit \| commitdiff \| tree
2016-04-10	Alexander Fedotov	bimap helper added	commit \| commitdiff \| tree
2016-04-10	Alexander Fedotov	coord tiny update	commit \| commitdiff \| tree
2016-04-09	Alexander Fedotov	Merge branch 'master' of https://github.com/dopefishh...	commit \| commitdiff \| tree
2016-04-09	Alexander Fedotov	helper maps	commit \| commitdiff \| tree
2016-04-07	Alexander Fedotov	tiny update	commit \| commitdiff \| tree
2016-04-07	Alexander Fedotov	small clean-up	commit \| commitdiff \| tree
2016-04-07	Alexander Fedotov	state encoding done (needs checking)	commit \| commitdiff \| tree
2016-04-07	Alexander Fedotov	encoding update (unfinished)	commit \| commitdiff \| tree
2016-04-07	Alexander Fedotov	small update	commit \| commitdiff \| tree
2016-04-07	Alexander Fedotov	started with bdd encoding	commit \| commitdiff \| tree

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom