History for support / mongo
2023-09-23
Extending the FileStores
Michal Příhoda committed on 23 Sep 2023
2023-09-16
Fix mongo IT compilation
Michal Příhoda committed on 16 Sep 2023
2023-09-15
Extract mongo IT, start http server
Michal Příhoda committed on 15 Sep 2023
2023-08-21
Clean compile after non-test classes after Scala 3.3.0
Michal Příhoda committed on 21 Aug 2023
2023-02-21
Do not propagate exceptions from Mongo. ...
Michal Příhoda committed on 21 Feb 2023
2022-11-01
Initial separate version.
Michal Prihoda committed on 1 Nov 2022
2022-10-24
Parameters endpoints update ...
Michal Příhoda committed on 24 Oct 2022
2022-10-21
Mongo parameters repository implemented.
Michal Prihoda committed on 21 Oct 2022
2022-07-31
Back to SBT - build working.
Michal Prihoda committed on 31 Jul 2022
2022-05-19
Download whole file, not just first chunk. ...
Michal Prihoda committed on 19 May 2022
2022-05-12
Encode filenames. ...
Michal Prihoda committed on 12 May 2022
Report errors only when some happen.
Michal Prihoda committed on 12 May 2022
2022-05-10
Remove the mock user again. ...
Michal Prihoda committed on 10 May 2022
2022-04-24
Serialization done.
Michal Prihoda committed on 24 Apr 2022
2022-03-25
File upload done, parameters update.
Michal Prihoda committed on 25 Mar 2022
Mongo file repository.
Michal Prihoda committed on 25 Mar 2022
Moved mongo json repository to top-level src
Michal Prihoda committed on 25 Mar 2022
2022-03-22
Kriteria update
Michal Prihoda committed on 22 Mar 2022
2022-03-21
Proof repo type fix.
Michal Prihoda committed on 21 Mar 2022
2022-03-12
initial commit
Michal Prihoda committed on 12 Mar 2022