GitBucket
| 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
|