.ignore

*.fst.hints

# Ignore stage0, we mostly don't care about it
stage0

# This is a list of all symlinks in the repo, generated by
# git ls-files | while read i; do [ -L "$i" ] && echo $i; done
# having this here simplifies search results significantly
mk/fstar-01.mk
stage1/Makefile
stage1/dune/fstar-guts/FStarC_Parser_Parse.mly
stage1/dune/fstar-guts/app
stage1/dune/fstar-guts/bare
stage1/dune/fstar-guts/fstarc.ml
stage1/dune/fstar-plugins/app
stage1/dune/fstar-plugins/full
stage1/dune/fstar-plugins/plugin
stage1/dune/fstar-plugins/plugins.ml
stage1/dune/fstarc-full/main.ml
stage1/dune/libapp/app
stage1/dune/libapp/app-extra
stage1/dune/libapp/ulib.ml
stage1/dune/libplugin/app
stage1/dune/libplugin/app-extra
stage1/dune/libplugin/full
stage1/dune/libplugin/plugin
stage1/dune/libplugin/ulib.pluginml
stage1/ulib
stage1/version.txt
stage2/Makefile
stage2/dune/fstar-guts/FStarC_Parser_Parse.mly
stage2/dune/fstar-guts/app
stage2/dune/fstar-guts/bare
stage2/dune/fstar-guts/fstarc.ml
stage2/dune/fstar-plugins/app
stage2/dune/fstar-plugins/full
stage2/dune/fstar-plugins/plugin
stage2/dune/fstar-plugins/plugins.ml
stage2/dune/fstarc-full/main.ml
stage2/dune/libapp/app
stage2/dune/libapp/app-extra
stage2/dune/libapp/ulib.ml
stage2/dune/libplugin/app
stage2/dune/libplugin/app-extra
stage2/dune/libplugin/full
stage2/dune/libplugin/plugin
stage2/dune/libplugin/ulib.pluginml
stage2/ulib
stage2/version.txt
tests/incl/field.pos/Makefile
tests/incl/noshadow.neg/Makefile
tests/incl/noshadow.pos/Makefile
tests/incl/open.neg/Makefile
tests/incl/open.pos/Makefile
tests/incl/plain.neg/Makefile
tests/incl/plain.pos/Makefile
tests/incl/private.neg/Makefile
tests/incl/private.pos/Makefile
tests/incl/shadow.neg/Makefile
tests/incl/shadow.pos/Makefile
tests/incl/trans.neg/Makefile
tests/incl/trans.pos/Makefile
tests/struct/array.pos/Makefile
tests/struct/disjoint.pos/Makefile
tests/struct/jsonparser.pos/Makefile
tests/struct/nested.pos/Makefile
tests/struct/point-with-nesting.pos/Makefile
tests/struct/point.pos/Makefile
tests/struct/taggedunion.pos/Makefile
tests/struct/union.pos/Makefile