atusa
|
4b866017a1
|
PAN-52 Finished creating the ProofController and writing all unit tests
|
2019-03-15 15:58:23 -06:00 |
|
atusa
|
bd7455c679
|
PAN-52 updated the travis.yml file to also perform a sonar analysis after each build
|
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 |
|
Alex Tusa
|
401383f5da
|
Delete gradlew~Stashed changes
|
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
|
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
|
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
|
2019-03-14 11:43:01 -06:00 |
|
|
|
4bd1936a7a
|
PAN-52 created the proofs DTO
|
2019-03-14 11:17:51 -06:00 |
|
|
|
bc92dc60d4
|
PAN-52 created the proofs table
|
2019-03-14 10:51:38 -06:00 |
|
Brittany
|
fe0912fc24
|
Merge pull request #21 from atusa17/PAN-50
Pan 50
|
2019-03-13 22:36:28 -06:00 |
|
|
|
3483a2dd2c
|
PAN-50 Addressed Brittany's comment about nonexistent fields
|
2019-03-13 22:24:32 -06:00 |
|
|
|
d19cb5a989
|
PAN-50 Addressed Brittany's comment about logging consistency
|
2019-03-13 22:05:08 -06:00 |
|
|
|
47dd67623e
|
PAN-50 Addressed Brittany's comment about my typo
|
2019-03-13 21:57:36 -06:00 |
|
|
|
64dd8397cc
|
PAN-50 Finished integration tests for theorems
|
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
|
2019-03-11 00:09:34 -06:00 |
|
|
|
816d85196b
|
PAN-50 added findByUsername to the AccountController class and tests
|
2019-03-10 23:04:29 -06:00 |
|
dantanxiaotian
|
46122cbafd
|
PAN-15 Created gradle tasks to start the persistence API and to start the API asynchronously
|
2019-03-10 19:58:04 -06:00 |
|
dantanxiaotian
|
ffaf020b80
|
PAN-15 WORKING AND WITH TRAVIS!!!
|
2019-03-10 17:21:32 -06:00 |
|
dantanxiaotian
|
5d429b2c8e
|
PAN-15 Updated tests
|
2019-03-10 17:06:47 -06:00 |
|
dantanxiaotian
|
ced18dcc97
|
Merge remote-tracking branch 'origin/PAN-15' into PAN-15
|
2019-03-10 17:03:59 -06:00 |
|
dantanxiaotian
|
238908f4fa
|
PAN-15 Updated tests
|
2019-03-10 17:03:50 -06:00 |
|
dantanxiaotian
|
10b0a09690
|
PAN-15 Updated the gradle dependencies
|
2019-03-10 16:18:19 -06:00 |
|
dantanxiaotian
|
ba37ffeb57
|
PAN-15 Created initial UserService implementation and initial integration tests
|
2019-03-10 15:55:43 -06:00 |
|
dantanxiaotian
|
2dda30753e
|
Merge pull request #19 from atusa17/PAN-60
Pan 60
|
2019-03-10 13:24:03 -06:00 |
|
|
|
f4c7b55b62
|
PAN-60 Fixed a refactoring issue
|
2019-03-10 13:00:59 -06:00 |
|
|
|
f617ee7bd9
|
PAN-60 Fixed an issue with the connection to the database
|
2019-03-10 12:47:05 -06:00 |
|
|
|
c826185bba
|
PAN-60 Created an example UserService
|
2019-03-10 12:33:54 -06:00 |
|
|
|
22e401062a
|
PAN-60 created the RequestFactory
|
2019-03-10 12:03:11 -06:00 |
|
|
|
e9661fdf78
|
PAN-60 created initial RestService
|
2019-03-10 11:48:34 -06:00 |
|
|
|
6d7979c179
|
PAN-50 Created the findByProven_status method
|
2019-03-07 11:07:10 -07:00 |
|
|
|
11aa1f1cf7
|
PAN-50 Created the findByBranch method
|
2019-03-07 10:50:22 -07:00 |
|
|
|
d6b18c2279
|
PAN-50 Began creation of the TheoremController
|
2019-03-07 10:27:51 -07:00 |
|
zeliu
|
86c5e8123e
|
Here is the JSP file for hoempage
|
2019-03-07 10:22:08 -07:00 |
|
|
|
2c3977e595
|
Merge remote-tracking branch 'origin/master'
|
2019-03-07 10:18:13 -07:00 |
|
Alex Tusa
|
484180f717
|
Merge pull request #18 from atusa17/PAN-10
PAN-10 code & test corrections. 100% coverage & passed.
v0.2
|
2019-03-05 11:59:47 -07:00 |
|
Alex Tusa
|
22cd0a74d3
|
Merge branch 'master' into PAN-10
|
2019-03-05 11:48:57 -07:00 |
|
|
|
103d09bb0e
|
PAN-10 added a null check to the recurse method
|
2019-03-05 11:48:18 -07:00 |
|
BrittanyBi
|
2f5aef8092
|
PAN-10 ParserService.recurse() code refactored to be more readable.
|
2019-03-04 23:00:26 -07:00 |
|
BrittanyBi
|
357e9b23cc
|
PAN-10 Refactored direct access of fields to getter and setter methods.
|
2019-03-04 22:24:27 -07:00 |
|
BrittanyBi
|
6f5bbab5ac
|
PAN-10 Corrected many styling errors which required little refactoring.
|
2019-03-04 21:23:45 -07:00 |
|
Alex Tusa
|
27e56039f4
|
Create README.md
|
2019-03-04 18:15:22 -07:00 |
|
Alex Tusa
|
0167ac1a11
|
Create README.md
|
2019-03-04 18:13:36 -07:00 |
|
Alex Tusa
|
0b6e18b795
|
Update README.md
|
2019-03-04 18:12:33 -07:00 |
|
Alex Tusa
|
f2498f4bda
|
Update README.md
|
2019-03-04 18:01:52 -07:00 |
|
Alex Tusa
|
953f8d807c
|
Update README.md
|
2019-03-04 18:01:24 -07:00 |
|
Alex Tusa
|
b154648fdf
|
Update README.md
|
2019-03-04 17:59:00 -07:00 |
|
