2022-03-12 |
Rename ff to iw.
Michal Prihoda
committed
on 12 Mar 2022
|
---|---|
2022-03-11 |
Basic projection in place. Not running.
Michal Prihoda
committed
on 11 Mar 2022
|
2022-03-10 |
Working journal.
Michal Prihoda
committed
on 10 Mar 2022
|
2022-03-09 |
Compiles with entity.
Michal Prihoda
committed
on 9 Mar 2022
|
Proof projection.
Michal Prihoda
committed
on 9 Mar 2022
|
|
2022-03-08 |
Persistent entity implemented.
Michal Prihoda
committed
on 8 Mar 2022
|
return back forgotten resources
Michal Prihoda
committed
on 8 Mar 2022
|
|
|
|
2022-03-07 |
Mongo repository for proofs.
Michal Prihoda
committed
on 7 Mar 2022
|
Rename Criteria to Criterion.
Michal Prihoda
committed
on 7 Mar 2022
|
|
|