move gen_heap to base_logic. It does not depend on WP or antyhing language-specific.

2 jobs for master in 11 minutes and 15 seconds (queued for 1 second)
Status Name Job ID Coverage
  Test
failed iris-coq8.5.3 #2039
coq

00:06:17

failed iris-coq8.6 #2040
coq

00:04:58

 
Name Stage Failure
failed
iris-coq8.6 Test There is an unknown failure, please try again
make[1]: *** Waiting for unfinished jobs....
make[1]: Leaving directory '/builds/FP/iris-coq'
Makefile:19: recipe for target 'all' failed
make: *** [all] Error 2

real 2m51.636s
user 8m35.107s
sys 0m14.030s
ERROR: Build failed: exit code 1
failed
iris-coq8.5.3 Test There is an unknown failure, please try again
theories/heap_lang/lib/barrier/proof (user: 28.47 mem: 577996 ko)
make[1]: Leaving directory '/builds/FP/iris-coq'
Makefile:19: recipe for target 'all' failed
make: *** [all] Error 2

real 3m57.112s
user 11m4.027s
sys 0m16.650s
ERROR: Build failed: exit code 1