Commit Graph

  • ba4c7502db PAN-52 Fixed issue with the Theorems API atusa17 2019-03-21 10:39:24 -06:00
  • 1e15082fcc PAN-52 Fixed issue with the Theorems API atusa17 2019-03-21 10:32:57 -06:00
  • 6b7cf5cd91 PAN-52 Fixed issue with the Theorems API atusa17 2019-03-21 10:28:51 -06:00
  • 413a78f729 PAN-52 Fixed issue with the Theorems API atusa17 2019-03-21 10:28:09 -06:00
  • 80f55c4879 PAN-52 Fixed issue with the Theorems API atusa17 2019-03-21 10:25:52 -06:00
  • ae15ec8073 Merge pull request #22 from atusa17/PAN-16 Alex Tusa 2019-03-20 22:47:56 -06:00
  • 8c79d9975e Merge branches 'PAN-16' and 'master' of https://github.com/atusa17/ptp into PAN-16 atusa17 2019-03-20 22:32:25 -06:00
  • 9695f5082a Merge branches 'PAN-15' and 'master' of https://github.com/atusa17/ptp into PAN-15 atusa17 2019-03-20 22:30:11 -06:00
  • f5f959b453 Merge branches 'PAN-15' and 'master' of https://github.com/atusa17/ptp into PAN-15 atusa17 2019-03-20 22:28:51 -06:00
  • f35777b5a6 Merge remote-tracking branch 'origin/PAN-15' into PAN-15 atusa17 2019-03-20 22:17:24 -06:00
  • 748781f10f Merge branches 'PAN-15' and 'master' of https://github.com/atusa17/ptp into PAN-15 atusa17 2019-03-20 22:15:32 -06:00
  • 083c149a73 Merge branch 'master' into PAN-15 Alex Tusa 2019-03-20 22:15:08 -06:00
  • 749a20c0fd Merge branches 'PAN-16' and 'master' of https://github.com/atusa17/ptp into PAN-16 atusa17 2019-03-20 22:00:11 -06:00
  • b15ef858b0 Merge pull request #23 from atusa17/PAN-52 dantanxiaotian 2019-03-20 16:20:03 -06:00
  • 860e5379e6 PAN-15 UserService.java and completed UserSservice integration test dantanxiaotian 2019-03-20 16:06:24 -06:00
  • 5479130178 fixed again, thanks Alex for your detailed reviews I have learned alot :) - 2019-03-19 17:44:53 -06:00
  • f0cb7633c6 updated with passed tests - 2019-03-19 00:11:38 -06:00
  • 9f5d9e24f5 made few changes also adding test method - 2019-03-18 13:52:01 -06:00
  • 7b2d5c45a6 PAN-52 Forgot to add the @Repository annotation to the ProofRepository atusa17 2019-03-17 22:59:18 -06:00
  • b48094ba26 PAN-11 Stuck trying to get the integration tests to be configured correctly atusa17 2019-03-17 22:02:00 -06:00
  • 3853911b3c PAN-11 corrected build.gradle inter-project dependencies atusa17 2019-03-17 21:09:07 -06:00
  • a84e6c6ab7 PAN-52 Removed useless classes atusa17 2019-03-17 16:22:23 -06:00
  • 9700eb55ab PAN-52 Removed useless classes atusa17 2019-03-17 16:21:32 -06:00
  • 7548ca64d0 PAN-52 Updated the build.gradle files and the .travis.yml atusa17 2019-03-17 16:01:12 -06:00
  • 6197beb309 PAN-52 Updated the build.gradle files atusa17 2019-03-17 15:37:04 -06:00
  • 6009720d80 PAN-52 Created RequestFactory unit tests atusa17 2019-03-17 15:07:23 -06:00
  • c90f5b6e09 PAN-57 Added patch method to RestService per request atusa17 2019-03-17 14:52:41 -06:00
  • a13ab97154 PAN-57 Refacted superfluous code atusa17 2019-03-17 14:48:43 -06:00
  • a85bf67d08 PAN-57 Refactored the Definition DTO atusa17 2019-03-17 14:36:44 -06:00
  • 1de1f7a5fc PAN-52 Finished integration tests for the proofs repository atusa17 2019-03-17 14:26:54 -06:00
  • 2c03c75938 PAN-52 Fixed a typo in the parameter arguments atusa17 2019-03-17 13:58:51 -06:00
  • 52a21e72f3 PAN-52 Updated logging formats atusa17 2019-03-17 12:51:48 -06:00
  • 4b866017a1 PAN-52 Finished creating the ProofController and writing all unit tests atusa 2019-03-15 15:58:23 -06:00
  • bd7455c679 PAN-52 updated the travis.yml file to also perform a sonar analysis after each build atusa 2019-03-15 15:04:45 -06:00
  • 150933b22b Merge remote-tracking branch 'origin/PAN-16' into PAN-16 - 2019-03-15 01:45:31 -06:00
  • 0afe995950 Reverted build file changes - 2019-03-15 01:44:51 -06:00
  • 401383f5da Delete gradlew~Stashed changes Alex Tusa 2019-03-14 20:45:56 -06:00
  • b5f1590142 Merge branch 'master' of https://github.com/atusa17/ptp into PAN-16 - 2019-03-14 17:15:42 -06:00
  • c45c0a6108 add to PAN-16 - 2019-03-14 17:04:10 -06:00
  • 139dc943c3 PAN-16 finished - 2019-03-14 16:58:17 -06:00
  • 4d0658a268 PAN-52 Added findByName to the TheoremRepository, and to the TheoremController as well as the corresponding tests, and a foreign key mapping from the proofs table to the corresponding theorem in the theorems table atusa17 2019-03-14 12:28:59 -06:00
  • d560f5831f PAN-52 Added findByName and findByBranch methods to the repository, and created first couple of methods and corresponding tests in the ProofController atusa17 2019-03-14 11:51:29 -06:00
  • 7af41d4235 PAN-52 Added findByName and findByBranch methods to the repository, and created first couple of methods and corresponding tests in the ProofController atusa17 2019-03-14 11:43:01 -06:00
  • 4bd1936a7a PAN-52 created the proofs DTO atusa17 2019-03-14 11:17:51 -06:00
  • bc92dc60d4 PAN-52 created the proofs table atusa17 2019-03-14 10:51:38 -06:00
  • fe0912fc24 Merge pull request #21 from atusa17/PAN-50 Brittany 2019-03-13 22:36:28 -06:00
  • 3483a2dd2c PAN-50 Addressed Brittany's comment about nonexistent fields atusa17 2019-03-13 22:24:32 -06:00
  • d19cb5a989 PAN-50 Addressed Brittany's comment about logging consistency atusa17 2019-03-13 22:05:08 -06:00
  • 47dd67623e PAN-50 Addressed Brittany's comment about my typo atusa17 2019-03-13 21:57:36 -06:00
  • 64dd8397cc PAN-50 Finished integration tests for theorems atusa17 2019-03-11 13:07:21 -06:00
  • fd760293ef PAN-50 Wrote Unit tests for the Theorem Controller, and initial integration Test for the theorem controller, but need to fix custom queries in both accountRepository and theoremRepository atusa17 2019-03-11 00:09:34 -06:00
  • 816d85196b PAN-50 added findByUsername to the AccountController class and tests atusa17 2019-03-10 23:04:29 -06:00
  • 46122cbafd PAN-15 Created gradle tasks to start the persistence API and to start the API asynchronously dantanxiaotian 2019-03-10 19:58:04 -06:00
  • ffaf020b80 PAN-15 WORKING AND WITH TRAVIS!!! dantanxiaotian 2019-03-10 17:21:32 -06:00
  • 5d429b2c8e PAN-15 Updated tests dantanxiaotian 2019-03-10 17:06:47 -06:00
  • ced18dcc97 Merge remote-tracking branch 'origin/PAN-15' into PAN-15 dantanxiaotian 2019-03-10 17:03:59 -06:00
  • 238908f4fa PAN-15 Updated tests dantanxiaotian 2019-03-10 17:03:50 -06:00
  • 10b0a09690 PAN-15 Updated the gradle dependencies dantanxiaotian 2019-03-10 16:18:19 -06:00
  • ba37ffeb57 PAN-15 Created initial UserService implementation and initial integration tests dantanxiaotian 2019-03-10 15:55:43 -06:00
  • 2dda30753e Merge pull request #19 from atusa17/PAN-60 dantanxiaotian 2019-03-10 13:24:03 -06:00
  • f4c7b55b62 PAN-60 Fixed a refactoring issue atusa17 2019-03-10 13:00:59 -06:00
  • f617ee7bd9 PAN-60 Fixed an issue with the connection to the database atusa17 2019-03-10 12:47:05 -06:00
  • c826185bba PAN-60 Created an example UserService atusa17 2019-03-10 12:33:54 -06:00
  • 22e401062a PAN-60 created the RequestFactory atusa17 2019-03-10 12:03:11 -06:00
  • e9661fdf78 PAN-60 created initial RestService atusa17 2019-03-10 11:48:34 -06:00
  • 6d7979c179 PAN-50 Created the findByProven_status method atusa17 2019-03-07 11:07:10 -07:00
  • 11aa1f1cf7 PAN-50 Created the findByBranch method atusa17 2019-03-07 10:50:22 -07:00
  • d6b18c2279 PAN-50 Began creation of the TheoremController atusa17 2019-03-07 10:27:51 -07:00
  • 86c5e8123e Here is the JSP file for hoempage zeliu 2019-03-07 10:22:08 -07:00
  • 2c3977e595 Merge remote-tracking branch 'origin/master' atusa17 2019-03-07 10:18:13 -07:00
  • 484180f717 Merge pull request #18 from atusa17/PAN-10 v0.2 Alex Tusa 2019-03-05 11:59:47 -07:00
  • 22cd0a74d3 Merge branch 'master' into PAN-10 Alex Tusa 2019-03-05 11:48:57 -07:00
  • 103d09bb0e PAN-10 added a null check to the recurse method atusa17 2019-03-05 11:48:18 -07:00
  • 2f5aef8092 PAN-10 ParserService.recurse() code refactored to be more readable. BrittanyBi 2019-03-04 23:00:26 -07:00
  • 357e9b23cc PAN-10 Refactored direct access of fields to getter and setter methods. BrittanyBi 2019-03-04 22:24:27 -07:00
  • 6f5bbab5ac PAN-10 Corrected many styling errors which required little refactoring. BrittanyBi 2019-03-04 21:23:45 -07:00
  • 27e56039f4 Create README.md Alex Tusa 2019-03-04 18:15:22 -07:00
  • 0167ac1a11 Create README.md Alex Tusa 2019-03-04 18:13:36 -07:00
  • 0b6e18b795 Update README.md Alex Tusa 2019-03-04 18:12:33 -07:00
  • f2498f4bda Update README.md Alex Tusa 2019-03-04 18:01:52 -07:00
  • 953f8d807c Update README.md Alex Tusa 2019-03-04 18:01:24 -07:00
  • b154648fdf Update README.md Alex Tusa 2019-03-04 17:59:00 -07:00
  • fae060e039 Update README.md Alex Tusa 2019-03-04 17:57:37 -07:00
  • 0e661bbf79 Merge remote-tracking branch 'origin/master' atusa17 2019-03-03 21:18:06 -07:00
  • a0753903b2 PAN-50 Updated the DTO's atusa17 2019-03-03 21:12:07 -07:00
  • dbce550625 Merge branch 'master' into PAN-10 Alex Tusa 2019-03-03 19:05:31 -07:00
  • 6a8f239995 Update .travis.yml Alex Tusa 2019-03-03 19:04:55 -07:00
  • 3762c10359 PAN-50 Fixed the .travis.yml file atusa17 2019-03-03 19:03:48 -07:00
  • e4594dc900 PAN-10 deleted commented-out code BrittanyBi 2019-03-03 19:01:01 -07:00
  • cbaea65b56 PAN-10 travis.yml update BrittanyBi 2019-03-03 18:58:34 -07:00
  • e47f2556f6 PAN-10 code & tests. 100% coverage. Node class extracted from ParserService class. ParserConfig deleted because it wasn't being used. BrittanyBi 2019-03-03 18:51:11 -07:00
  • 4999227e1b PAN-50 Created the TheoremRepository atusa17 2019-03-03 18:43:16 -07:00
  • ca8dc5c5df PAN-50 Created the DTO for theorems atusa17 2019-03-03 18:38:29 -07:00
  • 9d7673ebf2 PAN-50 Created the DTO for theorems atusa17 2019-03-03 18:36:14 -07:00
  • f6de79a3d4 PAN-50 Added the creation of the theorems table to the local_development.sql atusa17 2019-03-03 18:25:46 -07:00
  • 4b76f2eb69 PAN-10 code & test corrections. Node class extracted from ParserService class. BrittanyBi 2019-03-03 17:32:52 -07:00
  • d8422f67d7 TEST atusa17 2019-03-03 16:25:49 -07:00
  • 4130e7bef3 Added the README atusa17 2019-03-03 16:15:35 -07:00
  • 96c90a3c49 change git root atusa17 2019-03-03 16:13:24 -07:00
  • a1d5a82570 Merge pull request #15 from atusa17/PAN-48 Brittany 2019-02-27 19:02:38 -07:00