mc1516pa.git
8 years agoand back to pdflatex:p
Mart Lubbers [Thu, 21 Apr 2016 15:39:16 +0000 (17:39 +0200)]
and back to pdflatex:p

8 years agodecrease table size
Mart Lubbers [Thu, 21 Apr 2016 15:19:27 +0000 (17:19 +0200)]
decrease table size

8 years agoupdate
Mart Lubbers [Thu, 21 Apr 2016 15:13:04 +0000 (17:13 +0200)]
update

8 years agoChange to vectorized
Mart Lubbers [Thu, 21 Apr 2016 14:43:23 +0000 (16:43 +0200)]
Change to vectorized

8 years agoChange to vectorized graphs
Mart Lubbers [Thu, 21 Apr 2016 14:42:19 +0000 (16:42 +0200)]
Change to vectorized graphs

8 years agoMerge branch 'master' of github.com:dopefishh/mc1516pa
Mart Lubbers [Thu, 21 Apr 2016 14:38:23 +0000 (16:38 +0200)]
Merge branch 'master' of github.com:dopefishh/mc1516pa

8 years agobig report update with examples
Mart Lubbers [Thu, 21 Apr 2016 14:38:13 +0000 (16:38 +0200)]
big report update with examples

8 years agopath extraction
Alexander Fedotov [Thu, 21 Apr 2016 13:36:00 +0000 (15:36 +0200)]
path extraction

8 years agoon the way to path extracting
Alexander Fedotov [Thu, 21 Apr 2016 11:41:17 +0000 (13:41 +0200)]
on the way to path extracting

8 years agodeque structure for paths added
Alexander Fedotov [Thu, 21 Apr 2016 10:10:45 +0000 (12:10 +0200)]
deque structure for paths added

8 years agoadded minimum boxamount, check for crappy file
Mart Lubbers [Wed, 20 Apr 2016 18:47:59 +0000 (20:47 +0200)]
added minimum boxamount, check for crappy file

8 years agofix
Mart Lubbers [Wed, 20 Apr 2016 18:38:54 +0000 (20:38 +0200)]
fix

8 years agoupdate
Mart Lubbers [Wed, 20 Apr 2016 18:31:39 +0000 (20:31 +0200)]
update

8 years agotex update
Mart Lubbers [Wed, 20 Apr 2016 18:21:06 +0000 (20:21 +0200)]
tex update

8 years agoMerge remote-tracking branch 'origin/lurd'
Mart Lubbers [Wed, 20 Apr 2016 18:20:56 +0000 (20:20 +0200)]
Merge remote-tracking branch 'origin/lurd'

Conflicts:
modelchecker/main.c

8 years agolurd solver
Alexander Fedotov [Wed, 20 Apr 2016 17:53:11 +0000 (19:53 +0200)]
lurd solver

8 years agotransitions formalized
Mart Lubbers [Wed, 20 Apr 2016 17:31:59 +0000 (19:31 +0200)]
transitions formalized

8 years agoCleaned up main, removed some options
Mart Lubbers [Wed, 20 Apr 2016 17:08:51 +0000 (19:08 +0200)]
Cleaned up main, removed some options

8 years agooops
Alexander Fedotov [Wed, 20 Apr 2016 13:52:54 +0000 (15:52 +0200)]
oops

8 years agoyet another tiny update
Alexander Fedotov [Wed, 20 Apr 2016 13:50:32 +0000 (15:50 +0200)]
yet another tiny update

8 years agotiny update
Alexander Fedotov [Wed, 20 Apr 2016 13:43:10 +0000 (15:43 +0200)]
tiny update

8 years agocore mode checking added
Alexander Fedotov [Wed, 20 Apr 2016 13:30:20 +0000 (15:30 +0200)]
core mode checking added

8 years agosmall update
Alexander Fedotov [Wed, 20 Apr 2016 13:21:25 +0000 (15:21 +0200)]
small update

8 years agogoal state encoder added
Alexander Fedotov [Wed, 20 Apr 2016 13:15:50 +0000 (15:15 +0200)]
goal state encoder added

8 years agotransition fix
Alexander Fedotov [Tue, 19 Apr 2016 22:02:00 +0000 (00:02 +0200)]
transition fix

