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

2016-04-17	Mart Lubbers	revert	blob \| commitdiff \| raw
2016-04-17	Mart Lubbers	redid two things	blob \| commitdiff \| raw \| diff to current
2016-04-17	Mart Lubbers	checked all 1 and 2 cases	blob \| commitdiff \| raw
2016-04-17	Alexander Fedotov	model checker fix	blob \| commitdiff \| raw \| diff to current
2016-04-16	Alexander Fedotov	that was tough...	blob \| commitdiff \| raw \| diff to current
2016-04-15	Alexander Fedotov	small update	blob \| commitdiff \| raw \| diff to current
2016-04-13	Alexander Fedotov	some more trans var corrections	blob \| commitdiff \| raw \| diff to current
2016-04-13	Alexander Fedotov	some repairs for transition vars	blob \| commitdiff \| raw \| diff to current
2016-04-12	Alexander Fedotov	transitions reworked	blob \| commitdiff \| raw \| diff to current
2016-04-12	Alexander Fedotov	some clean-up	blob \| commitdiff \| raw \| diff to current
2016-04-12	Alexander Fedotov	transitions are finished	blob \| commitdiff \| raw \| diff to current
2016-04-11	Alexander Fedotov	left trans rel is ready	blob \| commitdiff \| raw \| diff to current
2016-04-11	Alexander Fedotov	trans upd	blob \| commitdiff \| raw \| diff to current
2016-04-11	Alexander Fedotov	trans upd	blob \| commitdiff \| raw \| diff to current
2016-04-11	Alexander Fedotov	again, transitions update	blob \| commitdiff \| raw \| diff to current
2016-04-11	Alexander Fedotov	transitions update	blob \| commitdiff \| raw \| diff to current
2016-04-11	Alexander Fedotov	transitions update	blob \| commitdiff \| raw \| diff to current
2016-04-11	Alexander Fedotov	relations skeleton	blob \| commitdiff \| raw \| diff to current
2016-04-11	Alexander Fedotov	check space helper added	blob \| commitdiff \| raw \| diff to current
2016-04-11	Alexander Fedotov	xy exists helper	blob \| commitdiff \| raw \| diff to current
2016-04-11	Alexander Fedotov	encode_screen updated	blob \| commitdiff \| raw \| diff to current
2016-04-11	Alexander Fedotov	different variable representation	blob \| commitdiff \| raw \| diff to current
2016-04-11	Alexander Fedotov	tiny update	blob \| commitdiff \| raw \| diff to current
2016-04-11	Alexander Fedotov	state encoding as it has to be	blob \| commitdiff \| raw \| diff to current
2016-04-10	Alexander Fedotov	relation structures added	blob \| commitdiff \| raw \| diff to current
2016-04-10	Alexander Fedotov	bimap helper added	blob \| commitdiff \| raw \| diff to current
2016-04-10	Alexander Fedotov	coord tiny update	blob \| commitdiff \| raw \| diff to current
2016-04-09	Alexander Fedotov	Merge branch 'master' of https://github.com/dopefishh...	blob \| commitdiff \| raw \| diff to current
2016-04-09	Alexander Fedotov	helper maps	blob \| commitdiff \| raw \| diff to current
2016-04-07	Alexander Fedotov	tiny update	blob \| commitdiff \| raw \| diff to current
2016-04-07	Alexander Fedotov	small clean-up	blob \| commitdiff \| raw \| diff to current
2016-04-07	Alexander Fedotov	state encoding done (needs checking)	blob \| commitdiff \| raw \| diff to current
2016-04-07	Alexander Fedotov	encoding update (unfinished)	blob \| commitdiff \| raw \| diff to current
2016-04-07	Alexander Fedotov	small update	blob \| commitdiff \| raw \| diff to current
2016-04-07	Alexander Fedotov	started with bdd encoding	blob \| commitdiff \| raw \| diff to current

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

RSS Atom