Groups

Guru Gang

1–30 of 585

0 selected

Aaron Stump, Duckki Oe3

7/2/12

domain name expiring

Well, since you are the main user right now, Duckki, it is no doubt bittersweet. The language will

unread,

domain name expiring

Well, since you are the main user right now, Duckki, it is no doubt bittersweet. The language will

7/2/12

guru...@googlecode.com

11/28/11

[guru-lang] r551 committed - tagged 1.0.1 version; working with the VMCAI 2012 version of versat

Revision: 551 Author: kain.nomad Date: Mon Nov 28 15:45:59 2011 Log: tagged 1.0.1 version; working

unread,

[guru-lang] r551 committed - tagged 1.0.1 version; working with the VMCAI 2012 version of versat

Revision: 551 Author: kain.nomad Date: Mon Nov 28 15:45:59 2011 Log: tagged 1.0.1 version; working

11/28/11

guru...@googlecode.com

11/28/11

[guru-lang] r550 committed - created a stable branch for 1.0.x (compatible with the versat version ...

Revision: 550 Author: kain.nomad Date: Mon Nov 28 15:37:57 2011 Log: created a stable branch for 1.0.

unread,

[guru-lang] r550 committed - created a stable branch for 1.0.x (compatible with the versat version ...

Revision: 550 Author: kain.nomad Date: Mon Nov 28 15:37:57 2011 Log: created a stable branch for 1.0.

11/28/11

guru...@googlecode.com

11/28/11

[guru-lang] r549 committed - Added broken type reconstruction, with the intent of fixing it or comp...

Revision: 549 Author: kevinclancy0 Date: Mon Nov 28 13:07:03 2011 Log: Added broken type

unread,

[guru-lang] r549 committed - Added broken type reconstruction, with the intent of fixing it or comp...

Revision: 549 Author: kevinclancy0 Date: Mon Nov 28 13:07:03 2011 Log: Added broken type

11/28/11

guru...@googlecode.com

11/21/11

[guru-lang] r548 committed - added plausibility testing

Revision: 548 Author: kevinclancy0 Date: Mon Nov 21 12:42:14 2011 Log: added plausibility testing

unread,

[guru-lang] r548 committed - added plausibility testing

Revision: 548 Author: kevinclancy0 Date: Mon Nov 21 12:42:14 2011 Log: added plausibility testing

11/21/11

guru...@googlecode.com

11/14/11

[guru-lang] r547 committed - Added UnjoinBase, a class containing common functionality between Unjo...

Revision: 547 Author: kevinclancy0 Date: Mon Nov 14 12:52:03 2011 Log: Added UnjoinBase, a class

unread,

[guru-lang] r547 committed - Added UnjoinBase, a class containing common functionality between Unjo...

Revision: 547 Author: kevinclancy0 Date: Mon Nov 14 12:52:03 2011 Log: Added UnjoinBase, a class

11/14/11

guru...@googlecode.com

10/31/11

[guru-lang] r546 committed - fixed some bugs. added some tests.

Revision: 546 Author: kevinclancy0 Date: Mon Oct 31 13:11:32 2011 Log: fixed some bugs. added some

unread,

[guru-lang] r546 committed - fixed some bugs. added some tests.

Revision: 546 Author: kevinclancy0 Date: Mon Oct 31 13:11:32 2011 Log: fixed some bugs. added some

10/31/11

guru...@googlecode.com

10/27/11

[guru-lang] r545 committed - unjoin no longer recursively unjoins. simplified, commented, cleaned u...

Revision: 545 Author: kevinclancy0 Date: Thu Oct 27 08:11:15 2011 Log: unjoin no longer recursively

unread,

[guru-lang] r545 committed - unjoin no longer recursively unjoins. simplified, commented, cleaned u...

Revision: 545 Author: kevinclancy0 Date: Thu Oct 27 08:11:15 2011 Log: unjoin no longer recursively

10/27/11

guru...@googlecode.com

10/21/11

[guru-lang] r544 committed - fixed some issues with unjoin. added unjoin contradictions.

Revision: 544 Author: kevinclancy0 Date: Fri Oct 21 12:38:46 2011 Log: fixed some issues with unjoin.

unread,

[guru-lang] r544 committed - fixed some issues with unjoin. added unjoin contradictions.

Revision: 544 Author: kevinclancy0 Date: Fri Oct 21 12:38:46 2011 Log: fixed some issues with unjoin.

10/21/11

guru...@googlecode.com

10/12/11

[guru-lang] r543 committed - trying out unjoin with Kevin

Revision: 543 Author: aaron.stump Date: Wed Oct 12 13:04:29 2011 Log: trying out unjoin with Kevin

unread,

[guru-lang] r543 committed - trying out unjoin with Kevin

Revision: 543 Author: aaron.stump Date: Wed Oct 12 13:04:29 2011 Log: trying out unjoin with Kevin

10/12/11

guru...@googlecode.com

10/12/11

[guru-lang] r542 committed - added a very rough implementation for an upcoming proof construct call...

Revision: 542 Author: kevinclancy0 Date: Wed Oct 12 12:15:28 2011 Log: added a very rough

unread,

[guru-lang] r542 committed - added a very rough implementation for an upcoming proof construct call...

Revision: 542 Author: kevinclancy0 Date: Wed Oct 12 12:15:28 2011 Log: added a very rough

10/12/11

9/5/11

new guru features

Guru Gang: As some of you may have noticed, I have added a few new features to the guru classifier.

unread,

new guru features

Guru Gang: As some of you may have noticed, I have added a few new features to the guru classifier.

9/5/11

guru...@googlecode.com

9/5/11

[guru-lang] r541 committed - added a demonstration of the lemma and ascription constructs.

Revision: 541 Author: kevinclancy0 Date: Mon Sep 5 18:16:07 2011 Log: added a demonstration of the

unread,

[guru-lang] r541 committed - added a demonstration of the lemma and ascription constructs.

Revision: 541 Author: kevinclancy0 Date: Mon Sep 5 18:16:07 2011 Log: added a demonstration of the

9/5/11

guru...@googlecode.com

9/5/11

[guru-lang] r540 committed - -Changed the error messages related to ascriptions and lemmas so that ...

Revision: 540 Author: kevinclancy0 Date: Mon Sep 5 17:40:33 2011 Log: -Changed the error messages

unread,

[guru-lang] r540 committed - -Changed the error messages related to ascriptions and lemmas so that ...

Revision: 540 Author: kevinclancy0 Date: Mon Sep 5 17:40:33 2011 Log: -Changed the error messages

9/5/11

guru...@googlecode.com

8/26/11

[guru-lang] r539 committed - fixed a poorly worded comment.

Revision: 539 Author: kevinclancy0 Date: Fri Aug 26 15:33:33 2011 Log: fixed a poorly worded comment.

unread,

[guru-lang] r539 committed - fixed a poorly worded comment.

Revision: 539 Author: kevinclancy0 Date: Fri Aug 26 15:33:33 2011 Log: fixed a poorly worded comment.

8/26/11

guru...@googlecode.com

8/26/11

[guru-lang] r538 committed - Rewrote some comments to use guru terminology properly. Added ascripti...

Revision: 538 Author: kevinclancy0 Date: Fri Aug 26 15:30:54 2011 Log: Rewrote some comments to use

unread,

[guru-lang] r538 committed - Rewrote some comments to use guru terminology properly. Added ascripti...

Revision: 538 Author: kevinclancy0 Date: Fri Aug 26 15:30:54 2011 Log: Rewrote some comments to use

8/26/11

guru...@googlecode.com

8/22/11

[guru-lang] r537 committed - fixed Lemma's print method

Revision: 537 Author: kevinclancy0 Date: Mon Aug 22 16:01:56 2011 Log: fixed Lemma's print method

unread,

[guru-lang] r537 committed - fixed Lemma's print method

Revision: 537 Author: kevinclancy0 Date: Mon Aug 22 16:01:56 2011 Log: fixed Lemma's print method

8/22/11

guru...@googlecode.com

8/22/11

[guru-lang] r536 committed - fixed a minor comment mistake

Revision: 536 Author: kevinclancy0 Date: Mon Aug 22 15:48:56 2011 Log: fixed a minor comment mistake

unread,

[guru-lang] r536 committed - fixed a minor comment mistake

Revision: 536 Author: kevinclancy0 Date: Mon Aug 22 15:48:56 2011 Log: fixed a minor comment mistake

8/22/11

Kevin Clancy, Duckki Oe3

8/22/11

can't commit to guru-lang

Hi Duckki, I was able to commit by re-checking out guru and then copying over my changes. Thanks,

unread,

can't commit to guru-lang

Hi Duckki, I was able to commit by re-checking out guru and then copying over my changes. Thanks,

8/22/11

guru...@googlecode.com

8/22/11

[guru-lang] r535 committed - Added a new proof construct called lemma. I plan to post a detailed de...

Revision: 535 Author: kevinclancy0 Date: Mon Aug 22 15:38:29 2011 Log: Added a new proof construct

unread,

[guru-lang] r535 committed - Added a new proof construct called lemma. I plan to post a detailed de...

Revision: 535 Author: kevinclancy0 Date: Mon Aug 22 15:38:29 2011 Log: Added a new proof construct

8/22/11

guru...@googlecode.com

8/22/11

[guru-lang] r534 committed - rename debug_log.g log.g because logging could be used for other purpo...

Revision: 534 Author: kain.nomad Date: Mon Aug 22 15:24:44 2011 Log: rename debug_log.g log.g because

unread,

[guru-lang] r534 committed - rename debug_log.g log.g because logging could be used for other purpo...

Revision: 534 Author: kain.nomad Date: Mon Aug 22 15:24:44 2011 Log: rename debug_log.g log.g because

8/22/11

guru...@googlecode.com

8/17/11

[guru-lang] r533 committed - improved qlist_erase_ref/qlist_replace_ref by using new test_ref funct...

Revision: 533 Author: kain.nomad Date: Wed Aug 17 09:28:49 2011 Log: improved qlist_erase_ref/

unread,

[guru-lang] r533 committed - improved qlist_erase_ref/qlist_replace_ref by using new test_ref funct...

Revision: 533 Author: kain.nomad Date: Wed Aug 17 09:28:49 2011 Log: improved qlist_erase_ref/

8/17/11

guru...@googlecode.com

8/16/11

[guru-lang] r532 committed - low-level performance tuning

Revision: 532 Author: aaron.stump Date: Tue Aug 16 13:11:10 2011 Log: low-level performance tuning

unread,

[guru-lang] r532 committed - low-level performance tuning

Revision: 532 Author: aaron.stump Date: Tue Aug 16 13:11:10 2011 Log: low-level performance tuning

8/16/11

guru...@googlecode.com

8/14/11

[guru-lang] r531 committed - I split the release function into release_clear (could be in a cycle i...

Revision: 531 Author: aaron.stump Date: Sun Aug 14 10:36:45 2011 Log: I split the release function

unread,

[guru-lang] r531 committed - I split the release function into release_clear (could be in a cycle i...

Revision: 531 Author: aaron.stump Date: Sun Aug 14 10:36:45 2011 Log: I split the release function

8/14/11

guru...@googlecode.com

8/13/11

[guru-lang] r530 committed - a minor low-level optimization good for a few percent improvement on a...

Revision: 530 Author: aaron.stump Date: Sat Aug 13 19:26:21 2011 Log: a minor low-level optimization

unread,

[guru-lang] r530 committed - a minor low-level optimization good for a few percent improvement on a...

Revision: 530 Author: aaron.stump Date: Sat Aug 13 19:26:21 2011 Log: a minor low-level optimization

8/13/11

guru...@googlecode.com

8/12/11

[guru-lang] r529 committed - changed the interface slightly for resource types to enable a fix of a...

Revision: 529 Author: aaron.stump Date: Fri Aug 12 06:47:43 2011 Log: changed the interface slightly

unread,

[guru-lang] r529 committed - changed the interface slightly for resource types to enable a fix of a...

Revision: 529 Author: aaron.stump Date: Fri Aug 12 06:47:43 2011 Log: changed the interface slightly

8/12/11

guru...@googlecode.com

8/7/11

[guru-lang] r528 committed - implemented qwarray; instead of tracking the checked-out item through ...

Revision: 528 Author: kain.nomad Date: Sun Aug 7 05:34:30 2011 Log: implemented qwarray; instead of

unread,

[guru-lang] r528 committed - implemented qwarray; instead of tracking the checked-out item through ...

Revision: 528 Author: kain.nomad Date: Sun Aug 7 05:34:30 2011 Log: implemented qwarray; instead of

8/7/11

guru...@googlecode.com

8/3/11

[guru-lang] r527 committed - fixing some 32-bit issues in uwarray.g

Revision: 527 Author: aaron.stump Date: Wed Aug 3 09:12:32 2011 Log: fixing some 32-bit issues in

unread,

[guru-lang] r527 committed - fixing some 32-bit issues in uwarray.g

Revision: 527 Author: aaron.stump Date: Wed Aug 3 09:12:32 2011 Log: fixing some 32-bit issues in

8/3/11

guru...@googlecode.com

7/27/11

[guru-lang] r526 committed - Added some lemmas which will be used to prove _heap_parent_lem1.

Revision: 526 Author: kevinclancy0 Date: Wed Jul 27 10:47:09 2011 Log: Added some lemmas which will

unread,

[guru-lang] r526 committed - Added some lemmas which will be used to prove _heap_parent_lem1.

Revision: 526 Author: kevinclancy0 Date: Wed Jul 27 10:47:09 2011 Log: Added some lemmas which will

7/27/11

guru...@googlecode.com

7/27/11

[guru-lang] r525 committed - updated qwarray.g

Revision: 525 Author: kain.nomad Date: Wed Jul 27 07:32:57 2011 Log: updated qwarray.g http://code.

unread,

[guru-lang] r525 committed - updated qwarray.g

Revision: 525 Author: kain.nomad Date: Wed Jul 27 07:32:57 2011 Log: updated qwarray.g http://code.

7/27/11

Search

Clear search

Close search

Google apps

Main menu