| 2016-04-21 |
Mart Lubbers | added verdict, also in positive case_
|
commit | commitdiff | tree |
| 2016-04-21 |
Mart Lubbers | cleaned up code
|
commit | commitdiff | tree |
| 2016-04-21 |
Mart Lubbers | Update report
|
commit | commitdiff | tree |
| 2016-04-21 |
Mart Lubbers | Merge branch 'master' of github.com:dopefishh/mc1516pa
|
commit | commitdiff | tree |
| 2016-04-21 |
Mart Lubbers | .
|
commit | commitdiff | tree |
| 2016-04-21 |
Mart Lubbers | update
|
commit | commitdiff | tree |
| 2016-04-21 |
Mart Lubbers | and back to pdflatex:p
|
commit | commitdiff | tree |
| 2016-04-21 |
Mart Lubbers | decrease table size
|
commit | commitdiff | tree |
| 2016-04-21 |
Mart Lubbers | update
|
commit | commitdiff | tree |
| 2016-04-21 |
Mart Lubbers | Change to vectorized
|
commit | commitdiff | tree |
| 2016-04-21 |
Mart Lubbers | Change to vectorized graphs
|
commit | commitdiff | tree |
| 2016-04-21 |
Mart Lubbers | Merge branch 'master' of github.com:dopefishh/mc1516pa
|
commit | commitdiff | tree |
| 2016-04-21 |
Mart Lubbers | big report update with examples
|
commit | commitdiff | tree |
| 2016-04-20 |
Mart Lubbers | added minimum boxamount, check for crappy file
|
commit | commitdiff | tree |
| 2016-04-20 |
Mart Lubbers | fix
|
commit | commitdiff | tree |
| 2016-04-20 |
Mart Lubbers | update
|
commit | commitdiff | tree |
| 2016-04-20 |
Mart Lubbers | tex update
|
commit | commitdiff | tree |
| 2016-04-20 |
Mart Lubbers | Merge remote-tracking branch 'origin/lurd'
|
commit | commitdiff | tree |
| 2016-04-20 |
Mart Lubbers | transitions formalized
|
commit | commitdiff | tree |
| 2016-04-20 |
Mart Lubbers | Cleaned up main, removed some options
|
commit | commitdiff | tree |
| 2016-04-19 |
Mart Lubbers | fix comma
|
commit | commitdiff | tree |
| 2016-04-19 |
Mart Lubbers | add safety switch for parsing, fixed agent error
|
commit | commitdiff | tree |
| 2016-04-19 |
Mart Lubbers | Merge branch 'master' of github.com:dopefishh/mc1516pa
|
commit | commitdiff | tree |
| 2016-04-19 |
Mart Lubbers | update test
|
commit | commitdiff | tree |
| 2016-04-19 |
Mart Lubbers | remove old tests
|
commit | commitdiff | tree |
| 2016-04-19 |
Mart Lubbers | fix tests
|
commit | commitdiff | tree |
| 2016-04-19 |
Mart Lubbers | updated tests
|
commit | commitdiff | tree |
| 2016-04-19 |
Mart Lubbers | started with transitions in formal documentg
|
commit | commitdiff | tree |
| 2016-04-19 |
Mart Lubbers | add move variables
|
commit | commitdiff | tree |
| 2016-04-19 |
Mart Lubbers | small report add and test make add
|
commit | commitdiff | tree |
| 2016-04-17 |
Mart Lubbers | added vertical tests
|
commit | commitdiff | tree |
| 2016-04-17 |
Mart Lubbers | added exhaustive tests
|
commit | commitdiff | tree |
| 2016-04-17 |
Mart Lubbers | added two piece tests and test.sh script
|
commit | commitdiff | tree |
| 2016-04-17 |
Mart Lubbers | revert
|
commit | commitdiff | tree |
| 2016-04-17 |
Mart Lubbers | redid two things
|
commit | commitdiff | tree |
| 2016-04-17 |
Mart Lubbers | checked all 1 and 2 cases
|
commit | commitdiff | tree |
| 2016-04-15 |
Mart Lubbers | Started with report
|
commit | commitdiff | tree |
| 2016-04-15 |
Mart Lubbers | small update modelchecken
|
commit | commitdiff | tree |
| 2016-04-12 |
Mart Lubbers | started with transitions, I think agent transitions...
|
commit | commitdiff | tree |
| 2016-04-08 |
Mart Lubbers | initial state encoding done, I think
|
commit | commitdiff | tree |
| 2016-04-07 |
Mart Lubbers | made a stub for object oriented appearch
|
commit | commitdiff | tree |
| 2016-04-06 |
Mart Lubbers | fixed makefile, made lace stub, updated headers
|
commit | commitdiff | tree |
| 2016-03-24 |
Mart Lubbers | nice'
|
commit | commitdiff | tree |
| 2016-03-23 |
Mart Lubbers | improved even more
|
commit | commitdiff | tree |
| 2016-03-23 |
Mart Lubbers | improved makefile
|
commit | commitdiff | tree |
| 2016-03-23 |
Mart Lubbers | some
|
commit | commitdiff | tree |
| 2016-03-23 |
Mart Lubbers | added sylvan
|
commit | commitdiff | tree |
| 2016-03-23 |
Mart Lubbers | skeleton updated
|
commit | commitdiff | tree |
| 2016-03-23 |
Mart Lubbers | argparsing working
|
commit | commitdiff | tree |
| 2016-03-23 |
Mart Lubbers | epic makeflie
|
commit | commitdiff | tree |
| 2016-03-23 |
Mart Lubbers | make
|
commit | commitdiff | tree |
| 2016-03-23 |
Mart Lubbers | added skeleton
|
commit | commitdiff | tree |
| 2016-03-23 |
Mart Lubbers | updated makefile'
|
commit | commitdiff | tree |
| 2016-03-23 |
Mart Lubbers | makefile
|
commit | commitdiff | tree |
| 2016-03-14 |
Mart Lubbers | added model
|
commit | commitdiff | tree |
| 2016-03-14 |
Mart Lubbers | updated some stuff
|
commit | commitdiff | tree |
| 2016-03-14 |
Mart Lubbers | updated some stuff
|
commit | commitdiff | tree |
| 2016-03-13 |
Mart Lubbers | Merge branch 'master' of github.com:dopefishh/mc1516pa
|
commit | commitdiff | tree |
| 2016-03-13 |
Mart Lubbers | formal description done'
|
commit | commitdiff | tree |
| 2016-03-13 |
Mart Lubbers | almost finished my bit
|
commit | commitdiff | tree |
| 2016-03-13 |
Mart Lubbers | prep for the report
|
commit | commitdiff | tree |
| 2016-03-13 |
Mart Lubbers | annotations added in the code
|
commit | commitdiff | tree |
| 2016-03-13 |
Mart Lubbers | Made module object so the files stay small
|
commit | commitdiff | tree |
| 2016-03-12 |
Mart Lubbers | added fancy benchmark
|
commit | commitdiff | tree |
| 2016-03-12 |
Mart Lubbers | works!
|
commit | commitdiff | tree |
| 2016-03-12 |
Mart Lubbers | works, tested with 2000 and 642
|
commit | commitdiff | tree |
| 2016-03-11 |
Mart Lubbers | Merge branch 'master' of github.com:dopefishh/mc1516pa
|
commit | commitdiff | tree |
| 2016-03-11 |
Mart Lubbers | added stub for boxonbox thing
|
commit | commitdiff | tree |
| 2016-03-11 |
Mart Lubbers | almost finished code, strange error
|
commit | commitdiff | tree |
| 2016-03-10 |
Mart Lubbers | started with some necoding
|
commit | commitdiff | tree |
| 2016-03-07 |
Mart Lubbers | skeleton for object centered approach
|
commit | commitdiff | tree |
| 2016-03-07 |
Mart Lubbers | updated sokoban parser
|
commit | commitdiff | tree |
| 2016-03-07 |
Mart Lubbers | sokoban parser done
|
commit | commitdiff | tree |
| 2016-03-07 |
Mart Lubbers | added agent
|
commit | commitdiff | tree |
| 2016-03-07 |
Mart Lubbers | interface for sokoban
|
commit | commitdiff | tree |
| 2016-03-05 |
Mart Lubbers | update gitignore so that zip contents can be in this dir
|
commit | commitdiff | tree |
| 2016-03-05 |
Mart Lubbers | initial commit, report skeleton
|
commit | commitdiff | tree |
|
repositories / mc1516pa.git / search