tree ad301a2e4f7642bc617182358af4f1c3e26bc0f6
parent a53083db6cdbb93c172f91566919519b3b98cb9c
author Tamas Cservenak <tamas@cservenak.net> 1641455274 +0100
committer Hervé Boutemy <herve.boutemy@free.fr> 1641651954 +0100

Proposal to change abstract provider

Changes:
* validate input
* do not modify loop invariant within loop body