More respText test.

all tests pass.

respText stuff is working

all tests pass

Working on respText

Clean up tests and added respText atom test

Restrict character generation to first 255

Added document tracking what I think are errata in rfc3501

Added verbose test support

Improved random Char generation

Added first respText test

Added greeting and the functions needed to support it

Added types for parser primitives

Added tag and test for it.  All tests pass.

Added text and test for it

All tests pass

Added astring test

Added astring_basic test

Added test for atom

Redid existing tests to make it easier to test for errors

Added test for string3501

New test for literal

Added quoted test

Added from TestParser.hs

Added Parser/Prim.hs

Added writeBytes test

Added prop_rfr_basic

Slight display tweak

Initial stab at readFullResponse

Suppress the test counter

noCR also implies no null

Working on getFullLine_count

Initial prop_getFullLine_count

Added first TestParser, genericized some other Test code

Added TestParser from TestConnection

Test for failure in readLine and readBytes

Changed Connection to use StateT instead of State, with Either

This allows us to handle "fail" in a pure way.

Comment typo

Added prop_readBytes

Correctly test readline now

Write to stdout instead of stderr to resolve display issues

Finish lines identity test

Test checkpointing

Added runLinesConnection

Initialized TestConnection from TestSyncable

Cleaned up infrastructure for calling tests

Added IMAPState to clean up readability

Refine the State-based connection

Fixed compilation errors

Starting to work on Connection

Moved Syncable tests to testsrc/TestSyncable.hs

Added Parser.hs, working on initial code

Starting work in IMAP parser

Small doc grammar fix.  fixes #74.

Rename ModifyContent to SetContent

compilation fixes

A bit of work on sync stuff

TESTS PASS

Ready for code cleanup or work on recursive stuff

Much progress on syncable; important tests are passing!

Fix to prop_allChangesToChild

I think the child payload is fixed

Getting closer on Syncable, I think

Trying more work on modified children

Switched tests to Word8

Support Word8 in tests

diffCollection now works with values

Woot, All changes is fixed!

More attempts

Working to fix Syncable, but still issues

Bumped up max tests; yielded problem in all changes

Setting up to allow altering of test configs

Believe allChanges is working

All changes fixed, I think

Make unaryApplyChanges aware of ModifyContent

Fixed logic and documented it better

Some progress on All changes to child test, needs more fixing in that test

All changes pass

Tweaks some more

Believe fixed the all changes test, need to fix implementation now

More work on tests

Fixed prop_allChangesToChild and prop_allChangesToMaster for modifications

First stab at detecting content payload modifications -- not yet working

Fixed prop_unaryApplyChanges for arbitrary types)

Made tests use generic types; they don't yet all pass like this

Adjusted code so that it can carry a payload

Added diffCollection and test for it

Another new test

Rename syncThem to syncBiDir

Fixed unaryApplyChanges test

Adding new unaryApplyChanges test

Added new (passing) test to compute all changes

Added more tests

Genericized emptymap

Cleaned up findDeleted fix

Fixed deletion logic

Initial work on detecting adds

Added tests

Added masterchanges start

Simplification of logic

Removed status modification return

Fixed first error detected

Tests now use @=?

Cleaned up and added to test infrastructure

Switched type of allt to be hunit-compatible