Comments for QOT http://ritmark.com MySQL DBA's intelligent assistant Fri, 10 Sep 2010 07:39:51 +0000 http://wordpress.org/?v=2.3.3 Comment on Formal verification of PBXT locking code, my experience with verification tools by Twitter Updates for 2010-05-15 | if not true then false http://ritmark.com/?p=28#comment-171 Twitter Updates for 2010-05-15 | if not true then false Sun, 16 May 2010 05:11:59 +0000 http://ritmark.com/?p=28#comment-171 [...] of PBXT locking code, my experience with verification tools: In the last few months… http://ritmark.com/?p=28 # Gnome-Look.org: Zabriskie Point (GNOME Wallpaper 1920×1200) http://bit.ly/a6Ywia # [...] […] of PBXT locking code, my experience with verification tools: In the last few months… http://ritmark.com/?p=28 # Gnome-Look.org: Zabriskie Point (GNOME Wallpaper 1920×1200) http://bit.ly/a6Ywia # […]

]]> Comment on Formal verification of PBXT locking code, my experience with verification tools by Mark Callaghan http://ritmark.com/?p=28#comment-144 Mark Callaghan Sat, 15 May 2010 21:14:16 +0000 http://ritmark.com/?p=28#comment-144 We used SPIN for the rw-lock change to InnoDB a few years back. I am using it again for a change in progress. I am still figuring SPIN out, but I like it. We used SPIN for the rw-lock change to InnoDB a few years back. I am using it again for a change in progress. I am still figuring SPIN out, but I like it.

]]> Comment on Changes in the Development Model by admin http://ritmark.com/?p=19#comment-143 admin Mon, 22 Feb 2010 12:48:52 +0000 http://ritmark.com/?p=19#comment-143 hi tolan, thanks for report I will check it ASAP. Btw, if you have any other bugs to report feel free to use my bugtracker: http://ritmark.com/mantis hi tolan,

thanks for report I will check it ASAP. Btw, if you have any other bugs to report feel free to use my bugtracker: http://ritmark.com/mantis

]]> Comment on Changes in the Development Model by tolan http://ritmark.com/?p=19#comment-142 tolan Sat, 20 Feb 2010 19:22:19 +0000 http://ritmark.com/?p=19#comment-142 Hi, I've only got a moment right now but I can't get QOT to build on Ubuntu Karmic. There are missing headers in some files (stdio, stdlib, climits) and after adding those I got: make[3]: *** No rule to make target `qot_closure.o', needed by `qot'. Stop. Drop me a mail if you want more details. Sorry I don't have time to go through them right now! Hi,

I’ve only got a moment right now but I can’t get QOT to build on Ubuntu Karmic. There are missing headers in some files (stdio, stdlib, climits) and after adding those I got:

make[3]: *** No rule to make target `qot_closure.o’, needed by `qot’. Stop.

Drop me a mail if you want more details. Sorry I don’t have time to go through them right now!

]]> Comment on Selectivity threshold for a non-covering index by Alfa http://ritmark.com/?p=25#comment-119 Alfa Thu, 14 May 2009 13:31:18 +0000 http://ritmark.com/?p=25#comment-119 Interesting read! I am following this project, I really like it. Thnx! Interesting read! I am following this project, I really like it.
Thnx!

]]> Comment on QOT version 0.0.4 Released! by admin http://ritmark.com/?p=13#comment-102 admin Mon, 19 Jan 2009 14:24:14 +0000 http://ritmark.com/?p=13#comment-102 Hi, you can follow the "Downloads" link on the pages menu on the left side of the home page, or simply go to this link: http://ritmark.com/?page_id=11 Hi,

you can follow the “Downloads” link on the pages menu on the left side of the home page, or simply go to this link: http://ritmark.com/?page_id=11

]]> Comment on QOT version 0.0.4 Released! by rohit http://ritmark.com/?p=13#comment-101 rohit Mon, 19 Jan 2009 12:16:12 +0000 http://ritmark.com/?p=13#comment-101 how can i download QOT version 0.0.4...pls. advise how can i download QOT version 0.0.4…pls. advise

]]>