repositories
/
mc1516pa.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
mc1516pa.git
2016-04-11
Alexander Fedotov
left trans rel is ready
commit
|
commitdiff
|
tree
|
snapshot
2016-04-11
Alexander Fedotov
trans upd
commit
|
commitdiff
|
tree
|
snapshot
2016-04-11
Alexander Fedotov
trans upd
commit
|
commitdiff
|
tree
|
snapshot
2016-04-11
Alexander Fedotov
again, transitions update
commit
|
commitdiff
|
tree
|
snapshot
2016-04-11
Alexander Fedotov
transitions update
commit
|
commitdiff
|
tree
|
snapshot
2016-04-11
Alexander Fedotov
transitions update
commit
|
commitdiff
|
tree
|
snapshot
2016-04-11
Alexander Fedotov
relations skeleton
commit
|
commitdiff
|
tree
|
snapshot
2016-04-11
Alexander Fedotov
check space helper added
commit
|
commitdiff
|
tree
|
snapshot
2016-04-11
Alexander Fedotov
xy exists helper
commit
|
commitdiff
|
tree
|
snapshot
2016-04-11
Alexander Fedotov
encode_screen updated
commit
|
commitdiff
|
tree
|
snapshot
2016-04-11
Alexander Fedotov
different variable representation
commit
|
commitdiff
|
tree
|
snapshot
2016-04-11
Alexander Fedotov
tiny update
commit
|
commitdiff
|
tree
|
snapshot
2016-04-11
Alexander Fedotov
state encoding as it has to be
commit
|
commitdiff
|
tree
|
snapshot
2016-04-10
Alexander Fedotov
relation structures added
commit
|
commitdiff
|
tree
|
snapshot
2016-04-10
Alexander Fedotov
bimap helper added
commit
|
commitdiff
|
tree
|
snapshot
2016-04-10
Alexander Fedotov
coord tiny update
commit
|
commitdiff
|
tree
|
snapshot
2016-04-09
Alexander Fedotov
Merge branch 'master' of https://github.com/dopefishh...
commit
|
commitdiff
|
tree
|
snapshot
2016-04-09
Alexander Fedotov
helper maps
commit
|
commitdiff
|
tree
|
snapshot
2016-04-08
Mart Lubbers
initial state encoding done, I think
commit
|
commitdiff
|
tree
|
snapshot
2016-04-07
Mart Lubbers
made a stub for object oriented appearch
commit
|
commitdiff
|
tree
|
snapshot
2016-04-07
Alexander Fedotov
tiny update
commit
|
commitdiff
|
tree
|
snapshot
2016-04-07
Alexander Fedotov
small clean-up
commit
|
commitdiff
|
tree
|
snapshot
2016-04-07
Alexander Fedotov
state encoding done (needs checking)
commit
|
commitdiff
|
tree
|
snapshot
2016-04-07
Alexander Fedotov
encoding update (unfinished)
commit
|
commitdiff
|
tree
|
snapshot
2016-04-07
Alexander Fedotov
small update
commit
|
commitdiff
|
tree
|
snapshot
2016-04-07
Alexander Fedotov
started with bdd encoding
commit
|
commitdiff
|
tree
|
snapshot
2016-04-06
Mart Lubbers
fixed makefile, made lace stub, updated headers
commit
|
commitdiff
|
tree
|
snapshot
2016-03-30
Alexander Fedotov
tiny update
commit
|
commitdiff
|
tree
|
snapshot
2016-03-26
Alexander Fedotov
screen shrinking done
commit
|
commitdiff
|
tree
|
snapshot
2016-03-26
Alexander Fedotov
parsing rewritten, using hashes now
commit
|
commitdiff
|
tree
|
snapshot
2016-03-24
Mart Lubbers
nice'
commit
|
commitdiff
|
tree
|
snapshot
2016-03-24
Alexander Fedotov
simple parsing added
commit
|
commitdiff
|
tree
|
snapshot
2016-03-23
Mart Lubbers
improved even more
commit
|
commitdiff
|
tree
|
snapshot
2016-03-23
Mart Lubbers
improved makefile
commit
|
commitdiff
|
tree
|
snapshot
2016-03-23
Mart Lubbers
some
commit
|
commitdiff
|
tree
|
snapshot
2016-03-23
Mart Lubbers
added sylvan
commit
|
commitdiff
|
tree
|
snapshot
2016-03-23
Mart Lubbers
skeleton updated
commit
|
commitdiff
|
tree
|
snapshot
2016-03-23
Mart Lubbers
argparsing working
commit
|
commitdiff
|
tree
|
snapshot
2016-03-23
Mart Lubbers
epic makeflie
commit
|
commitdiff
|
tree
|
snapshot
2016-03-23
Mart Lubbers
make
commit
|
commitdiff
|
tree
|
snapshot
2016-03-23
Mart Lubbers
added skeleton
commit
|
commitdiff
|
tree
|
snapshot
2016-03-23
Mart Lubbers
updated makefile'
commit
|
commitdiff
|
tree
|
snapshot
2016-03-23
Mart Lubbers
makefile
commit
|
commitdiff
|
tree
|
snapshot
2016-03-14
Mart Lubbers
added model
commit
|
commitdiff
|
tree
|
snapshot
2016-03-14
Mart Lubbers
updated some stuff
commit
|
commitdiff
|
tree
|
snapshot
2016-03-14
Mart Lubbers
updated some stuff
commit
|
commitdiff
|
tree
|
snapshot
2016-03-14
Alexander Fedotov
489 coord model
commit
|
commitdiff
|
tree
|
snapshot
2016-03-14
Alexander Fedotov
report update
commit
|
commitdiff
|
tree
|
snapshot
2016-03-14
Alexander Fedotov
coordinate based report added
commit
|
commitdiff
|
tree
|
snapshot
2016-03-13
Mart Lubbers
Merge branch 'master' of github.com:dopefishh/mc1516pa
commit
|
commitdiff
|
tree
|
snapshot
2016-03-13
Mart Lubbers
formal description done'
commit
|
commitdiff
|
tree
|
snapshot
2016-03-13
Mart Lubbers
almost finished my bit
commit
|
commitdiff
|
tree
|
snapshot
2016-03-13
Alexander Fedotov
some cleanup
commit
|
commitdiff
|
tree
|
snapshot
2016-03-13
Alexander Fedotov
started with a python runner script
commit
|
commitdiff
|
tree
|
snapshot
2016-03-13
Mart Lubbers
prep for the report
commit
|
commitdiff
|
tree
|
snapshot
2016-03-13
Mart Lubbers
annotations added in the code
commit
|
commitdiff
|
tree
|
snapshot
2016-03-13
Mart Lubbers
Made module object so the files stay small
commit
|
commitdiff
|
tree
|
snapshot
2016-03-12
Mart Lubbers
added fancy benchmark
commit
|
commitdiff
|
tree
|
snapshot
2016-03-12
Mart Lubbers
works!
commit
|
commitdiff
|
tree
|
snapshot
2016-03-12
Mart Lubbers
works, tested with 2000 and 642
commit
|
commitdiff
|
tree
|
snapshot
2016-03-11
Mart Lubbers
Merge branch 'master' of github.com:dopefishh/mc1516pa
commit
|
commitdiff
|
tree
|
snapshot
2016-03-11
Mart Lubbers
added stub for boxonbox thing
commit
|
commitdiff
|
tree
|
snapshot
2016-03-11
Alexander Fedotov
@.@. fix
commit
|
commitdiff
|
tree
|
snapshot
2016-03-11
Mart Lubbers
almost finished code, strange error
commit
|
commitdiff
|
tree
|
snapshot
2016-03-10
Alexander Fedotov
small clean-up
commit
|
commitdiff
|
tree
|
snapshot
2016-03-10
Alexander Fedotov
Merge branch 'master' of https://github.com/dopefishh...
commit
|
commitdiff
|
tree
|
snapshot
2016-03-10
Alexander Fedotov
coord generator minor fixes
commit
|
commitdiff
|
tree
|
snapshot
2016-03-10
Mart Lubbers
started with some necoding
commit
|
commitdiff
|
tree
|
snapshot
2016-03-10
Alexander Fedotov
coord gen small fix + cleanup
commit
|
commitdiff
|
tree
|
snapshot
2016-03-10
Alexander Fedotov
coord generator update
commit
|
commitdiff
|
tree
|
snapshot
2016-03-09
Alexander Fedotov
initials generation added
commit
|
commitdiff
|
tree
|
snapshot
2016-03-08
Alexander Fedotov
generation with model stub (still prototyping)
commit
|
commitdiff
|
tree
|
snapshot
2016-03-07
Alexander Fedotov
come cleaning
commit
|
commitdiff
|
tree
|
snapshot
2016-03-07
Alexander Fedotov
coord solution (unfinished)
commit
|
commitdiff
|
tree
|
snapshot
2016-03-07
Mart Lubbers
skeleton for object centered approach
commit
|
commitdiff
|
tree
|
snapshot
2016-03-07
Mart Lubbers
updated sokoban parser
commit
|
commitdiff
|
tree
|
snapshot
2016-03-07
Mart Lubbers
sokoban parser done
commit
|
commitdiff
|
tree
|
snapshot
2016-03-07
Mart Lubbers
added agent
commit
|
commitdiff
|
tree
|
snapshot
2016-03-07
Mart Lubbers
interface for sokoban
commit
|
commitdiff
|
tree
|
snapshot
2016-03-05
Mart Lubbers
update gitignore so that zip contents can be in this dir
commit
|
commitdiff
|
tree
|
snapshot
2016-03-05
Mart Lubbers
initial commit, report skeleton
commit
|
commitdiff
|
tree
|
snapshot
2016-03-05
dopefishh
Initial commit
commit
|
commitdiff
|
tree
|
snapshot