(new branch) disabled the scanning hook. There is a significant improvement in performance (from 5 seconds to 2 seconds) It is still a bit behind the all-heap version (2.1 instead of 1.8)
(new branch) disabled the scanning hook.
There is a significant improvement in performance (from 5 seconds to 2 seconds)
It is still a bit behind the all-heap version (2.1 instead of 1.8)

./sieveLoop 2000

hoheinzollern/FStar,aa755/FStar,FStarLang/FStar,msprotz/FStar,msprotz/FStar,A-Manning/FStar,msprotz/FStar,aa755/FStar,YaccConstructor/FStar,hoheinzollern/FStar,hoheinzollern/FStar,YaccConstructor/FStar,hoheinzollern/FStar,YaccConstructor/FStar,FStarLang/FStar,MallabaevAzamat/FStar,MallabaevAzamat/FStar,MallabaevAzamat/FStar,aa755/FStar,msprotz/FStar,MallabaevAzamat/FStar,FStarLang/FStar,A-Manning/FStar,aa755/FStar,YaccConstructor/FStar,A-Manning/FStar