-
|
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
|
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 |
|
Alex Tusa
|
fae060e039
|
Update README.md
|
2019-03-04 17:57:37 -07:00 |
|
|
|
0e661bbf79
|
Merge remote-tracking branch 'origin/master'
|
2019-03-03 21:18:06 -07:00 |
|
|
|
a0753903b2
|
PAN-50 Updated the DTO's
|
2019-03-03 21:12:07 -07:00 |
|
Alex Tusa
|
dbce550625
|
Merge branch 'master' into PAN-10
|
2019-03-03 19:05:31 -07:00 |
|
Alex Tusa
|
6a8f239995
|
Update .travis.yml
|
2019-03-03 19:04:55 -07:00 |
|
|
|
3762c10359
|
PAN-50 Fixed the .travis.yml file
|
2019-03-03 19:03:48 -07:00 |
|
BrittanyBi
|
e4594dc900
|
PAN-10 deleted commented-out code
|
2019-03-03 19:01:01 -07:00 |
|
BrittanyBi
|
cbaea65b56
|
PAN-10 travis.yml update
|
2019-03-03 18:58:34 -07:00 |
|
BrittanyBi
|
e47f2556f6
|
PAN-10 code & tests. 100% coverage.
Node class extracted from ParserService class.
ParserConfig deleted because it wasn't being used.
|
2019-03-03 18:51:11 -07:00 |
|
|
|
4999227e1b
|
PAN-50 Created the TheoremRepository
|
2019-03-03 18:43:16 -07:00 |
|
|
|
ca8dc5c5df
|
PAN-50 Created the DTO for theorems
|
2019-03-03 18:38:29 -07:00 |
|
|
|
9d7673ebf2
|
PAN-50 Created the DTO for theorems
|
2019-03-03 18:36:14 -07:00 |
|
|
|
f6de79a3d4
|
PAN-50 Added the creation of the theorems table to the local_development.sql
|
2019-03-03 18:25:46 -07:00 |
|
