No memory

Most basic auction process

This is the most basic version of an auction process. It does not memorise who bid what.

auction_no_memory.arl
archetype auction_no_memory
variable bid : tez = 0tz
variable incumbent : address = @tz1Lc2qBKEWCBeDU8npG6zCeCqpmaegRi6Jg
variable deadline : date = 2019-01-01T00:00:00
entry place_bid (id : address, b : tez) {
require {
c1 : now < deadline;
c2 : b > bid;
}
effect {
incumbent := caller;
bid := transferred
}
}
Edit on GitHub