Select Git revision
- Branches 10
- master default protected
- interpreter
- icfp-artifact
- concurrency
- constructors
- extend-bugfix
- translator
- store
- safe
- pure
- Tags 5
- list-iter-noinv-specs
- pure_wp/pure_step/no_immediately_pure
- pure_wp/pure_step/immediately_pure
- simp-based
- ocaml4
