<commit_before>FSTAR_HOME=../..
include ../Makefile.include

OTHERFLAGS+=--include ../tactics

all: SepLogic.Heap.uver Shallow.uver SL.Heap.uver SL.Effect.uver	\
	SL.Shallow.uver Examples.custom SL.Examples.custom		\
	SL.ExamplesAuto.custom

#Excludes 2-phase tc and extracted interfaces
%.custom: %.fst
	$(FSTAR) --use_two_phase_tc false --use_extracted_interfaces false $^

%.fst-in:
	@echo $(OTHERFLAGS)<commit_msg>retain 2-phase tc but exclude extracted interfaces on a couple of SL examples<commit_after>FSTAR_HOME=../..
include ../Makefile.include

OTHERFLAGS+=--include ../tactics

all: SepLogic.Heap.uver Shallow.uver SL.Heap.uver SL.Effect.uver	\
	SL.Shallow.uver Examples.uver SL.Examples.uver		\
	SL.ExamplesAuto.uver

#Excludes extracted interfaces for these examples
SL.Examples.uver: OTHERFLAGS+= --use_extracted_interfaces false
SL.ExamplesAuto.uver: OTHERFLAGS+= --use_extracted_interfaces false

%.fst-in:
	@echo $(OTHERFLAGS)
{'fraction_non_alphanumeric': 0.12937433722163308, 'fraction_numerical': 0.0021208907741251328, 'mean_word_length': 4.425287356321839, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '2197258', 'n_tokens_mistral': 355, 'n_tokens_neox': 334, 'n_words': 72}