703FinalProject_tmp_tmpr_10rn4z_DP-GD.dfy
703FinalProject_tmp_tmpr_10rn4z_gaussian.dfy
CO3408-Advanced-Software-Modelling-Assignment-2022-23-Part-2-A-Specification-Spectacular_tmp_tmp4pj4p2zx_car_park.dfy
CSC8204-Dafny_tmp_tmp11yhjb53_stack.dfy
CSU55004---Formal-Verification_tmp_tmp4ki9iaqy_Project_Project_Part_1_project_pt_1.dfy
CVS-Projto1_tmp_tmpb1o0bu8z_fact.dfy
CVS-Projto1_tmp_tmpb1o0bu8z_searchSort.dfy
DafnyExercises_tmp_tmpd6qyevja_QuickExercises_testing2.dfy
DafnyProjects_tmp_tmp2acw_s4s_Graph.dfy
DafnyProjects_tmp_tmp2acw_s4s_Power.dfy
Dafny_Learning_Experience_tmp_tmpuxvcet_u_week1_7_MaxSum.dfy
Dafny_Learning_Experience_tmp_tmpuxvcet_u_week8_12_week8_CoffeeMaker2.dfy
Dafny_Learning_Experience_tmp_tmpuxvcet_u_week8_12_week9_lemma.dfy
Dafny_ProgrammingLanguages_tmp_tmp82_e0kji_ExtraCredit.dfy
Dafny_Programs_tmp_tmp99966ew4_mymax.dfy
Dafny_Verify_tmp_tmphq7j0row_Fine_Tune_Examples_error_data_completion_06_n.dfy
Dafny_Verify_tmp_tmphq7j0row_Test_Cases_Function.dfy
Dafny_Verify_tmp_tmphq7j0row_Test_Cases_Ghost.dfy
Dafny_Verify_tmp_tmphq7j0row_Test_Cases_Index.dfy
Dafny_Verify_tmp_tmphq7j0row_Test_Cases_Triple.dfy
Dafny_Verify_tmp_tmphq7j0row_dataset_C_convert_examples_01.dfy
Dafny_Verify_tmp_tmphq7j0row_dataset_C_convert_examples_06_n.dfy
Dafny_Verify_tmp_tmphq7j0row_dataset_C_convert_examples_23_x.dfy
Dafny_tmp_tmp0wu8wmfr_tests_F1a.dfy
Dafny_tmp_tmpj88zq5zt_2-Kontrakte_max.dfy
Dafny_tmp_tmpj88zq5zt_2-Kontrakte_reverse3.dfy
FMSE-2022-2023_tmp_tmp6_x_ba46_Lab3_Lab3.dfy
Formal-Methods-Project_tmp_tmphh2ar2xv_BubbleSort.dfy
Formal_Verification_With_Dafny_tmp_tmp5j79rq48_Counter.dfy
Prog-Fun-Solutions_tmp_tmp7_gmnz5f_mockExam2_p2.dfy
Prog-Fun-Solutions_tmp_tmp7_gmnz5f_mockExam2_p3.dfy
Program-Verification-Dataset_tmp_tmpgbdrlnu__Dafny_advanced examples_EvenPredicate.dfy
Program-Verification-Dataset_tmp_tmpgbdrlnu__Dafny_advanced examples_Modules.dfy
Program-Verification-Dataset_tmp_tmpgbdrlnu__Dafny_advanced examples_Refinement.dfy
Program-Verification-Dataset_tmp_tmpgbdrlnu__Dafny_algorithms and leetcode_heap2.dfy
Program-Verification-Dataset_tmp_tmpgbdrlnu__Dafny_algorithms and leetcode_math_pearson.dfy
Program-Verification-Dataset_tmp_tmpgbdrlnu__Dafny_basic examples_add_by_one_details.dfy
Program-Verification-Dataset_tmp_tmpgbdrlnu__Dafny_basic examples_product_details.dfy
Program-Verification-Dataset_tmp_tmpgbdrlnu__Dafny_from dafny main repo_dafny0_ModulePrint.dfy
Program-Verification-Dataset_tmp_tmpgbdrlnu__Dafny_from dafny main repo_dafny1_Queue.dfy
Program-Verification-Dataset_tmp_tmpgbdrlnu__Dafny_from dafny main repo_dafny4_Bug170.dfy
Program-Verification-Dataset_tmp_tmpgbdrlnu__Dafny_from dafny main repo_dafny4_ClassRefinement.dfy
Program-Verification-Dataset_tmp_tmpgbdrlnu__Dafny_from dafny main repo_dafny4_NipkowKlein-chapter3.dfy
Program-Verification-Dataset_tmp_tmpgbdrlnu__Dafny_mathematical objects verification_examples_logic.dfy
SENG2011_tmp_tmpgk5jq85q_ass1_ex7.dfy
SENG2011_tmp_tmpgk5jq85q_ass2_ex1.dfy
SENG2011_tmp_tmpgk5jq85q_ass2_ex2.dfy
Simulink-To_dafny_tmp_tmpbcuesj2t_Tank.dfy
Software-building-and-verification-Projects_tmp_tmp5tm1srrn_CVS-projeto_aula2.dfy
Trab1-Metodos-Formais_tmp_tmp_8fa4trr_circular-array.dfy
cs245-verification_tmp_tmp0h_nxhqp_A8_Q2.dfy
cs245-verification_tmp_tmp0h_nxhqp_Assignments_simple.dfy
cs245-verification_tmp_tmp0h_nxhqp_SortingIssues_BubbleSortCode.dfy
cs357_tmp_tmpn4fsvwzs_lab7_question2.dfy
cs686_tmp_tmpdhuh5dza_classNotes_notes-9-8-21.dfy
dafl_tmp_tmp_r3_8w3y_dafny_examples_dafny0_DividedConstructors.dfy
dafl_tmp_tmp_r3_8w3y_dafny_examples_dafny0_ForallCompilationNewSyntax.dfy
dafl_tmp_tmp_r3_8w3y_dafny_examples_dafny0_InSetComprehension.dfy
dafl_tmp_tmp_r3_8w3y_dafny_examples_dafny0_SharedDestructorsCompile.dfy
dafny-exercise_tmp_tmpouftptir_filter.dfy
dafny-exercise_tmp_tmpouftptir_prac1_ex1.dfy
dafny-language-server_tmp_tmpkir0kenl_Test_LanguageServerTest_DafnyFiles_symbolTable_15_array.dfy
dafny-language-server_tmp_tmpkir0kenl_Test_dafny0_FuelTriggers.dfy
dafny-language-server_tmp_tmpkir0kenl_Test_dafny4_Bug144.dfy
dafny-language-server_tmp_tmpkir0kenl_Test_dafny4_Bug165.dfy
dafny-language-server_tmp_tmpkir0kenl_Test_dafny4_Bug58.dfy
dafny-language-server_tmp_tmpkir0kenl_Test_dafny4_Bug92.dfy
dafny-language-server_tmp_tmpkir0kenl_Test_dafny4_Regression19.dfy
dafny-language-server_tmp_tmpkir0kenl_Test_dafny4_git-issue133.dfy
dafny-language-server_tmp_tmpkir0kenl_Test_dafny4_git-issue40.dfy
dafny-language-server_tmp_tmpkir0kenl_Test_dafny4_git-issue41.dfy
dafny-language-server_tmp_tmpkir0kenl_Test_dafny4_git-issue67.dfy
dafny-language-server_tmp_tmpkir0kenl_Test_dafny4_git-issue74.dfy
dafny-language-server_tmp_tmpkir0kenl_Test_dafny4_git-issue76.dfy
dafny-language-server_tmp_tmpkir0kenl_Test_hofs_SumSum.dfy
dafny-language-server_tmp_tmpkir0kenl_Test_hofs_WhileLoop.dfy
dafny-language-server_tmp_tmpkir0kenl_Test_triggers_auto-triggers-fix-an-issue-listed-in-the-ironclad-notebook.dfy
dafny-language-server_tmp_tmpkir0kenl_Test_triggers_large-quantifiers-dont-break-dafny.dfy
dafny-language-server_tmp_tmpkir0kenl_Test_triggers_loop-detection-looks-at-ranges-too.dfy
dafny-learn_tmp_tmpn94ir40q_R01_assertions.dfy
dafny-mini-project_tmp_tmpjxr3wzqh_src_project2a.dfy
dafny-programs_tmp_tmpcwodh6qh_src_max.dfy
dafny-programs_tmp_tmpcwodh6qh_src_ticketsystem.dfy
dafny-workout_tmp_tmp0abkw6f8_starter_ex01.dfy
dafny-workout_tmp_tmp0abkw6f8_starter_ex02.dfy
dafny-workout_tmp_tmp0abkw6f8_starter_ex03.dfy
formal-methods-in-software-engineering_tmp_tmpe7fjnek6_Labs2_gr2.dfy
formal-methods-in-software-engineering_tmp_tmpe7fjnek6_Labs2_hw1.dfy
formal_verication_dafny_tmp_tmpwgl2qz28_Challenges_ex2.dfy
groupTheory_tmp_tmppmmxvu8h_tutorial2.dfy
iron-sync_tmp_tmps49o3tyz_concurrency_docs_code_ShardedStateMachine.dfy
ironsync-osdi2023_tmp_tmpx80antoe_linear-dafny_Test_c++_maps.dfy
ironsync-osdi2023_tmp_tmpx80antoe_linear-dafny_Test_c++_sets.dfy
ironsync-osdi2023_tmp_tmpx80antoe_linear-dafny_Test_git-issues_git-issue-283.dfy
ironsync-osdi2023_tmp_tmpx80antoe_linear-dafny_Test_git-issues_git-issue-506.dfy
ironsync-osdi2023_tmp_tmpx80antoe_linear-dafny_docs_DafnyRef_examples_Example-Old3.dfy
lets-prove-blocking-queue_tmp_tmptd_aws1k_dafny_prod-cons.dfy
paxos_proof_tmp_tmpxpmiksmt_triggers.dfy
protocol-verification-fa2023_tmp_tmpw6hy3mjp_demos_ch04_inductive_chain.dfy
protocol-verification-fa2023_tmp_tmpw6hy3mjp_demos_dafny-internals_02-triggers_triggers2.dfy
protocol-verification-fa2023_tmp_tmpw6hy3mjp_demos_dafny-internals_03-encoding_lemma_call.dfy
se2011_tmp_tmp71eb82zt_ass1_ex6.dfy
se2011_tmp_tmp71eb82zt_ass2_ex2.dfy
stunning-palm-tree_tmp_tmpr84c2iwh_ch1.dfy
stunning-palm-tree_tmp_tmpr84c2iwh_ch8.dfy
summer-school-2020_tmp_tmpn8nf7zf0_chapter01_solutions_exercise04_solution.dfy
summer-school-2020_tmp_tmpn8nf7zf0_chapter02_solutions_exercise01_solution.dfy
t1_MF_tmp_tmpi_sqie4j_exemplos_classes_parte1_contadorV1b.dfy
test-generation-examples_tmp_tmptwyqofrp_IntegerSet_dafny_Utils.dfy
test-generation-examples_tmp_tmptwyqofrp_ParamTests_dafny_Utils.dfy
type-definition_tmp_tmp71kdzz3p_final.dfy
verified-isort_tmp_tmp7hhb8ei__dafny_isort.dfy
vfag_tmp_tmpc29dxm1j_Verificacion_torneo.dfy
Clover_abs.dfy
Clover_avg.dfy
Clover_compare.dfy
Clover_convert_map_key.dfy
Clover_double_quadruple.dfy
Clover_is_even.dfy
Clover_min_of_two.dfy
Clover_modify_2d_array.dfy
Clover_multi_return.dfy
Clover_return_seven.dfy
Clover_seq_to_array.dfy
Clover_swap_arith.dfy
Clover_swap_bitvector.dfy
Clover_swap_in_array.dfy
Clover_swap.dfy
Clover_swap_sim.dfy
Clover_test_array.dfy
Clover_triple.dfy
Clover_triple2.dfy
Clover_triple3.dfy
Clover_triple4.dfy
Clover_update_array.dfy
Clover_update_map.dfy
dafny-synthesis_task_id_14.dfy
dafny-synthesis_task_id_17.dfy
dafny-synthesis_task_id_58.dfy
dafny-synthesis_task_id_59.dfy
dafny-synthesis_task_id_61.dfy
dafny-synthesis_task_id_77.dfy
dafny-synthesis_task_id_79.dfy
dafny-synthesis_task_id_80.dfy
dafny-synthesis_task_id_82.dfy
dafny-synthesis_task_id_85.dfy
dafny-synthesis_task_id_86.dfy
dafny-synthesis_task_id_89.dfy
dafny-synthesis_task_id_101.dfy
dafny-synthesis_task_id_127.dfy
dafny-synthesis_task_id_135.dfy
dafny-synthesis_task_id_139.dfy
dafny-synthesis_task_id_142.dfy
dafny-synthesis_task_id_143.dfy
dafny-synthesis_task_id_171.dfy
dafny-synthesis_task_id_227.dfy
dafny-synthesis_task_id_233.dfy
dafny-synthesis_task_id_234.dfy
dafny-synthesis_task_id_238.dfy
dafny-synthesis_task_id_240.dfy
dafny-synthesis_task_id_242.dfy
dafny-synthesis_task_id_257.dfy
dafny-synthesis_task_id_262.dfy
dafny-synthesis_task_id_264.dfy
dafny-synthesis_task_id_266.dfy
dafny-synthesis_task_id_268.dfy
dafny-synthesis_task_id_269.dfy
dafny-synthesis_task_id_276.dfy
dafny-synthesis_task_id_279.dfy
dafny-synthesis_task_id_292.dfy
dafny-synthesis_task_id_304.dfy
dafny-synthesis_task_id_309.dfy
dafny-synthesis_task_id_312.dfy
dafny-synthesis_task_id_396.dfy
dafny-synthesis_task_id_397.dfy
dafny-synthesis_task_id_404.dfy
dafny-synthesis_task_id_406.dfy
dafny-synthesis_task_id_430.dfy
dafny-synthesis_task_id_432.dfy
dafny-synthesis_task_id_435.dfy
dafny-synthesis_task_id_441.dfy
dafny-synthesis_task_id_452.dfy
dafny-synthesis_task_id_455.dfy
dafny-synthesis_task_id_458.dfy
dafny-synthesis_task_id_461.dfy
dafny-synthesis_task_id_567.dfy
dafny-synthesis_task_id_574.dfy
dafny-synthesis_task_id_576.dfy
dafny-synthesis_task_id_577.dfy
dafny-synthesis_task_id_581.dfy
dafny-synthesis_task_id_586.dfy
dafny-synthesis_task_id_591.dfy
dafny-synthesis_task_id_598.dfy
dafny-synthesis_task_id_600.dfy
dafny-synthesis_task_id_606.dfy
dafny-synthesis_task_id_622.dfy
dafny-synthesis_task_id_625.dfy
dafny-synthesis_task_id_626.dfy
dafny-synthesis_task_id_637.dfy
dafny-synthesis_task_id_641.dfy
dafny-synthesis_task_id_750.dfy
dafny-synthesis_task_id_762.dfy
dafny-synthesis_task_id_764.dfy
dafny-synthesis_task_id_776.dfy
dafny-synthesis_task_id_792.dfy
dafny-synthesis_task_id_799.dfy
dafny-synthesis_task_id_801.dfy
dafny-synthesis_task_id_803.dfy
