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 |
|
2022-11-01 |
Initial separate version.
Michal Prihoda
committed
on 1 Nov 2022
|
2022-10-24 |
|
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 |
|
2022-05-12 |
|
Report errors only when some happen.
Michal Prihoda
committed
on 12 May 2022
|
|
2022-05-10 |
|
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
|