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

2016-04-20	Alexander Fedotov	core mode checking added	commit \| commitdiff \| tree
2016-04-20	Alexander Fedotov	small update	commit \| commitdiff \| tree
2016-04-20	Alexander Fedotov	goal state encoder added	commit \| commitdiff \| tree
2016-04-19	Alexander Fedotov	transition fix	commit \| commitdiff \| tree
2016-04-19	Alexander Fedotov	Merge branch 'master' of https://github.com/dopefishh...	commit \| commitdiff \| tree
2016-04-19	Alexander Fedotov	transitions fix update	commit \| commitdiff \| tree
2016-04-19	Alexander Fedotov	transitions fix	commit \| commitdiff \| tree
2016-04-19	Alexander Fedotov	Merge branch 'master' of https://github.com/dopefishh...	commit \| commitdiff \| tree
2016-04-19	Alexander Fedotov	some checks	commit \| commitdiff \| tree
2016-04-17	Alexander Fedotov	model checker fix	commit \| commitdiff \| tree
2016-04-17	Alexander Fedotov	small update	commit \| commitdiff \| tree
2016-04-16	Alexander Fedotov	that was tough...	commit \| commitdiff \| tree
2016-04-15	Alexander Fedotov	small update	commit \| commitdiff \| tree
2016-04-13	Alexander Fedotov	some more trans var corrections	commit \| commitdiff \| tree
2016-04-13	Alexander Fedotov	some repairs for transition vars	commit \| commitdiff \| tree
2016-04-12	Alexander Fedotov	transitions reworked	commit \| commitdiff \| tree
2016-04-12	Alexander Fedotov	some clean-up	commit \| commitdiff \| tree
2016-04-12	Alexander Fedotov	transitions are finished	commit \| commitdiff \| tree
2016-04-11	Alexander Fedotov	left trans rel is ready	commit \| commitdiff \| tree
2016-04-11	Alexander Fedotov	trans upd	commit \| commitdiff \| tree
2016-04-11	Alexander Fedotov	trans upd	commit \| commitdiff \| tree
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