2023-09-23 |
Extending the FileStores
Michal Příhoda
committed
on 23 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-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-03-25 |
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
|