Commit Graph

14 Commits

Author SHA1 Message Date
12f7d7f359 PAN-11 fixed all integration tests 2019-04-07 18:00:12 -06:00
7802e25310 Merge branches 'PAN-11' and 'master' of https://github.com/atusa17/ptp into PAN-11
# Conflicts:
#	services/src/integrationTest/resources/test.properties
#	services/src/main/java/edu/msudenver/tsp/services/dto/Account.java
2019-04-07 16:03:36 -06:00
978b58fe2c PAN-11 wrote the GetAllDefinitions() method 2019-03-24 20:48:25 -06:00
f5dbdac990 PAN-52 Fixed issue with the Theorems API 2019-03-21 11:29:30 -06:00
c9a2a978fc PAN-52 Fixed issue with the Theorems API 2019-03-21 11:20:52 -06:00
f8a1d8bf89 PAN-52 Fixed issue with the Theorems API 2019-03-21 10:55:15 -06:00
ba4c7502db PAN-52 Fixed issue with the Theorems API 2019-03-21 10:39:24 -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
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
f6de79a3d4 PAN-50 Added the creation of the theorems table to the local_development.sql 2019-03-03 18:25:46 -07:00
96c90a3c49 change git root 2019-03-03 16:13:24 -07:00