8 years agoMerge branch 'master' of https://github.com/dopefishh/mc1516pa
Alexander Fedotov [Tue, 19 Apr 2016 19:01:30 +0000 (21:01 +0200)]
Merge branch 'master' of https://github.com/dopefishh/mc1516pa

8 years agotransitions fix update
Alexander Fedotov [Tue, 19 Apr 2016 19:01:02 +0000 (21:01 +0200)]
transitions fix update

8 years agofix comma
Mart Lubbers [Tue, 19 Apr 2016 19:00:14 +0000 (21:00 +0200)]
fix comma

8 years agotransitions fix
Alexander Fedotov [Tue, 19 Apr 2016 18:59:10 +0000 (20:59 +0200)]
transitions fix

8 years agoadd safety switch for parsing, fixed agent error
Mart Lubbers [Tue, 19 Apr 2016 18:57:38 +0000 (20:57 +0200)]
add safety switch for parsing, fixed agent error

8 years agoMerge branch 'master' of github.com:dopefishh/mc1516pa
Mart Lubbers [Tue, 19 Apr 2016 18:03:43 +0000 (20:03 +0200)]
Merge branch 'master' of github.com:dopefishh/mc1516pa

8 years agoupdate test
Mart Lubbers [Tue, 19 Apr 2016 18:02:35 +0000 (20:02 +0200)]
update test

8 years agoMerge branch 'master' of https://github.com/dopefishh/mc1516pa
Alexander Fedotov [Tue, 19 Apr 2016 18:01:45 +0000 (20:01 +0200)]
Merge branch 'master' of https://github.com/dopefishh/mc1516pa

8 years agosome checks
Alexander Fedotov [Tue, 19 Apr 2016 18:01:37 +0000 (20:01 +0200)]
some checks

8 years agoremove old tests
Mart Lubbers [Tue, 19 Apr 2016 17:59:03 +0000 (19:59 +0200)]
remove old tests

8 years agofix tests
Mart Lubbers [Tue, 19 Apr 2016 17:58:43 +0000 (19:58 +0200)]
fix tests

8 years agoupdated tests
Mart Lubbers [Tue, 19 Apr 2016 17:32:14 +0000 (19:32 +0200)]
updated tests

8 years agostarted with transitions in formal documentg
Mart Lubbers [Tue, 19 Apr 2016 13:14:04 +0000 (15:14 +0200)]
started with transitions in formal documentg

8 years agoadd move variables
Mart Lubbers [Tue, 19 Apr 2016 10:05:58 +0000 (12:05 +0200)]
add move variables

8 years agosmall report add and test make add
Mart Lubbers [Tue, 19 Apr 2016 09:52:53 +0000 (11:52 +0200)]
small report add and test make add

8 years agoadded vertical tests
Mart Lubbers [Sun, 17 Apr 2016 17:06:10 +0000 (19:06 +0200)]
added vertical tests

8 years agoadded exhaustive tests
Mart Lubbers [Sun, 17 Apr 2016 17:04:07 +0000 (19:04 +0200)]
added exhaustive tests

8 years agoadded two piece tests and test.sh script
Mart Lubbers [Sun, 17 Apr 2016 16:40:43 +0000 (18:40 +0200)]
added two piece tests and test.sh script

8 years agorevert
Mart Lubbers [Sun, 17 Apr 2016 16:16:23 +0000 (18:16 +0200)]
revert

8 years agoredid two things
Mart Lubbers [Sun, 17 Apr 2016 15:50:24 +0000 (17:50 +0200)]
redid two things

8 years agochecked all 1 and 2 cases
Mart Lubbers [Sun, 17 Apr 2016 14:38:30 +0000 (16:38 +0200)]
checked all 1 and 2 cases

8 years agomodel checker fix
Alexander Fedotov [Sun, 17 Apr 2016 08:19:51 +0000 (10:19 +0200)]
model checker fix

8 years agosmall update
Alexander Fedotov [Sun, 17 Apr 2016 07:48:05 +0000 (09:48 +0200)]
small update

8 years agothat was tough...
Alexander Fedotov [Sat, 16 Apr 2016 22:54:40 +0000 (00:54 +0200)]
that was tough...

