tests · 71bce7f8ea6c3822fc29263bb2338948fe01c8d7 · Adam / stdpp · GitLab

Snippets Groups Projects

Forked from Iris / stdpp

1057 commits behind the upstream repository.

Merge branch 'ralf/mk_evar' into 'master'

Ralf Jung authored 3 years ago

alternative implementation of mk_evar that keeps naive_solver working

Closes #115

See merge request iris/stdpp!299

7d502178

7d502178 3 years ago

Name	Last commit	Last update
..
eunify.ref
eunify.v
fin_maps.ref
fin_maps.v
length.ref
length.v
list.ref
list.v
multiset_solver.ref
multiset_solver.v
notation.ref
notation.v
numbers.ref
numbers.v
pretty.ref
pretty.v
proper.ref
proper.v
sets.ref
sets.v
solve_ndisj.ref
solve_ndisj.v
tactics.ref
tactics.v
telescopes.ref
telescopes.v
typeclasses.ref
typeclasses.v