Commit Graph

Select branches

Hide Pull Requests

master

Mono Color

• 51e6225d60 - New algorithm for visualisation challenge. ccremers 2004-03-15 10:59:29 +0000
• 120113fe21 - This is required as well. ccremers 2004-03-10 07:19:27 +0000
• 5d9e893a44 - 'Simplest' protocol that shows postponing effort. ccremers 2004-03-09 16:07:02 +0000
• dba0eab72b - Modified for better table compared speedtest. ccremers 2004-03-08 07:35:47 +0000
• 66bad3856c A minimal protocol for testing the partial order reductions. ccremers 2004-03-03 18:59:23 +0000
• 9010e37c33 - Start of simple files. ccremers 2004-02-28 20:39:17 +0000
• 2edf686a3e - Huge debugging effort to fix -t7 (POR2b), which seems to be okay now. - Next step: fix -t6. ccremers 2004-02-28 12:36:35 +0000
• 975f9c159a - Implemented the new algorithm -t6. Note: it is currently worse than -t5, and the reason is that it is good to do the sends first, to avoid branching. - Fixed a flaw in the flag returned by match_basic. ccremers 2004-02-27 15:04:32 +0000
• 635e583039 - Modified everything for explicit usertype declarations. ccremers 2004-02-22 15:22:19 +0000
• 95f8558514 - Updates for the new claims stuff. ccremers 2004-02-22 13:16:53 +0000
• 59f61abb9f - Update for new claims. ccremers 2004-02-22 13:05:59 +0000
• 1fda986dce - Some testing. ccremers 2004-02-20 22:40:17 +0000
• eadec35908 - Cleanup. ccremers 2004-02-20 11:41:46 +0000
• 0c17848f44 Initial revision ccremers 2004-02-20 11:37:28 +0000
• 50f8b5874a initial checkin ccremers 2002-08-01 09:28:10 +0000