8 years agoStarted with report
Mart Lubbers [Fri, 15 Apr 2016 18:40:09 +0000 (20:40 +0200)]
Started with report

8 years agosmall update modelchecken
Mart Lubbers [Fri, 15 Apr 2016 15:22:05 +0000 (17:22 +0200)]
small update modelchecken

8 years agosmall update
Alexander Fedotov [Fri, 15 Apr 2016 08:40:16 +0000 (10:40 +0200)]
small update

8 years agosome more trans var corrections
Alexander Fedotov [Wed, 13 Apr 2016 17:49:41 +0000 (19:49 +0200)]
some more trans var corrections

8 years agosome repairs for transition vars
Alexander Fedotov [Wed, 13 Apr 2016 17:00:10 +0000 (19:00 +0200)]
some repairs for transition vars

8 years agotransitions reworked
Alexander Fedotov [Tue, 12 Apr 2016 21:09:15 +0000 (22:09 +0100)]
transitions reworked

8 years agostarted with transitions, I think agent transitions work...
Mart Lubbers [Tue, 12 Apr 2016 18:33:05 +0000 (20:33 +0200)]
started with transitions, I think agent transitions work...

8 years agosome clean-up
Alexander Fedotov [Tue, 12 Apr 2016 00:16:54 +0000 (01:16 +0100)]
some clean-up

8 years agotransitions are finished
Alexander Fedotov [Tue, 12 Apr 2016 00:07:14 +0000 (01:07 +0100)]
transitions are finished

8 years agoleft trans rel is ready
Alexander Fedotov [Mon, 11 Apr 2016 22:29:07 +0000 (23:29 +0100)]
left trans rel is ready

8 years agotrans upd
Alexander Fedotov [Mon, 11 Apr 2016 22:11:35 +0000 (23:11 +0100)]
trans upd

8 years agotrans upd
Alexander Fedotov [Mon, 11 Apr 2016 21:42:43 +0000 (22:42 +0100)]
trans upd

8 years agoagain, transitions update
Alexander Fedotov [Mon, 11 Apr 2016 21:35:12 +0000 (22:35 +0100)]
again, transitions update

8 years agotransitions update
Alexander Fedotov [Mon, 11 Apr 2016 21:19:29 +0000 (22:19 +0100)]
transitions update

8 years agotransitions update
Alexander Fedotov [Mon, 11 Apr 2016 20:16:52 +0000 (21:16 +0100)]
transitions update

8 years agorelations skeleton
Alexander Fedotov [Mon, 11 Apr 2016 19:23:08 +0000 (20:23 +0100)]
relations skeleton

8 years agocheck space helper added
Alexander Fedotov [Mon, 11 Apr 2016 12:06:35 +0000 (13:06 +0100)]
check space helper added

8 years agoxy exists helper
Alexander Fedotov [Mon, 11 Apr 2016 11:56:00 +0000 (12:56 +0100)]
xy exists helper

8 years agoencode_screen updated
Alexander Fedotov [Mon, 11 Apr 2016 11:41:46 +0000 (12:41 +0100)]
encode_screen updated

8 years agodifferent variable representation
Alexander Fedotov [Mon, 11 Apr 2016 11:24:30 +0000 (12:24 +0100)]
different variable representation

8 years agotiny update
Alexander Fedotov [Mon, 11 Apr 2016 11:19:54 +0000 (12:19 +0100)]
tiny update

8 years agostate encoding as it has to be
Alexander Fedotov [Mon, 11 Apr 2016 10:23:05 +0000 (11:23 +0100)]
state encoding as it has to be

8 years agorelation structures added
Alexander Fedotov [Sun, 10 Apr 2016 09:00:57 +0000 (10:00 +0100)]
relation structures added

8 years agobimap helper added
Alexander Fedotov [Sun, 10 Apr 2016 08:57:30 +0000 (09:57 +0100)]
bimap helper added

8 years agocoord tiny update
Alexander Fedotov [Sun, 10 Apr 2016 08:38:33 +0000 (09:38 +0100)]
coord tiny update

8 years agoMerge branch 'master' of https://github.com/dopefishh/mc1516pa
Alexander Fedotov [Sat, 9 Apr 2016 21:35:41 +0000 (22:35 +0100)]
Merge branch 'master' of https://github.com/dopefishh/mc1516pa

