|
|
7548ca64d0
|
PAN-52 Updated the build.gradle files and the .travis.yml
|
2019-03-17 16:01:12 -06:00 |
|
|
|
a13ab97154
|
PAN-57 Refacted superfluous code
|
2019-03-17 14:48:43 -06:00 |
|
|
|
a85bf67d08
|
PAN-57 Refactored the Definition DTO
|
2019-03-17 14:36:44 -06:00 |
|
|
|
1de1f7a5fc
|
PAN-52 Finished integration tests for the proofs repository
|
2019-03-17 14:26:54 -06:00 |
|
|
|
2c03c75938
|
PAN-52 Fixed a typo in the parameter arguments
|
2019-03-17 13:58:51 -06:00 |
|
|
|
52a21e72f3
|
PAN-52 Updated logging formats
|
2019-03-17 12:51:48 -06:00 |
|
atusa
|
4b866017a1
|
PAN-52 Finished creating the ProofController and writing all unit tests
|
2019-03-15 15:58:23 -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 |
|
|
|
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 |
|
|
|
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 |
|
|
|
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 |
|
|
|
2c3977e595
|
Merge remote-tracking branch 'origin/master'
|
2019-03-07 10:18:13 -07:00 |
|
Alex Tusa
|
0167ac1a11
|
Create README.md
|
2019-03-04 18:13:36 -07:00 |
|
|
|
a0753903b2
|
PAN-50 Updated the DTO's
|
2019-03-03 21:12:07 -07:00 |
|
|
|
3762c10359
|
PAN-50 Fixed the .travis.yml file
|
2019-03-03 19:03:48 -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 |
|
|
|
d8422f67d7
|
TEST
|
2019-03-03 16:25:49 -07:00 |
|
|
|
96c90a3c49
|
change git root
|
2019-03-03 16:13:24 -07:00 |
|
