]>
code.delx.au - offlineimap/log
John Goerzen [Tue, 16 Sep 2008 21:51:11 +0000 (16:51 -0500)]
Apply new darwin.patch from Vincent Beffara
fixes #20
patch dated 5/27/2008
John Goerzen [Tue, 12 Aug 2008 08:31:00 +0000 (03:31 -0500)]
Clean up instance Arbitrary Char some more
let is pick any character from any position in a list since we only
have 256 options anyhow
all tests pass.
John Goerzen [Tue, 12 Aug 2008 08:28:55 +0000 (03:28 -0500)]
Sanified the return type of greeting
all tests pass
John Goerzen [Tue, 12 Aug 2008 08:22:57 +0000 (03:22 -0500)]
Added greeting test
John Goerzen [Tue, 12 Aug 2008 08:11:30 +0000 (03:11 -0500)]
More respText test.
all tests pass.
John Goerzen [Tue, 12 Aug 2008 08:08:08 +0000 (03:08 -0500)]
respText stuff is working
all tests pass
John Goerzen [Tue, 12 Aug 2008 08:06:27 +0000 (03:06 -0500)]
Working on respText
John Goerzen [Tue, 12 Aug 2008 07:57:44 +0000 (02:57 -0500)]
Clean up tests and added respText atom test
John Goerzen [Tue, 12 Aug 2008 07:56:25 +0000 (02:56 -0500)]
Restrict character generation to first 255
John Goerzen [Tue, 12 Aug 2008 07:56:06 +0000 (02:56 -0500)]
Added document tracking what I think are errata in rfc3501
John Goerzen [Tue, 12 Aug 2008 07:52:09 +0000 (02:52 -0500)]
Added verbose test support
John Goerzen [Tue, 12 Aug 2008 07:51:08 +0000 (02:51 -0500)]
Improved random Char generation
John Goerzen [Tue, 12 Aug 2008 07:29:03 +0000 (02:29 -0500)]
Added first respText test
John Goerzen [Tue, 12 Aug 2008 06:38:19 +0000 (01:38 -0500)]
Added greeting and the functions needed to support it
John Goerzen [Tue, 12 Aug 2008 06:13:09 +0000 (01:13 -0500)]
Added types for parser primitives
John Goerzen [Tue, 12 Aug 2008 06:09:16 +0000 (01:09 -0500)]
Added tag and test for it. All tests pass.
John Goerzen [Tue, 12 Aug 2008 06:03:49 +0000 (01:03 -0500)]
Added text and test for it
All tests pass
John Goerzen [Tue, 12 Aug 2008 05:59:55 +0000 (00:59 -0500)]
Added astring test
John Goerzen [Tue, 12 Aug 2008 05:55:31 +0000 (00:55 -0500)]
Added astring_basic test
John Goerzen [Tue, 12 Aug 2008 05:51:33 +0000 (00:51 -0500)]
Added test for atom
Redid existing tests to make it easier to test for errors
John Goerzen [Tue, 12 Aug 2008 05:41:30 +0000 (00:41 -0500)]
Added test for string3501
John Goerzen [Tue, 12 Aug 2008 05:39:32 +0000 (00:39 -0500)]
New test for literal
John Goerzen [Tue, 12 Aug 2008 05:36:00 +0000 (00:36 -0500)]
Added quoted test
John Goerzen [Tue, 12 Aug 2008 05:30:06 +0000 (00:30 -0500)]
Added from TestParser.hs
John Goerzen [Tue, 12 Aug 2008 05:28:39 +0000 (00:28 -0500)]
Added Parser/Prim.hs
John Goerzen [Tue, 12 Aug 2008 15:34:34 +0000 (10:34 -0500)]
Added writeBytes test
John Goerzen [Tue, 12 Aug 2008 04:44:43 +0000 (23:44 -0500)]
Added prop_rfr_basic
John Goerzen [Tue, 12 Aug 2008 15:02:44 +0000 (10:02 -0500)]
Slight display tweak
John Goerzen [Tue, 12 Aug 2008 15:02:29 +0000 (10:02 -0500)]
Initial stab at readFullResponse
John Goerzen [Tue, 12 Aug 2008 14:38:45 +0000 (09:38 -0500)]
Suppress the test counter
John Goerzen [Tue, 12 Aug 2008 14:38:33 +0000 (09:38 -0500)]
noCR also implies no null
John Goerzen [Tue, 12 Aug 2008 14:12:25 +0000 (09:12 -0500)]
Working on getFullLine_count
John Goerzen [Tue, 12 Aug 2008 13:51:21 +0000 (08:51 -0500)]
Initial prop_getFullLine_count
John Goerzen [Tue, 12 Aug 2008 13:46:31 +0000 (08:46 -0500)]
Added first TestParser, genericized some other Test code
John Goerzen [Tue, 12 Aug 2008 13:36:34 +0000 (08:36 -0500)]
Added TestParser from TestConnection
John Goerzen [Tue, 12 Aug 2008 13:33:27 +0000 (08:33 -0500)]
Test for failure in readLine and readBytes
John Goerzen [Tue, 12 Aug 2008 13:24:39 +0000 (08:24 -0500)]
Changed Connection to use StateT instead of State, with Either
This allows us to handle "fail" in a pure way.
John Goerzen [Tue, 12 Aug 2008 02:54:50 +0000 (21:54 -0500)]
Comment typo
John Goerzen [Tue, 12 Aug 2008 02:46:10 +0000 (21:46 -0500)]
Added prop_readBytes
John Goerzen [Tue, 12 Aug 2008 02:52:37 +0000 (21:52 -0500)]
Correctly test readline now
John Goerzen [Tue, 12 Aug 2008 02:52:12 +0000 (21:52 -0500)]
Write to stdout instead of stderr to resolve display issues
John Goerzen [Tue, 12 Aug 2008 01:55:44 +0000 (20:55 -0500)]
Finish lines identity test
John Goerzen [Mon, 11 Aug 2008 11:19:29 +0000 (06:19 -0500)]
Test checkpointing
John Goerzen [Mon, 11 Aug 2008 21:35:43 +0000 (16:35 -0500)]
Added runLinesConnection
John Goerzen [Mon, 11 Aug 2008 21:28:31 +0000 (16:28 -0500)]
Initialized TestConnection from TestSyncable
John Goerzen [Mon, 11 Aug 2008 21:26:44 +0000 (16:26 -0500)]
Cleaned up infrastructure for calling tests
John Goerzen [Mon, 11 Aug 2008 10:57:15 +0000 (05:57 -0500)]
Added IMAPState to clean up readability
John Goerzen [Mon, 11 Aug 2008 10:56:16 +0000 (05:56 -0500)]
Refine the State-based connection
John Goerzen [Mon, 11 Aug 2008 20:27:40 +0000 (15:27 -0500)]
Fixed compilation errors
John Goerzen [Mon, 11 Aug 2008 09:59:55 +0000 (04:59 -0500)]
Starting to work on Connection
John Goerzen [Mon, 11 Aug 2008 05:41:00 +0000 (00:41 -0500)]
Moved Syncable tests to testsrc/TestSyncable.hs
John Goerzen [Mon, 11 Aug 2008 05:03:21 +0000 (00:03 -0500)]
Added Parser.hs, working on initial code
John Goerzen [Wed, 6 Aug 2008 23:04:59 +0000 (18:04 -0500)]
Starting work in IMAP parser
John Goerzen [Wed, 11 Jun 2008 20:23:12 +0000 (15:23 -0500)]
Small doc grammar fix. fixes #74.
John Goerzen [Thu, 29 May 2008 08:32:45 +0000 (03:32 -0500)]
Rename ModifyContent to SetContent
John Goerzen [Thu, 29 May 2008 08:32:13 +0000 (03:32 -0500)]
compilation fixes
John Goerzen [Thu, 29 May 2008 08:31:42 +0000 (03:31 -0500)]
A bit of work on sync stuff
John Goerzen [Thu, 29 May 2008 07:22:33 +0000 (02:22 -0500)]
TESTS PASS
Ready for code cleanup or work on recursive stuff
John Goerzen [Thu, 29 May 2008 07:18:41 +0000 (02:18 -0500)]
Much progress on syncable; important tests are passing!
John Goerzen [Thu, 29 May 2008 07:13:42 +0000 (02:13 -0500)]
Fix to prop_allChangesToChild
John Goerzen [Thu, 29 May 2008 07:08:26 +0000 (02:08 -0500)]
I think the child payload is fixed
John Goerzen [Thu, 29 May 2008 06:58:15 +0000 (01:58 -0500)]
Getting closer on Syncable, I think
John Goerzen [Thu, 29 May 2008 06:40:56 +0000 (01:40 -0500)]
Trying more work on modified children
John Goerzen [Thu, 29 May 2008 06:20:15 +0000 (01:20 -0500)]
Switched tests to Word8
John Goerzen [Thu, 29 May 2008 06:18:11 +0000 (01:18 -0500)]
Support Word8 in tests
John Goerzen [Thu, 29 May 2008 06:16:42 +0000 (01:16 -0500)]
diffCollection now works with values
John Goerzen [Thu, 29 May 2008 06:14:29 +0000 (01:14 -0500)]
Woot, All changes is fixed!
John Goerzen [Thu, 29 May 2008 06:13:26 +0000 (01:13 -0500)]
More attempts
John Goerzen [Thu, 29 May 2008 05:57:12 +0000 (00:57 -0500)]
Working to fix Syncable, but still issues
John Goerzen [Thu, 29 May 2008 05:47:12 +0000 (00:47 -0500)]
Bumped up max tests; yielded problem in all changes
John Goerzen [Thu, 29 May 2008 05:45:24 +0000 (00:45 -0500)]
Setting up to allow altering of test configs
John Goerzen [Thu, 29 May 2008 05:43:40 +0000 (00:43 -0500)]
Believe allChanges is working
John Goerzen [Thu, 29 May 2008 05:28:13 +0000 (00:28 -0500)]
All changes fixed, I think
John Goerzen [Thu, 29 May 2008 05:14:33 +0000 (00:14 -0500)]
Make unaryApplyChanges aware of ModifyContent
John Goerzen [Thu, 29 May 2008 05:13:10 +0000 (00:13 -0500)]
Fixed logic and documented it better
John Goerzen [Thu, 29 May 2008 03:18:16 +0000 (22:18 -0500)]
Some progress on All changes to child test, needs more fixing in that test
John Goerzen [Thu, 29 May 2008 03:13:43 +0000 (22:13 -0500)]
All changes pass
John Goerzen [Thu, 29 May 2008 03:05:37 +0000 (22:05 -0500)]
Tweaks some more
John Goerzen [Thu, 29 May 2008 02:58:05 +0000 (21:58 -0500)]
Believe fixed the all changes test, need to fix implementation now
John Goerzen [Wed, 28 May 2008 12:23:17 +0000 (07:23 -0500)]
More work on tests
John Goerzen [Wed, 28 May 2008 12:05:04 +0000 (07:05 -0500)]
Fixed prop_allChangesToChild and prop_allChangesToMaster for modifications
John Goerzen [Wed, 28 May 2008 11:51:11 +0000 (06:51 -0500)]
First stab at detecting content payload modifications -- not yet working
John Goerzen [Wed, 28 May 2008 11:27:10 +0000 (06:27 -0500)]
Fixed prop_unaryApplyChanges for arbitrary types)
John Goerzen [Wed, 28 May 2008 11:18:04 +0000 (06:18 -0500)]
Made tests use generic types; they don't yet all pass like this
John Goerzen [Wed, 28 May 2008 11:04:50 +0000 (06:04 -0500)]
Adjusted code so that it can carry a payload
John Goerzen [Wed, 28 May 2008 10:54:10 +0000 (05:54 -0500)]
Added diffCollection and test for it
John Goerzen [Wed, 28 May 2008 10:47:34 +0000 (05:47 -0500)]
Another new test
John Goerzen [Wed, 28 May 2008 10:38:34 +0000 (05:38 -0500)]
Rename syncThem to syncBiDir
John Goerzen [Wed, 28 May 2008 10:35:17 +0000 (05:35 -0500)]
Fixed unaryApplyChanges test
John Goerzen [Wed, 28 May 2008 10:31:47 +0000 (05:31 -0500)]
Adding new unaryApplyChanges test
John Goerzen [Wed, 28 May 2008 10:06:37 +0000 (05:06 -0500)]
Added new (passing) test to compute all changes
John Goerzen [Wed, 28 May 2008 10:01:10 +0000 (05:01 -0500)]
Added more tests
John Goerzen [Wed, 28 May 2008 09:54:10 +0000 (04:54 -0500)]
Genericized emptymap
John Goerzen [Wed, 28 May 2008 09:53:14 +0000 (04:53 -0500)]
Cleaned up findDeleted fix
John Goerzen [Wed, 28 May 2008 09:52:08 +0000 (04:52 -0500)]
Fixed deletion logic
John Goerzen [Wed, 28 May 2008 09:44:12 +0000 (04:44 -0500)]
Initial work on detecting adds
John Goerzen [Wed, 28 May 2008 09:29:31 +0000 (04:29 -0500)]
Added tests
John Goerzen [Wed, 28 May 2008 09:27:35 +0000 (04:27 -0500)]
Added masterchanges start
John Goerzen [Wed, 28 May 2008 09:26:40 +0000 (04:26 -0500)]
Simplification of logic
John Goerzen [Wed, 28 May 2008 09:17:03 +0000 (04:17 -0500)]
Removed status modification return