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

2016-04-12	Alexander Fedotov	transitions are finished	blob \| commitdiff \| raw
2016-04-11	Alexander Fedotov	state encoding as it has to be	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-08	Mart Lubbers	initial state encoding done, I think	blob \| commitdiff \| raw \| diff to current
2016-04-07	Mart Lubbers	made a stub for object oriented appearch	blob \| commitdiff \| raw \| diff to current
2016-04-07	Alexander Fedotov	started with bdd encoding	blob \| commitdiff \| raw \| diff to current
2016-04-06	Mart Lubbers	fixed makefile, made lace stub, updated headers	blob \| commitdiff \| raw \| diff to current
2016-03-30	Alexander Fedotov	tiny update	blob \| commitdiff \| raw \| diff to current
2016-03-26	Alexander Fedotov	screen shrinking done	blob \| commitdiff \| raw \| diff to current
2016-03-26	Alexander Fedotov	parsing rewritten, using hashes now	blob \| commitdiff \| raw \| diff to current
2016-03-24	Mart Lubbers	nice'	blob \| commitdiff \| raw \| diff to current
2016-03-24	Alexander Fedotov	simple parsing added	blob \| commitdiff \| raw \| diff to current
2016-03-23	Mart Lubbers	improved even more	blob \| commitdiff \| raw \| diff to current
2016-03-23	Mart Lubbers	improved makefile	blob \| commitdiff \| raw \| diff to current
2016-03-23	Mart Lubbers	skeleton updated	blob \| commitdiff \| raw \| diff to current
2016-03-23	Mart Lubbers	argparsing working	blob \| commitdiff \| raw \| diff to current
2016-03-23	Mart Lubbers	added skeleton	blob \| commitdiff \| raw \| diff to current
2016-03-23	Mart Lubbers	makefile	blob \| commitdiff \| raw \| diff to current

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

RSS Atom