https://sourceforge.net/p/eventb2sql/activity/Recent activity for EventB2SQLenThu, 07 Apr 2016 20:21:55 -0000https://sourceforge.net/p/eventb2sql/code/ci/855da5822e2e20d0c865c98526185d5136c6623c/Printing subsets of carrier setsmynguyentraThu, 07 Apr 2016 20:21:55 -0000https://sourceforge.net/p/eventb2sql/code/ci/855da5822e2e20d0c865c98526185d5136c6623c/https://sourceforge.net/p/eventb2sql/code/ci/7db6353d36120af432cd9d1070e5c6a64dc7107d/finished bulk insert - needs to be tested for S...Tim WahlsWed, 23 Mar 2016 02:28:46 -0000https://sourceforge.net/p/eventb2sql/code/ci/7db6353d36120af432cd9d1070e5c6a64dc7107d/https://sourceforge.net/p/eventb2sql/code/ci/1700e5c3bcbf8f6260ddd0a74f10944e7cc118dd/initial work on bulk insertTim WahlsTue, 22 Mar 2016 21:12:15 -0000https://sourceforge.net/p/eventb2sql/code/ci/1700e5c3bcbf8f6260ddd0a74f10944e7cc118dd/https://sourceforge.net/p/eventb2sql/code/ci/d92901cfdc27e3cbeef22356a62e50b45dc6d559/removing hardcoded file pathTim WahlsMon, 21 Mar 2016 01:20:05 -0000https://sourceforge.net/p/eventb2sql/code/ci/d92901cfdc27e3cbeef22356a62e50b45dc6d559/https://sourceforge.net/p/eventb2sql/code/ci/c14c6b0db53bfa0db67b3fca1352995463a4bd65/code cleanupTim WahlsMon, 21 Mar 2016 01:17:11 -0000https://sourceforge.net/p/eventb2sql/code/ci/c14c6b0db53bfa0db67b3fca1352995463a4bd65/https://sourceforge.net/p/eventb2sql/code/ci/35e0aa17aa9c2e302df685d0b57ac6b4c2e61a1b/code cleanup, only generate OurBar class if neededTim WahlsTue, 01 Mar 2016 02:56:12 -0000https://sourceforge.net/p/eventb2sql/code/ci/35e0aa17aa9c2e302df685d0b57ac6b4c2e61a1b/https://sourceforge.net/p/eventb2sql/code/ci/5714cd1d0070c4f7f918508a0748175a5c34542f/OurBar generated. Seekbar thumb removedGraham WilliamsMon, 22 Feb 2016 21:31:10 -0000https://sourceforge.net/p/eventb2sql/code/ci/5714cd1d0070c4f7f918508a0748175a5c34542f/https://sourceforge.net/p/eventb2sql/code/ci/a9f254dc91feed517a3b18efd57e193e0fea3b7a/SeekBar generators now use OurBar. Graham WilliamsMon, 22 Feb 2016 19:36:33 -0000https://sourceforge.net/p/eventb2sql/code/ci/a9f254dc91feed517a3b18efd57e193e0fea3b7a/https://sourceforge.net/p/eventb2sql/code/ci/60f72f783aa4c28f33113b2179e9eabea772f9ce/Generating Radio ButtonsmynguyentraThu, 18 Feb 2016 20:20:22 -0000https://sourceforge.net/p/eventb2sql/code/ci/60f72f783aa4c28f33113b2179e9eabea772f9ce/https://sourceforge.net/p/eventb2sql/code/ci/dbb18b87a9a5507a0c998f8803ab3dc2ed0600fa/cleaning up debugging codeTim WahlsTue, 16 Feb 2016 22:33:37 -0000https://sourceforge.net/p/eventb2sql/code/ci/dbb18b87a9a5507a0c998f8803ab3dc2ed0600fa/https://sourceforge.net/p/eventb2sql/code/ci/9002e5a3c96b92ade75bde86f03050b1baa2c9ac/tested union optimizationTim WahlsTue, 16 Feb 2016 02:50:01 -0000https://sourceforge.net/p/eventb2sql/code/ci/9002e5a3c96b92ade75bde86f03050b1baa2c9ac/https://sourceforge.net/p/eventb2sql/code/ci/33ee1ce641df075a73ee47cb00b5ed6988a33731/Worked on generating SeekBarsGraham WilliamsMon, 15 Feb 2016 20:21:07 -0000https://sourceforge.net/p/eventb2sql/code/ci/33ee1ce641df075a73ee47cb00b5ed6988a33731/https://sourceforge.net/p/eventb2sql/code/ci/f7512442db857c0c60b4051d4b72887f3118790e/left join optimization for relational overrideTim WahlsSun, 14 Feb 2016 01:46:55 -0000https://sourceforge.net/p/eventb2sql/code/ci/f7512442db857c0c60b4051d4b72887f3118790e/https://sourceforge.net/p/eventb2sql/code/ci/a9080bddaccdd68f936543de4e5baf59e6406517/refactoring code for left join optimizationTim WahlsFri, 12 Feb 2016 22:15:56 -0000https://sourceforge.net/p/eventb2sql/code/ci/a9080bddaccdd68f936543de4e5baf59e6406517/https://sourceforge.net/p/eventb2sql/code/ci/283bb3b9d0f700ef210403d706abceaf612b05af/fixing bug in enumerated types for AndroidTim WahlsFri, 12 Feb 2016 18:01:53 -0000https://sourceforge.net/p/eventb2sql/code/ci/283bb3b9d0f700ef210403d706abceaf612b05af/https://sourceforge.net/p/eventb2sql/code/ci/5cb5e648b9db21c53253f8d7c5c3fe18855c8e78/Removing constants for enum constantsmynguyentraThu, 11 Feb 2016 18:50:33 -0000https://sourceforge.net/p/eventb2sql/code/ci/5cb5e648b9db21c53253f8d7c5c3fe18855c8e78/https://sourceforge.net/p/eventb2sql/code/ci/322657cac4b4b9e29121a945dc37e73883213cbd/testing left join optimizationTim WahlsThu, 11 Feb 2016 01:28:07 -0000https://sourceforge.net/p/eventb2sql/code/ci/322657cac4b4b9e29121a945dc37e73883213cbd/https://sourceforge.net/p/eventb2sql/code/ci/335eacad8a120c5f62b71d64eb80eb44c7ddd75e/untested optimization - left join in domain sub...Tim WahlsTue, 09 Feb 2016 21:14:41 -0000https://sourceforge.net/p/eventb2sql/code/ci/335eacad8a120c5f62b71d64eb80eb44c7ddd75e/https://sourceforge.net/p/eventb2sql/code/ci/76293b999569a833a23d348c602229d33263056b/adjusting types before unwrappingTim WahlsTue, 09 Feb 2016 02:43:25 -0000https://sourceforge.net/p/eventb2sql/code/ci/76293b999569a833a23d348c602229d33263056b/https://sourceforge.net/p/eventb2sql/code/ci/9b96636de364ec4ae0201d5b311e5f6f51530fab/producing simpler code for int literals, debuggingTim WahlsMon, 08 Feb 2016 22:00:21 -0000https://sourceforge.net/p/eventb2sql/code/ci/9b96636de364ec4ae0201d5b311e5f6f51530fab/https://sourceforge.net/p/eventb2sql/code/ci/e583b338acd628687eabff0f960ca20145eefd0f/optimization for checking membership in a productTim WahlsMon, 08 Feb 2016 20:09:52 -0000https://sourceforge.net/p/eventb2sql/code/ci/e583b338acd628687eabff0f960ca20145eefd0f/https://sourceforge.net/p/eventb2sql/code/ci/77dbd1f07743cd4b66c1d6813218267b4874f478/initial work on optimizing membership in productsTim WahlsFri, 05 Feb 2016 22:47:01 -0000https://sourceforge.net/p/eventb2sql/code/ci/77dbd1f07743cd4b66c1d6813218267b4874f478/https://sourceforge.net/p/eventb2sql/code/ci/d2ae94ec7d66b66c5fe58f20f3d51c76bf41179b/declaring constants for enumeration constantsTim WahlsThu, 04 Feb 2016 21:57:25 -0000https://sourceforge.net/p/eventb2sql/code/ci/d2ae94ec7d66b66c5fe58f20f3d51c76bf41179b/https://sourceforge.net/p/eventb2sql/code/ci/76259b41abd6ee168ac7b189d70e54ab5306773d/new method of representing SQL queryTim WahlsThu, 04 Feb 2016 18:32:46 -0000https://sourceforge.net/p/eventb2sql/code/ci/76259b41abd6ee168ac7b189d70e54ab5306773d/https://sourceforge.net/p/eventb2sql/code/ci/df1a06d199e123fb74b637f30935216008fd7b05/nesting binding classTim WahlsMon, 25 Jan 2016 20:22:57 -0000https://sourceforge.net/p/eventb2sql/code/ci/df1a06d199e123fb74b637f30935216008fd7b05/https://sourceforge.net/p/eventb2sql/code/ci/3ad866d5ccc747cb645651e71ea64758caf953fd/Checking that constants are defined and produci...Tim WahlsThu, 10 Dec 2015 22:48:58 -0000https://sourceforge.net/p/eventb2sql/code/ci/3ad866d5ccc747cb645651e71ea64758caf953fd/https://sourceforge.net/p/eventb2sql/code/ci/2deb6653ef74ead409c71ce16035aacd49b5f187/adding author tagsGraham WilliamsMon, 07 Dec 2015 20:58:36 -0000https://sourceforge.net/p/eventb2sql/code/ci/2deb6653ef74ead409c71ce16035aacd49b5f187/https://sourceforge.net/p/eventb2sql/code/ci/4e91f603bdb7342887799647eccd16b63b11fdf0/updated B2PHP.javamynguyentraTue, 01 Dec 2015 18:56:04 -0000https://sourceforge.net/p/eventb2sql/code/ci/4e91f603bdb7342887799647eccd16b63b11fdf0/https://sourceforge.net/p/eventb2sql/code/ci/e86fe04748b24f256874d6ea7a41d46f1494ea09/added printSelector() mynguyentraTue, 01 Dec 2015 18:47:00 -0000https://sourceforge.net/p/eventb2sql/code/ci/e86fe04748b24f256874d6ea7a41d46f1494ea09/https://sourceforge.net/p/eventb2sql/wiki/Home/HomeTim WahlsSat, 28 Nov 2015 16:51:51 -0000https://sourceforge.net/p/eventb2sql/wiki/Home/https://sourceforge.net/p/eventb2sql/wiki/Home/HomeTim WahlsSat, 28 Nov 2015 16:45:46 -0000https://sourceforge.net/p/eventb2sql/wiki/Home/https://sourceforge.net/p/eventb2sql/wiki/Home/HomeTim WahlsSat, 28 Nov 2015 16:45:04 -0000https://sourceforge.net/p/eventb2sql/wiki/Home/https://sourceforge.net/p/eventb2sql/wiki/Home/HomeTim WahlsSat, 28 Nov 2015 16:33:34 -0000https://sourceforge.net/p/eventb2sql/wiki/Home/https://sourceforge.net/p/eventb2sql/wiki/Home/HomeTim WahlsSat, 28 Nov 2015 16:22:17 -0000https://sourceforge.net/p/eventb2sql/wiki/Home/https://sourceforge.net/p/eventb2sql/wiki/Home/HomeTim WahlsSat, 28 Nov 2015 16:15:55 -0000https://sourceforge.net/p/eventb2sql/wiki/Home/https://sourceforge.net/p/eventb2sql/code/ci/e5f796389ca95dc0bfc2f53f9a19659c6e794ddf/commenting out hardcoded path for generated cod...Tim WahlsFri, 27 Nov 2015 19:28:14 -0000https://sourceforge.net/p/eventb2sql/code/ci/e5f796389ca95dc0bfc2f53f9a19659c6e794ddf/https://sourceforge.net/p/eventb2sql/wiki/Home/HomeTim WahlsFri, 27 Nov 2015 19:20:56 -0000https://sourceforge.net/p/eventb2sql/wiki/Home/https://sourceforge.net/p/eventb2sql/wiki/Home/HomeTim WahlsFri, 27 Nov 2015 19:04:32 -0000https://sourceforge.net/p/eventb2sql/wiki/Home/https://sourceforge.net/p/eventb2sql/wiki/Home/HomeTim WahlsFri, 27 Nov 2015 19:03:36 -0000https://sourceforge.net/p/eventb2sql/wiki/Home/https://sourceforge.net/p/eventb2sql/wiki/Home/HomeTim WahlsFri, 27 Nov 2015 19:02:53 -0000https://sourceforge.net/p/eventb2sql/wiki/Home/https://sourceforge.net/p/eventb2sql/wiki/Home/HomeTim WahlsFri, 27 Nov 2015 19:01:35 -0000https://sourceforge.net/p/eventb2sql/wiki/Home/https://sourceforge.net/p/eventb2sql/wiki/Home/HomeTim WahlsFri, 27 Nov 2015 19:00:36 -0000https://sourceforge.net/p/eventb2sql/wiki/Home/https://sourceforge.net/p/eventb2sql/wiki/Home/HomeTim WahlsFri, 27 Nov 2015 18:59:55 -0000https://sourceforge.net/p/eventb2sql/wiki/Home/https://sourceforge.net/p/eventb2sql/wiki/Home/HomeTim WahlsFri, 27 Nov 2015 18:58:35 -0000https://sourceforge.net/p/eventb2sql/wiki/Home/https://sourceforge.net/p/eventb2sql/wiki/Home/HomeTim WahlsFri, 27 Nov 2015 18:57:19 -0000https://sourceforge.net/p/eventb2sql/wiki/Home/https://sourceforge.net/p/eventb2sql/wiki/Home/HomeTim WahlsFri, 27 Nov 2015 18:56:34 -0000https://sourceforge.net/p/eventb2sql/wiki/Home/https://sourceforge.net/p/eventb2sql/wiki/Home/HomeTim WahlsFri, 27 Nov 2015 18:55:23 -0000https://sourceforge.net/p/eventb2sql/wiki/Home/https://sourceforge.net/p/eventb2sql/wiki/Home/HomeTim WahlsFri, 27 Nov 2015 18:54:25 -0000https://sourceforge.net/p/eventb2sql/wiki/Home/https://sourceforge.net/p/eventb2sql/wiki/Home/HomeTim WahlsFri, 27 Nov 2015 18:53:07 -0000https://sourceforge.net/p/eventb2sql/wiki/Home/https://sourceforge.net/p/eventb2sql/wiki/Home/HomeTim WahlsFri, 27 Nov 2015 18:52:03 -0000https://sourceforge.net/p/eventb2sql/wiki/Home/https://sourceforge.net/p/eventb2sql/wiki/Home/HomeTim WahlsFri, 27 Nov 2015 18:50:14 -0000https://sourceforge.net/p/eventb2sql/wiki/Home/https://sourceforge.net/p/eventb2sql/wiki/Home/HomeTim WahlsFri, 27 Nov 2015 18:41:41 -0000https://sourceforge.net/p/eventb2sql/wiki/Home/https://sourceforge.net/p/eventb2sql/wiki/Home/HomeTim WahlsFri, 27 Nov 2015 18:39:50 -0000https://sourceforge.net/p/eventb2sql/wiki/Home/https://sourceforge.net/p/eventb2sql/wiki/Home/HomeTim WahlsFri, 27 Nov 2015 18:39:12 -0000https://sourceforge.net/p/eventb2sql/wiki/Home/https://sourceforge.net/p/eventb2sql/wiki/Home/HomeTim WahlsFri, 27 Nov 2015 18:37:17 -0000https://sourceforge.net/p/eventb2sql/wiki/Home/https://sourceforge.net/p/eventb2sql/wiki/Home/HomeTim WahlsFri, 27 Nov 2015 18:25:24 -0000https://sourceforge.net/p/eventb2sql/wiki/Home/https://sourceforge.net/p/eventb2sql/wiki/Home/HomeTim WahlsFri, 27 Nov 2015 18:22:30 -0000https://sourceforge.net/p/eventb2sql/wiki/Home/https://sourceforge.net/p/eventb2sql/wiki/Home/HomeTim WahlsFri, 27 Nov 2015 18:02:47 -0000https://sourceforge.net/p/eventb2sql/wiki/Home/https://sourceforge.net/p/eventb2sql/wiki/Home/HomeTim WahlsFri, 27 Nov 2015 18:01:30 -0000https://sourceforge.net/p/eventb2sql/wiki/Home/https://sourceforge.net/p/eventb2sql/wiki/Home/HomeTim WahlsFri, 27 Nov 2015 17:49:46 -0000https://sourceforge.net/p/eventb2sql/wiki/Home/https://sourceforge.net/p/eventb2sql/wiki/Home/HomeTim WahlsFri, 27 Nov 2015 15:34:22 -0000https://sourceforge.net/p/eventb2sql/wiki/Home/https://sourceforge.net/p/eventb2sql/wiki/Home/HomeTim WahlsFri, 27 Nov 2015 15:30:27 -0000https://sourceforge.net/p/eventb2sql/wiki/Home/https://sourceforge.net/p/eventb2sql/code/ci/7229f93ec221e98518e34e7dcdfa9aee8fa0a624/further optimization of overridingTim WahlsTue, 24 Nov 2015 03:10:22 -0000https://sourceforge.net/p/eventb2sql/code/ci/7229f93ec221e98518e34e7dcdfa9aee8fa0a624/https://sourceforge.net/p/eventb2sql/code/ci/81b9c62b3cddd06a6ca5ae3c913286a291c97e0a/optimizations for intersection, composition and...Tim WahlsMon, 23 Nov 2015 22:26:01 -0000https://sourceforge.net/p/eventb2sql/code/ci/81b9c62b3cddd06a6ca5ae3c913286a291c97e0a/https://sourceforge.net/p/eventb2sql/code/ci/b11b6be02cb3f317dd4bb4b632cb9043d54d0e2e/commit of .gitignoreTim WahlsMon, 23 Nov 2015 02:17:40 -0000https://sourceforge.net/p/eventb2sql/code/ci/b11b6be02cb3f317dd4bb4b632cb9043d54d0e2e/https://sourceforge.net/p/eventb2sql/code/ci/7bb18f93d3e78c1331f12d5a8071543d59558b21/adding PHP UI generation code from CarolineTim WahlsMon, 23 Nov 2015 02:17:40 -0000https://sourceforge.net/p/eventb2sql/code/ci/7bb18f93d3e78c1331f12d5a8071543d59558b21/https://sourceforge.net/p/eventb2sql/code/ci/6dd9bdd0d762c5300e0663ecfe68b2ff6160960d/optimization for applying relation inverse to m...Tim WahlsFri, 20 Nov 2015 22:40:08 -0000https://sourceforge.net/p/eventb2sql/code/ci/6dd9bdd0d762c5300e0663ecfe68b2ff6160960d/https://sourceforge.net/p/eventb2sql/code/ci/ab8b120dce9a2df7b1b6255bbe407384adc40332/initial commit of jar projectTim WahlsFri, 20 Nov 2015 22:27:06 -0000https://sourceforge.net/p/eventb2sql/code/ci/ab8b120dce9a2df7b1b6255bbe407384adc40332/https://sourceforge.net/p/eventb2sql/code/ci/f0c8d2c6c68477cc1097f8714d045018be223e17/initial commit of projectTim WahlsFri, 20 Nov 2015 22:15:13 -0000https://sourceforge.net/p/eventb2sql/code/ci/f0c8d2c6c68477cc1097f8714d045018be223e17/