8 years agohelper maps
Alexander Fedotov [Sat, 9 Apr 2016 21:35:09 +0000 (22:35 +0100)]
helper maps

8 years agoinitial state encoding done, I think
Mart Lubbers [Fri, 8 Apr 2016 10:05:16 +0000 (12:05 +0200)]
initial state encoding done, I think

8 years agomade a stub for object oriented appearch
Mart Lubbers [Thu, 7 Apr 2016 20:11:02 +0000 (22:11 +0200)]
made a stub for object oriented appearch

8 years agotiny update
Alexander Fedotov [Thu, 7 Apr 2016 11:51:00 +0000 (12:51 +0100)]
tiny update

8 years agosmall clean-up
Alexander Fedotov [Thu, 7 Apr 2016 11:12:43 +0000 (12:12 +0100)]
small clean-up

8 years agostate encoding done (needs checking)
Alexander Fedotov [Thu, 7 Apr 2016 11:10:33 +0000 (12:10 +0100)]
state encoding done (needs checking)

8 years agoencoding update (unfinished)
Alexander Fedotov [Thu, 7 Apr 2016 10:49:25 +0000 (11:49 +0100)]
encoding update (unfinished)

8 years agosmall update
Alexander Fedotov [Thu, 7 Apr 2016 09:17:13 +0000 (10:17 +0100)]
small update

8 years agostarted with bdd encoding
Alexander Fedotov [Thu, 7 Apr 2016 09:04:47 +0000 (10:04 +0100)]
started with bdd encoding

8 years agofixed makefile, made lace stub, updated headers
Mart Lubbers [Wed, 6 Apr 2016 15:00:03 +0000 (17:00 +0200)]
fixed makefile, made lace stub, updated headers

8 years agotiny update
Alexander Fedotov [Wed, 30 Mar 2016 08:13:39 +0000 (10:13 +0200)]
tiny update

8 years agoscreen shrinking done
Alexander Fedotov [Sat, 26 Mar 2016 12:08:25 +0000 (13:08 +0100)]
screen shrinking done

8 years agoparsing rewritten, using hashes now
Alexander Fedotov [Sat, 26 Mar 2016 11:40:59 +0000 (12:40 +0100)]
parsing rewritten, using hashes now

8 years agonice'
Mart Lubbers [Thu, 24 Mar 2016 18:36:46 +0000 (19:36 +0100)]
nice'

8 years agosimple parsing added
Alexander Fedotov [Thu, 24 Mar 2016 12:20:23 +0000 (13:20 +0100)]
simple parsing added

8 years agoimproved even more
Mart Lubbers [Wed, 23 Mar 2016 18:05:39 +0000 (19:05 +0100)]
improved even more

8 years agoimproved makefile
Mart Lubbers [Wed, 23 Mar 2016 18:02:08 +0000 (19:02 +0100)]
improved makefile

8 years agosome
Mart Lubbers [Wed, 23 Mar 2016 17:47:10 +0000 (18:47 +0100)]
some

8 years agoadded sylvan
Mart Lubbers [Wed, 23 Mar 2016 17:31:39 +0000 (18:31 +0100)]
added sylvan

8 years agoskeleton updated
Mart Lubbers [Wed, 23 Mar 2016 11:21:21 +0000 (12:21 +0100)]
skeleton updated

8 years agoargparsing working
Mart Lubbers [Wed, 23 Mar 2016 11:02:14 +0000 (12:02 +0100)]
argparsing working

8 years agoepic makeflie
Mart Lubbers [Wed, 23 Mar 2016 10:10:14 +0000 (11:10 +0100)]
epic makeflie

8 years agomake
Mart Lubbers [Wed, 23 Mar 2016 10:07:44 +0000 (11:07 +0100)]
make

8 years agoadded skeleton
Mart Lubbers [Wed, 23 Mar 2016 10:00:58 +0000 (11:00 +0100)]
added skeleton

8 years agoupdated makefile'
Mart Lubbers [Wed, 23 Mar 2016 09:15:03 +0000 (10:15 +0100)]
updated makefile'