Alexander Fedotov [Thu, 21 Apr 2016 18:35:07 +0000 (20:35 +0200)]
Merge branch 'master' of https://github.com/dopefishh/mc1516pa
Mart Lubbers [Thu, 21 Apr 2016 18:39:06 +0000 (20:39 +0200)]
Update report
Alexander Fedotov [Thu, 21 Apr 2016 18:33:38 +0000 (20:33 +0200)]
the old main is back
Mart Lubbers [Thu, 21 Apr 2016 16:36:59 +0000 (18:36 +0200)]
Merge branch 'master' of github.com:dopefishh/mc1516pa
Mart Lubbers [Thu, 21 Apr 2016 16:36:55 +0000 (18:36 +0200)]
.
Mart Lubbers [Thu, 21 Apr 2016 16:35:25 +0000 (18:35 +0200)]
update
Alexander Fedotov [Thu, 21 Apr 2016 16:18:58 +0000 (18:18 +0200)]
up
Alexander Fedotov [Thu, 21 Apr 2016 15:53:13 +0000 (17:53 +0200)]
update
Alexander Fedotov [Thu, 21 Apr 2016 15:52:38 +0000 (17:52 +0200)]
Merge branch 'master' of https://github.com/dopefishh/mc1516pa
Alexander Fedotov [Thu, 21 Apr 2016 15:52:20 +0000 (17:52 +0200)]
update
Mart Lubbers [Thu, 21 Apr 2016 15:39:16 +0000 (17:39 +0200)]
and back to pdflatex:p
Mart Lubbers [Thu, 21 Apr 2016 15:19:27 +0000 (17:19 +0200)]
decrease table size
Mart Lubbers [Thu, 21 Apr 2016 15:13:04 +0000 (17:13 +0200)]
update
Mart Lubbers [Thu, 21 Apr 2016 14:43:23 +0000 (16:43 +0200)]
Change to vectorized
Mart Lubbers [Thu, 21 Apr 2016 14:42:19 +0000 (16:42 +0200)]
Change to vectorized graphs
Mart Lubbers [Thu, 21 Apr 2016 14:38:23 +0000 (16:38 +0200)]
Merge branch 'master' of github.com:dopefishh/mc1516pa
Mart Lubbers [Thu, 21 Apr 2016 14:38:13 +0000 (16:38 +0200)]
big report update with examples
Alexander Fedotov [Thu, 21 Apr 2016 13:36:00 +0000 (15:36 +0200)]
path extraction
Alexander Fedotov [Thu, 21 Apr 2016 11:41:17 +0000 (13:41 +0200)]
on the way to path extracting
Alexander Fedotov [Thu, 21 Apr 2016 10:10:45 +0000 (12:10 +0200)]
deque structure for paths added
Mart Lubbers [Wed, 20 Apr 2016 18:47:59 +0000 (20:47 +0200)]
added minimum boxamount, check for crappy file
Mart Lubbers [Wed, 20 Apr 2016 18:38:54 +0000 (20:38 +0200)]
fix
Mart Lubbers [Wed, 20 Apr 2016 18:31:39 +0000 (20:31 +0200)]
update
Mart Lubbers [Wed, 20 Apr 2016 18:21:06 +0000 (20:21 +0200)]
tex update
Mart Lubbers [Wed, 20 Apr 2016 18:20:56 +0000 (20:20 +0200)]
Merge remote-tracking branch 'origin/lurd'
Conflicts:
modelchecker/main.c
Alexander Fedotov [Wed, 20 Apr 2016 17:53:11 +0000 (19:53 +0200)]
lurd solver
Mart Lubbers [Wed, 20 Apr 2016 17:31:59 +0000 (19:31 +0200)]
transitions formalized
Mart Lubbers [Wed, 20 Apr 2016 17:08:51 +0000 (19:08 +0200)]
Cleaned up main, removed some options
Alexander Fedotov [Wed, 20 Apr 2016 13:52:54 +0000 (15:52 +0200)]
oops
Alexander Fedotov [Wed, 20 Apr 2016 13:50:32 +0000 (15:50 +0200)]
yet another tiny update
Alexander Fedotov [Wed, 20 Apr 2016 13:43:10 +0000 (15:43 +0200)]
tiny update
Alexander Fedotov [Wed, 20 Apr 2016 13:30:20 +0000 (15:30 +0200)]
core mode checking added
Alexander Fedotov [Wed, 20 Apr 2016 13:21:25 +0000 (15:21 +0200)]
small update
Alexander Fedotov [Wed, 20 Apr 2016 13:15:50 +0000 (15:15 +0200)]
goal state encoder added
Alexander Fedotov [Tue, 19 Apr 2016 22:02:00 +0000 (00:02 +0200)]
transition fix
Alexander Fedotov [Tue, 19 Apr 2016 19:01:30 +0000 (21:01 +0200)]
Merge branch 'master' of https://github.com/dopefishh/mc1516pa
Alexander Fedotov [Tue, 19 Apr 2016 19:01:02 +0000 (21:01 +0200)]
transitions fix update
Mart Lubbers [Tue, 19 Apr 2016 19:00:14 +0000 (21:00 +0200)]
fix comma
Alexander Fedotov [Tue, 19 Apr 2016 18:59:10 +0000 (20:59 +0200)]
transitions fix
Mart Lubbers [Tue, 19 Apr 2016 18:57:38 +0000 (20:57 +0200)]
add safety switch for parsing, fixed agent error
Mart Lubbers [Tue, 19 Apr 2016 18:03:43 +0000 (20:03 +0200)]
Merge branch 'master' of github.com:dopefishh/mc1516pa
Mart Lubbers [Tue, 19 Apr 2016 18:02:35 +0000 (20:02 +0200)]
update test
Alexander Fedotov [Tue, 19 Apr 2016 18:01:45 +0000 (20:01 +0200)]
Merge branch 'master' of https://github.com/dopefishh/mc1516pa
Alexander Fedotov [Tue, 19 Apr 2016 18:01:37 +0000 (20:01 +0200)]
some checks
Mart Lubbers [Tue, 19 Apr 2016 17:59:03 +0000 (19:59 +0200)]
remove old tests
Mart Lubbers [Tue, 19 Apr 2016 17:58:43 +0000 (19:58 +0200)]
fix tests
Mart Lubbers [Tue, 19 Apr 2016 17:32:14 +0000 (19:32 +0200)]
updated tests
Mart Lubbers [Tue, 19 Apr 2016 13:14:04 +0000 (15:14 +0200)]
started with transitions in formal documentg
Mart Lubbers [Tue, 19 Apr 2016 10:05:58 +0000 (12:05 +0200)]
add move variables
Mart Lubbers [Tue, 19 Apr 2016 09:52:53 +0000 (11:52 +0200)]
small report add and test make add
Mart Lubbers [Sun, 17 Apr 2016 17:06:10 +0000 (19:06 +0200)]
added vertical tests
Mart Lubbers [Sun, 17 Apr 2016 17:04:07 +0000 (19:04 +0200)]
added exhaustive tests
Mart Lubbers [Sun, 17 Apr 2016 16:40:43 +0000 (18:40 +0200)]
added two piece tests and test.sh script
Mart Lubbers [Sun, 17 Apr 2016 16:16:23 +0000 (18:16 +0200)]
revert
Mart Lubbers [Sun, 17 Apr 2016 15:50:24 +0000 (17:50 +0200)]
redid two things
Mart Lubbers [Sun, 17 Apr 2016 14:38:30 +0000 (16:38 +0200)]
checked all 1 and 2 cases
Alexander Fedotov [Sun, 17 Apr 2016 08:19:51 +0000 (10:19 +0200)]
model checker fix
Alexander Fedotov [Sun, 17 Apr 2016 07:48:05 +0000 (09:48 +0200)]
small update
Alexander Fedotov [Sat, 16 Apr 2016 22:54:40 +0000 (00:54 +0200)]
that was tough...
Mart Lubbers [Fri, 15 Apr 2016 18:40:09 +0000 (20:40 +0200)]
Started with report
Mart Lubbers [Fri, 15 Apr 2016 15:22:05 +0000 (17:22 +0200)]
small update modelchecken
Alexander Fedotov [Fri, 15 Apr 2016 08:40:16 +0000 (10:40 +0200)]
small update
Alexander Fedotov [Wed, 13 Apr 2016 17:49:41 +0000 (19:49 +0200)]
some more trans var corrections
Alexander Fedotov [Wed, 13 Apr 2016 17:00:10 +0000 (19:00 +0200)]
some repairs for transition vars
Alexander Fedotov [Tue, 12 Apr 2016 21:09:15 +0000 (22:09 +0100)]
transitions reworked
Mart Lubbers [Tue, 12 Apr 2016 18:33:05 +0000 (20:33 +0200)]
started with transitions, I think agent transitions work...
Alexander Fedotov [Tue, 12 Apr 2016 00:16:54 +0000 (01:16 +0100)]
some clean-up
Alexander Fedotov [Tue, 12 Apr 2016 00:07:14 +0000 (01:07 +0100)]
transitions are finished
Alexander Fedotov [Mon, 11 Apr 2016 22:29:07 +0000 (23:29 +0100)]
left trans rel is ready
Alexander Fedotov [Mon, 11 Apr 2016 22:11:35 +0000 (23:11 +0100)]
trans upd
Alexander Fedotov [Mon, 11 Apr 2016 21:42:43 +0000 (22:42 +0100)]
trans upd
Alexander Fedotov [Mon, 11 Apr 2016 21:35:12 +0000 (22:35 +0100)]
again, transitions update
Alexander Fedotov [Mon, 11 Apr 2016 21:19:29 +0000 (22:19 +0100)]
transitions update
Alexander Fedotov [Mon, 11 Apr 2016 20:16:52 +0000 (21:16 +0100)]
transitions update
Alexander Fedotov [Mon, 11 Apr 2016 19:23:08 +0000 (20:23 +0100)]
relations skeleton
Alexander Fedotov [Mon, 11 Apr 2016 12:06:35 +0000 (13:06 +0100)]
check space helper added
Alexander Fedotov [Mon, 11 Apr 2016 11:56:00 +0000 (12:56 +0100)]
xy exists helper
Alexander Fedotov [Mon, 11 Apr 2016 11:41:46 +0000 (12:41 +0100)]
encode_screen updated
Alexander Fedotov [Mon, 11 Apr 2016 11:24:30 +0000 (12:24 +0100)]
different variable representation
Alexander Fedotov [Mon, 11 Apr 2016 11:19:54 +0000 (12:19 +0100)]
tiny update
Alexander Fedotov [Mon, 11 Apr 2016 10:23:05 +0000 (11:23 +0100)]
state encoding as it has to be
Alexander Fedotov [Sun, 10 Apr 2016 09:00:57 +0000 (10:00 +0100)]
relation structures added
Alexander Fedotov [Sun, 10 Apr 2016 08:57:30 +0000 (09:57 +0100)]
bimap helper added
Alexander Fedotov [Sun, 10 Apr 2016 08:38:33 +0000 (09:38 +0100)]
coord tiny update
Alexander Fedotov [Sat, 9 Apr 2016 21:35:41 +0000 (22:35 +0100)]
Merge branch 'master' of https://github.com/dopefishh/mc1516pa
Alexander Fedotov [Sat, 9 Apr 2016 21:35:09 +0000 (22:35 +0100)]
helper maps
Mart Lubbers [Fri, 8 Apr 2016 10:05:16 +0000 (12:05 +0200)]
initial state encoding done, I think
Mart Lubbers [Thu, 7 Apr 2016 20:11:02 +0000 (22:11 +0200)]
made a stub for object oriented appearch
Alexander Fedotov [Thu, 7 Apr 2016 11:51:00 +0000 (12:51 +0100)]
tiny update
Alexander Fedotov [Thu, 7 Apr 2016 11:12:43 +0000 (12:12 +0100)]
small clean-up
Alexander Fedotov [Thu, 7 Apr 2016 11:10:33 +0000 (12:10 +0100)]
state encoding done (needs checking)
Alexander Fedotov [Thu, 7 Apr 2016 10:49:25 +0000 (11:49 +0100)]
encoding update (unfinished)
Alexander Fedotov [Thu, 7 Apr 2016 09:17:13 +0000 (10:17 +0100)]
small update
Alexander Fedotov [Thu, 7 Apr 2016 09:04:47 +0000 (10:04 +0100)]
started with bdd encoding
Mart Lubbers [Wed, 6 Apr 2016 15:00:03 +0000 (17:00 +0200)]
fixed makefile, made lace stub, updated headers
Alexander Fedotov [Wed, 30 Mar 2016 08:13:39 +0000 (10:13 +0200)]
tiny update
Alexander Fedotov [Sat, 26 Mar 2016 12:08:25 +0000 (13:08 +0100)]
screen shrinking done
Alexander Fedotov [Sat, 26 Mar 2016 11:40:59 +0000 (12:40 +0100)]
parsing rewritten, using hashes now
Mart Lubbers [Thu, 24 Mar 2016 18:36:46 +0000 (19:36 +0100)]
nice'
Alexander Fedotov [Thu, 24 Mar 2016 12:20:23 +0000 (13:20 +0100)]
simple parsing added
repositories / mc1516pa.git / log