https://github.com/FStarLang/FStar
- HEAD
- refs/heads/TheoWinterhalter-opam-migrate-parsetree
- refs/heads/_afromher_debug
- refs/heads/_afromher_frame_debug
- refs/heads/_afromher_framing
- refs/heads/_afromher_framing_debug
- refs/heads/_afromher_framing_equalities
- refs/heads/_afromher_framing_layered
- refs/heads/_afromher_selectors
- refs/heads/_afromher_selectors_debug
- refs/heads/_afromher_steel
- refs/heads/_afromher_steel_encoding
- refs/heads/_afromher_steel_framing
- refs/heads/_afromher_steel_layered_debug
- refs/heads/_afromher_steel_tactics
- refs/heads/_afromher_steeleffect
- refs/heads/_afromher_steeleffect_debug
- refs/heads/_afromher_steelrefinements
- refs/heads/_afromher_tactics2
- refs/heads/_afromher_tmp
- refs/heads/_aseem_1355
- refs/heads/_aseem_1861
- refs/heads/_aseem_1916
- refs/heads/_aseem_1916_no_lex_eq
- refs/heads/_aseem_2293
- refs/heads/_aseem_2635
- refs/heads/_aseem_2635_tmp
- refs/heads/_aseem_2641
- refs/heads/_aseem_abstract
- refs/heads/_aseem_abstract_hs_mem
- refs/heads/_aseem_abstract_tmp_uint
- refs/heads/_aseem_binders_attrs_syntax
- refs/heads/_aseem_cache_smt
- refs/heads/_aseem_checked_files
- refs/heads/_aseem_debug_owg_counter
- refs/heads/_aseem_delay_abs_body_guard
- refs/heads/_aseem_detail_errors
- refs/heads/_aseem_effect_combinators_cleanup
- refs/heads/_aseem_erasable_effects
- refs/heads/_aseem_eta_experiment
- refs/heads/_aseem_feq_sn
- refs/heads/_aseem_incremental_pulse
- refs/heads/_aseem_ite_soundness_by_tac
- refs/heads/_aseem_layered_effect_defn_syntax
- refs/heads/_aseem_layered_effects
- refs/heads/_aseem_layered_effects_only
- refs/heads/_aseem_layered_effects_only_bind_with_pure
- refs/heads/_aseem_lcomp_thunks
- refs/heads/_aseem_leteq
- refs/heads/_aseem_lifts_from_effect_abbrevs
- refs/heads/_aseem_lights_on
- refs/heads/_aseem_linear_modifies
- refs/heads/_aseem_lowstar_endianness
- refs/heads/_aseem_lowstar_sem
- refs/heads/_aseem_lowstar_stexn
- refs/heads/_aseem_match_lopt
- refs/heads/_aseem_memoize_tc
- refs/heads/_aseem_misc
- refs/heads/_aseem_monotonic_buffers
- refs/heads/_aseem_monotonic_buffers_v2
- refs/heads/_aseem_monotonic_bv
- refs/heads/_aseem_mpar_index
- refs/heads/_aseem_native_u32_of_char
- refs/heads/_aseem_nik_dynamic_regions
- refs/heads/_aseem_nik_steel_simplex
- refs/heads/_aseem_no_extracted_interfaces_ulib
- refs/heads/_aseem_opaque_specs2
- refs/heads/_aseem_optimize_must_erase_norm
- refs/heads/_aseem_pat_dot_term
- refs/heads/_aseem_pat_dot_term_with_syntax
- refs/heads/_aseem_pat_exhaustiveness_as_strengthening
- refs/heads/_aseem_pcm_updates
- refs/heads/_aseem_polymonadic_binds
- refs/heads/_aseem_pulse_locals
- refs/heads/_aseem_pulse_rewrite
- refs/heads/_aseem_pulse_rewrite2
- refs/heads/_aseem_pulse_tmp3
- refs/heads/_aseem_pulse_vprop_equiv
- refs/heads/_aseem_push_subst
- refs/heads/_aseem_reification
- refs/heads/_aseem_rel_coercions
- refs/heads/_aseem_remove_delta_env
- refs/heads/_aseem_residual_comp_norm
- refs/heads/_aseem_rid_unit
- refs/heads/_aseem_seq_lemmas
- refs/heads/_aseem_single_valued_implicits
- refs/heads/_aseem_sort_out_rid
- refs/heads/_aseem_stapp_rework
- refs/heads/_aseem_steel
- refs/heads/_aseem_steel_array_forall
- refs/heads/_aseem_steel_canon
- refs/heads/_aseem_steel_dsl2
- refs/heads/_aseem_steel_dsl3
- refs/heads/_aseem_steel_dsl_naming_tmp
- refs/heads/_aseem_steel_first_phase
- refs/heads/_aseem_steel_framing
- refs/heads/_aseem_steel_iarray
- refs/heads/_aseem_steel_manual_framing_effect
- refs/heads/_aseem_steel_master_merge
- refs/heads/_aseem_steel_no_heaps
- refs/heads/_aseem_steel_no_weakening_lpre_bind
- refs/heads/_aseem_steel_partot
- refs/heads/_aseem_steel_polymonadic_binds
- refs/heads/_aseem_steel_repr_m
- refs/heads/_aseem_steel_st_spinlock
- refs/heads/_aseem_steel_weakening
- refs/heads/_aseem_steel_wip
- refs/heads/_aseem_stlc
- refs/heads/_aseem_swap
- refs/heads/_aseem_tac_layered
- refs/heads/_aseem_taramana_no_steel
- refs/heads/_aseem_tc_abs_guards
- refs/heads/_aseem_temp_eq_asc
- refs/heads/_aseem_tmp
- refs/heads/_aseem_tmp2
- refs/heads/_aseem_tmp_smt_deep_embedding
- refs/heads/_aseem_try_abs_rc
- refs/heads/_aseem_try_match_heuristic
- refs/heads/_aseem_try_smt_fallback
- refs/heads/_aseem_univ_reflection
- refs/heads/_aseem_witness_h_exists
- refs/heads/_aseem_witness_h_exists_master
- refs/heads/_aseem_wp_req_ens
- refs/heads/_aseem_z3_4_8_15
- refs/heads/_denismerigoux_layered_effects
- refs/heads/_denismerigoux_steel
- refs/heads/_denismerigoux_steel_array_structs
- refs/heads/_denismerigoux_wip
- refs/heads/_guido_dsl
- refs/heads/_john_ml_c_mem_model_struct_excluded_list
- refs/heads/_john_ml_church_lists
- refs/heads/_john_ml_minus_reveal_hide
- refs/heads/_memo_tc
- refs/heads/_nik_2325
- refs/heads/_nik_2478
- refs/heads/_nik_2496
- refs/heads/_nik_2635
- refs/heads/_nik_2666
- refs/heads/_nik_606
- refs/heads/_nik_book
- refs/heads/_nik_bounded_int
- refs/heads/_nik_cmi
- refs/heads/_nik_dep
- refs/heads/_nik_double_z3
- refs/heads/_nik_extraction
- refs/heads/_nik_feq_sn
- refs/heads/_nik_framing
- refs/heads/_nik_free
- refs/heads/_nik_friends
- refs/heads/_nik_guard_recursive_functions
- refs/heads/_nik_hsl
- refs/heads/_nik_lib
- refs/heads/_nik_logical
- refs/heads/_nik_lowstar_lens
- refs/heads/_nik_lowstar_util
- refs/heads/_nik_lsp_wireframe
- refs/heads/_nik_memoize_tc
- refs/heads/_nik_misc
- refs/heads/_nik_nested_lemma
- refs/heads/_nik_norm_for_extraction
- refs/heads/_nik_print_ast
- refs/heads/_nik_profiling
- refs/heads/_nik_profiling_1760
- refs/heads/_nik_pulse_refactor
- refs/heads/_nik_query_stats
- refs/heads/_nik_real
- refs/heads/_nik_refactor_pervasives
- refs/heads/_nik_refine
- refs/heads/_nik_regional
- refs/heads/_nik_remove_eta_boot
- refs/heads/_nik_smt_logical_connectives
- refs/heads/_nik_smt_options
- refs/heads/_nik_snap
- refs/heads/_nik_spinoff
- refs/heads/_nik_steel_debug
- refs/heads/_nik_steel_debug_framing
- refs/heads/_nik_steel_dsl
- refs/heads/_nik_steel_repro
- refs/heads/_nik_thunk_top_level_axioms
- refs/heads/_nik_valid_intro
- refs/heads/_nik_z3_4_8_15
- refs/heads/_refine
- refs/heads/_refl_no_bv_ppname
- refs/heads/_release
- refs/heads/_remove_eta_reduction
- refs/heads/_returns_annotation_bug
- refs/heads/_smt_logical_connectives
- refs/heads/_son_norm
- refs/heads/_son_norm_extract1
- refs/heads/_steel_atomic_mst_tot
- refs/heads/_steel_frame_atomic
- refs/heads/_steel_framing_debug
- refs/heads/_steel_lift_atomic
- refs/heads/_taramana_20230511
- refs/heads/_taramana_20230823
- refs/heads/_taramana_20240212
- refs/heads/_taramana_dune_step_2
- refs/heads/_taramana_everparse_2021.03.28_rebuild
- refs/heads/_taramana_macos_20230909
- refs/heads/_taramana_sldump
- refs/heads/_ulib_theory_symbols_in_patterns
- refs/heads/_z3_upgrade_4.8.x
- refs/heads/adl_fsdoc_update
- refs/heads/adl_stable
- refs/heads/adl_unicode_op
- refs/heads/afrohmer_merge
- refs/heads/afromher_arrays
- refs/heads/afromher_avl_trees
- refs/heads/afromher_deferred
- refs/heads/afromher_frame
- refs/heads/afromher_frame_debug
- refs/heads/afromher_framing
- refs/heads/afromher_framing2
- refs/heads/afromher_framing_return
- refs/heads/afromher_free_rst_arrays
- refs/heads/afromher_head_and_args
- refs/heads/afromher_imitate_app
- refs/heads/afromher_invariants
- refs/heads/afromher_loops
- refs/heads/afromher_lowstar_lens
- refs/heads/afromher_merge
- refs/heads/afromher_merge2
- refs/heads/afromher_par
- refs/heads/afromher_pardiv
- refs/heads/afromher_parser
- refs/heads/afromher_popl_artifact_submit
- refs/heads/afromher_preprocess
- refs/heads/afromher_return
- refs/heads/afromher_rst_lists
- refs/heads/afromher_selectors
- refs/heads/afromher_sems
- refs/heads/afromher_sizet
- refs/heads/afromher_smtencoding
- refs/heads/afromher_steel
- refs/heads/afromher_steel_ci
- refs/heads/afromher_steel_encoding
- refs/heads/afromher_steel_inference
- refs/heads/afromher_steel_inference2
- refs/heads/afromher_steel_null
- refs/heads/afromher_steel_reduce
- refs/heads/afromher_steel_simplex
- refs/heads/afromher_steel_simplify
- refs/heads/afromher_steel_sizet
- refs/heads/afromher_steel_subcomp
- refs/heads/afromher_steel_tactic
- refs/heads/afromher_steel_tmp
- refs/heads/afromher_steelci
- refs/heads/afromher_steeleffect
- refs/heads/afromher_steelrefinements
- refs/heads/afromher_steelsmt
- refs/heads/afromher_strict
- refs/heads/afromher_sub_ghost_len
- refs/heads/afromher_tactics
- refs/heads/afromher_tactics2
- refs/heads/afromher_tlarrays
- refs/heads/afromher_tutorial
- refs/heads/agl-andorlemma
- refs/heads/anitha_sgx
- refs/heads/armael_abstract_logops
- refs/heads/armael_bigstruct
- refs/heads/armael_point_parse
- refs/heads/armael_valuearray
- refs/heads/artagnon_interactive-tests
- refs/heads/artagnon_lsp-complete-def
- refs/heads/artagnon_lsp-wireframe
- refs/heads/aseem_1141
- refs/heads/aseem_1197
- refs/heads/aseem_1390
- refs/heads/aseem_1427
- refs/heads/aseem_1427_again
- refs/heads/aseem_1439
- refs/heads/aseem_1448
- refs/heads/aseem_1449
- refs/heads/aseem_1465
- refs/heads/aseem_1470
- refs/heads/aseem_1488
- refs/heads/aseem_1502
- refs/heads/aseem_1507
- refs/heads/aseem_1514
- refs/heads/aseem_1530
- refs/heads/aseem_1579
- refs/heads/aseem_1592
- refs/heads/aseem_1592_partial
- refs/heads/aseem_1605
- refs/heads/aseem_1651
- refs/heads/aseem_1657
- refs/heads/aseem_1771_1822
- refs/heads/aseem_1802
- refs/heads/aseem_1841
- refs/heads/aseem_1919
- refs/heads/aseem_1999
- refs/heads/aseem_2055
- refs/heads/aseem_2066
- refs/heads/aseem_2129
- refs/heads/aseem_2184
- refs/heads/aseem_2189
- refs/heads/aseem_2193
- refs/heads/aseem_2257
- refs/heads/aseem_2269
- refs/heads/aseem_2293
- refs/heads/aseem_2299
- refs/heads/aseem_2331
- refs/heads/aseem_2366
- refs/heads/aseem_2432
- refs/heads/aseem_2438
- refs/heads/aseem_2447
- refs/heads/aseem_2456
- refs/heads/aseem_2467
- refs/heads/aseem_2471
- refs/heads/aseem_2475
- refs/heads/aseem_2477
- refs/heads/aseem_2504
- refs/heads/aseem_2535
- refs/heads/aseem_2597
- refs/heads/aseem_2605
- refs/heads/aseem_2635
- refs/heads/aseem_2637
- refs/heads/aseem_2649
- refs/heads/aseem_2655
- refs/heads/aseem_2756
- refs/heads/aseem_2763
- refs/heads/aseem_2868
- refs/heads/aseem_855
- refs/heads/aseem_accessibility_predicates
- refs/heads/aseem_array_as_ref
- refs/heads/aseem_asc_eq
- refs/heads/aseem_bind_e2_guard
- refs/heads/aseem_book
- refs/heads/aseem_buffer_cleanup
- refs/heads/aseem_buffer_test
- refs/heads/aseem_cache_fix
- refs/heads/aseem_calc_returns
- refs/heads/aseem_cancellable_lock
- refs/heads/aseem_comp_univ
- refs/heads/aseem_compiler_bytes_bandaid
- refs/heads/aseem_core_tc
- refs/heads/aseem_deferred_implicits_squash
- refs/heads/aseem_dependent_match
- refs/heads/aseem_dependent_pattern_matching2
- refs/heads/aseem_deps
- refs/heads/aseem_dynamic_regions
- refs/heads/aseem_dynamic_regions_cleanup
- refs/heads/aseem_effects_coherence
- refs/heads/aseem_env_changes
- refs/heads/aseem_erasable_eq
- refs/heads/aseem_erased_haseq
- refs/heads/aseem_extend_monotonic_map
- refs/heads/aseem_fast_implicits
- refs/heads/aseem_fix_hyperheap_parent
- refs/heads/aseem_fix_second_run
- refs/heads/aseem_forall2
- refs/heads/aseem_free_state
- refs/heads/aseem_friends
- refs/heads/aseem_ghost_refl_app
- refs/heads/aseem_ghost_reflection
- refs/heads/aseem_ibuf_buf_not_equal
- refs/heads/aseem_improve_restrict
- refs/heads/aseem_inductive_annotation
- refs/heads/aseem_layered_effects_ite
- refs/heads/aseem_load_cmxs_option
- refs/heads/aseem_logical
- refs/heads/aseem_lowstar_sem
- refs/heads/aseem_memoize_tc
- refs/heads/aseem_misc
- refs/heads/aseem_misc2
- refs/heads/aseem_mm_buffers
- refs/heads/aseem_mm_monotonicity
- refs/heads/aseem_modifies_cleanup
- refs/heads/aseem_mods
- refs/heads/aseem_monadic_app_escape
- refs/heads/aseem_monotonic_buffers
- refs/heads/aseem_monotonic_buffers_v2
- refs/heads/aseem_monotonic_bv
- refs/heads/aseem_monotonic_hyperstack
- refs/heads/aseem_monotonicity
- refs/heads/aseem_nik_matbuj_attrs
- refs/heads/aseem_no_abstract
- refs/heads/aseem_no_close_scrutinee_bv
- refs/heads/aseem_no_decorate
- refs/heads/aseem_no_hsl
- refs/heads/aseem_norm_requests
- refs/heads/aseem_ocaml_refs
- refs/heads/aseem_one_off_branch_for_testify
- refs/heads/aseem_partial_allocations
- refs/heads/aseem_pat_dot_term
- refs/heads/aseem_pat_wild
- refs/heads/aseem_positivity_bug_free
- refs/heads/aseem_pulse_array
- refs/heads/aseem_pulse_ht_extract
- refs/heads/aseem_pulse_locals
- refs/heads/aseem_pulse_unifier
- refs/heads/aseem_pure_layered_lifts
- refs/heads/aseem_pure_wp_monotonicity
- refs/heads/aseem_quicksort_array
- refs/heads/aseem_refl_eq
- refs/heads/aseem_refl_inst_imps
- refs/heads/aseem_refl_uvars
- refs/heads/aseem_reify_layered_effects_for_proofs
- refs/heads/aseem_remove_eta
- refs/heads/aseem_remove_two_phase_option
- refs/heads/aseem_remove_types_duplication
- refs/heads/aseem_reset_options_extracted_interfaces
- refs/heads/aseem_revise_exports
- refs/heads/aseem_rid_ghost
- refs/heads/aseem_serialization_experiment
- refs/heads/aseem_set_equal
- refs/heads/aseem_set_equal2
- refs/heads/aseem_sgx_interpreter
- refs/heads/aseem_slauto_pat
- refs/heads/aseem_smt_logical_connectives
- refs/heads/aseem_snap
- refs/heads/aseem_snapshot
- refs/heads/aseem_steel
- refs/heads/aseem_steel_113
- refs/heads/aseem_steel_2226
- refs/heads/aseem_steel_array_perms
- refs/heads/aseem_steel_hashtbl_plus
- refs/heads/aseem_steel_master_merge
- refs/heads/aseem_steel_slprops_non_erased_args
- refs/heads/aseem_steel_st_extraction
- refs/heads/aseem_steelatomic_steel
- refs/heads/aseem_strictly_positive_attr
- refs/heads/aseem_strictly_positive_binders
- refs/heads/aseem_string_hashconsing_v2
- refs/heads/aseem_string_of_char
- refs/heads/aseem_tac_implicits
- refs/heads/aseem_tac_layered
- refs/heads/aseem_tc_with_emacs
- refs/heads/aseem_top_level_indexed_effects
- refs/heads/aseem_top_level_null_wp
- refs/heads/aseem_towards_zero_replay_failures
- refs/heads/aseem_trivial
- refs/heads/aseem_trivial_preorder_type
- refs/heads/aseem_two_phase_experiment
- refs/heads/aseem_typing_guards
- refs/heads/aseem_unblock_strict_args_reduction
- refs/heads/aseem_uninitialized_buffers
- refs/heads/aseem_univ_reflection
- refs/heads/aseem_use_eq_cleanup
- refs/heads/aseem_vale_memory_model
- refs/heads/barrybo_scons
- refs/heads/bigint
- refs/heads/bollu_hinthooks
- refs/heads/buffer_null
- refs/heads/c-extraction2
- refs/heads/c_Delta-equational
- refs/heads/c_delta-equational
- refs/heads/c_erase_effect
- refs/heads/c_fstar-build_pp
- refs/heads/c_fstar-build_two_phase_checker
- refs/heads/c_fstar-build_vectors
- refs/heads/c_graph
- refs/heads/c_mitls2c
- refs/heads/c_mitls2c_bytes_fixes
- refs/heads/c_mitls2c_new_attrs_bis
- refs/heads/c_ppdev_initial
- refs/heads/c_prop-dev
- refs/heads/c_record_filetransfer
- refs/heads/c_relational-ci_test
- refs/heads/c_tactics-dev_extraction_hack
- refs/heads/c_tactics-dev_optimize_implicit_args
- refs/heads/c_tactics-dev_sl
- refs/heads/c_webmodel
- refs/heads/catalin-hritcu-patch-1
- refs/heads/catalin-hritcu-patch-2
- refs/heads/catalin-hritcu-patch-3
- refs/heads/catalin-hritcu-patch-4
- refs/heads/catalin-hritcu-patch-5
- refs/heads/catalin-hritcu-readme-fstar-home
- refs/heads/catalin_2113
- refs/heads/catalin_32bits
- refs/heads/catalin_doc
- refs/heads/catalin_examples_crypto
- refs/heads/catalin_fix_binaries
- refs/heads/catalin_mlinterop
- refs/heads/catalin_opam
- refs/heads/catalin_prop
- refs/heads/catalin_voodoo
- refs/heads/ckh_python3
- refs/heads/cpitclaudel_1243
- refs/heads/cpitclaudel_faster_build
- refs/heads/cpitclaudel_jsoo
- refs/heads/cpitclaudel_master
- refs/heads/cpitclaudel_msbuild
- refs/heads/cpitclaudel_pattern_matching
- refs/heads/cpitclaudel_pm
- refs/heads/cpitclaudel_progress
- refs/heads/cpitclaudel_rst_fixes
- refs/heads/cpitclaudel_show_match
- refs/heads/cpitclaudel_slow_idtac
- refs/heads/cpitclaudel_staging
- refs/heads/cwinter_admit_except
- refs/heads/cwinter_batch_errors
- refs/heads/cwinter_cloud_verify
- refs/heads/cwinter_debug
- refs/heads/cwinter_dot_deps
- refs/heads/cwinter_fix
- refs/heads/cwinter_interactive_json_fix
- refs/heads/cwinter_lax_except
- refs/heads/cwinter_no_platform_bytes
- refs/heads/cwinter_qiprof_z3-4.8.5
- refs/heads/cwinter_query_stats
- refs/heads/cwinter_query_stats_fix
- refs/heads/cwinter_regional_free_state
- refs/heads/cwinter_rvector_conds
- refs/heads/cwinter_search_logs
- refs/heads/cwinter_smt_proofs
- refs/heads/cwinter_smtpat
- refs/heads/danel_algebraic_effects
- refs/heads/danel_effect_handling
- refs/heads/danel_graded_monads
- refs/heads/danel_io_wp_inconsistency
- refs/heads/danel_lowstar_lens
- refs/heads/danel_mrefs
- refs/heads/danel_normalizer
- refs/heads/danel_seplogic
- refs/heads/danelahman_monotonic_state_regressions
- refs/heads/darrenge_fstar
- refs/heads/delta_attr
- refs/heads/denismerigoux_doc
- refs/heads/denismerigoux_pcm
- refs/heads/dev
- refs/heads/dev_logops_master
- refs/heads/dev_ppx_deriving
- refs/heads/dm4all
- refs/heads/error_number
- refs/heads/fahad_parse
- refs/heads/fournet_details
- refs/heads/fournet_example
- refs/heads/fournet_fresh
- refs/heads/fournet_private
- refs/heads/fournet_wip
- refs/heads/franziskus-github-actions
- refs/heads/franziskus-macos-action
- refs/heads/franziskus/fix-macos-ci
- refs/heads/fstardoc
- refs/heads/guido_1911
- refs/heads/guido_2002
- refs/heads/guido_2019
- refs/heads/guido_2094
- refs/heads/guido_2867
- refs/heads/guido_3090
- refs/heads/guido_build
- refs/heads/guido_bump
- refs/heads/guido_ci
- refs/heads/guido_ci2
- refs/heads/guido_dm4a
- refs/heads/guido_dsl
- refs/heads/guido_dsl2
- refs/heads/guido_dtuple
- refs/heads/guido_effects
- refs/heads/guido_fix_z3ver
- refs/heads/guido_fixcheckwith
- refs/heads/guido_fixes
- refs/heads/guido_flatt
- refs/heads/guido_ghost
- refs/heads/guido_imps
- refs/heads/guido_imps2
- refs/heads/guido_iobase
- refs/heads/guido_layeff
- refs/heads/guido_layering_tests
- refs/heads/guido_machineints
- refs/heads/guido_mem
- refs/heads/guido_merge
- refs/heads/guido_misc
- refs/heads/guido_misc2
- refs/heads/guido_misc3
- refs/heads/guido_misc5
- refs/heads/guido_newz3
- refs/heads/guido_no_memo_vars
- refs/heads/guido_nohidereveal
- refs/heads/guido_normrc
- refs/heads/guido_null
- refs/heads/guido_null2
- refs/heads/guido_opts
- refs/heads/guido_pack
- refs/heads/guido_qa
- refs/heads/guido_range
- refs/heads/guido_refine
- refs/heads/guido_rmon
- refs/heads/guido_seq
- refs/heads/guido_smt_comments
- refs/heads/guido_steel_univs
- refs/heads/guido_steel_wipra
- refs/heads/guido_strict_on_args_unfold
- refs/heads/guido_syntax
- refs/heads/guido_tcnorm
- refs/heads/guido_termeq
- refs/heads/guido_test
- refs/heads/guido_test2
- refs/heads/guido_test_ulibpat
- refs/heads/guido_tick
- refs/heads/guido_tts
- refs/heads/guido_uf
- refs/heads/guido_zip
- refs/heads/icfp20_steel_artifact
- refs/heads/ide_exported_sym
- refs/heads/indexed_computation_types
- refs/heads/issue2246
- refs/heads/jay_doc
- refs/heads/jk_lowlevel
- refs/heads/jk_private2
- refs/heads/jk_record_aead_perf
- refs/heads/jk_smt
- refs/heads/john-ml-frame_preserving_updates
- refs/heads/john_ml_extract_return
- refs/heads/john_ml_steel_c
- refs/heads/joonwonc_comments
- refs/heads/joonwonc_lowstar_vector
- refs/heads/jroesch_lean
- refs/heads/jroesch_lean_tactic
- refs/heads/jroesch_lexer_fix
- refs/heads/jroesch_mutual_rec
- refs/heads/jroesch_ssst
- refs/heads/karthik_dev
- refs/heads/karthik_to_string_hex
- refs/heads/konrad_hye_example
- refs/heads/kyod_1298
- refs/heads/kyod_algebraic_presentation
- refs/heads/kyod_close_985
- refs/heads/kyod_dm4f_io
- refs/heads/kyod_fsdoc
- refs/heads/kyod_hyperstack_monotonicity
- refs/heads/kyod_monoid_fix
- refs/heads/kyod_pemfstar
- refs/heads/kyod_quotient
- refs/heads/kyod_reification_examples
- refs/heads/kyod_scc
- refs/heads/kyod_tactic_print
- refs/heads/kyod_tmp
- refs/heads/kyod_tmp1
- refs/heads/kyod_tutorial
- refs/heads/kyod_ulib_dm4f
- refs/heads/kyod_update_dm4f
- refs/heads/lean-encoding
- refs/heads/lorch-wfr
- refs/heads/lorch_finite
- refs/heads/markulf_intervals
- refs/heads/master
- refs/heads/megan_ht
- refs/heads/mfrisella_queue
- refs/heads/monal_private
- refs/heads/msprotz-patch-1
- refs/heads/nbraud/simpl_smt
- refs/heads/nbraud/smtlib
- refs/heads/new-tutorial
- refs/heads/ngrimm_relational_examples
- refs/heads/nickgian_bvtac
- refs/heads/nickgian_formulas
- refs/heads/nickgian_uint_new
- refs/heads/nik_1091
- refs/heads/nik_131
- refs/heads/nik_1327
- refs/heads/nik_1370
- refs/heads/nik_1391
- refs/heads/nik_1428
- refs/heads/nik_1441
- refs/heads/nik_1480
- refs/heads/nik_1506
- refs/heads/nik_1521
- refs/heads/nik_1566
- refs/heads/nik_1572
- refs/heads/nik_1611
- refs/heads/nik_1612
- refs/heads/nik_1623
- refs/heads/nik_1687
- refs/heads/nik_1694
- refs/heads/nik_1714
- refs/heads/nik_1750
- refs/heads/nik_1750_z3-4.8.5
- refs/heads/nik_183
- refs/heads/nik_1836
- refs/heads/nik_20180206
- refs/heads/nik_2058
- refs/heads/nik_2203
- refs/heads/nik_2302
- refs/heads/nik_2325
- refs/heads/nik_2374
- refs/heads/nik_2398
- refs/heads/nik_2448
- refs/heads/nik_2560
- refs/heads/nik_2635
- refs/heads/nik_2699
- refs/heads/nik_3076
- refs/heads/nik_310
- refs/heads/nik_3140
- refs/heads/nik_442
- refs/heads/nik_606
- refs/heads/nik_912
- refs/heads/nik_amos_3116
- refs/heads/nik_aqual_bqual
- refs/heads/nik_aseem_optimize_extraction
- refs/heads/nik_attemping_sub_effecting_on_repr
- refs/heads/nik_attributes
- refs/heads/nik_bigops
- refs/heads/nik_book
- refs/heads/nik_buffer_view
- refs/heads/nik_bundling2
- refs/heads/nik_bvtac
- refs/heads/nik_castable_buffers
- refs/heads/nik_classical_sugar
- refs/heads/nik_classical_sugar_locs
- refs/heads/nik_cmi
- refs/heads/nik_const_buffer
- refs/heads/nik_context_profile
- refs/heads/nik_copyright
- refs/heads/nik_decreases
- refs/heads/nik_default_effects
- refs/heads/nik_defensive_unresolved_constructor
- refs/heads/nik_deferred_guard_tweaks
- refs/heads/nik_delta_qualifier
- refs/heads/nik_dep
- refs/heads/nik_dep_2
- refs/heads/nik_disable_fsharp_temporarily
- refs/heads/nik_docker_website
- refs/heads/nik_double_z3
- refs/heads/nik_duplex
- refs/heads/nik_dynamic_regions
- refs/heads/nik_eager_unfolding
- refs/heads/nik_eq3_false
- refs/heads/nik_eq_const
- refs/heads/nik_eq_decl
- refs/heads/nik_erasable_new
- refs/heads/nik_erase_sub_singleton
- refs/heads/nik_erasure
- refs/heads/nik_error_reporting
- refs/heads/nik_etm
- refs/heads/nik_expose_multi_binder
- refs/heads/nik_feq
- refs/heads/nik_fictional
- refs/heads/nik_fix_check_admits
- refs/heads/nik_flags
- refs/heads/nik_format_cleanup
- refs/heads/nik_frame
- refs/heads/nik_frame_inference
- refs/heads/nik_framing_10052020
- refs/heads/nik_framing_layered
- refs/heads/nik_friends
- refs/heads/nik_fsharp_4.5
- refs/heads/nik_fsharp_extraction
- refs/heads/nik_fsharp_extraction_matbuj
- refs/heads/nik_fstar-vscode-assistant
- refs/heads/nik_fstar_io_stdin_stdout_stderr
- refs/heads/nik_fstardoc
- refs/heads/nik_generalize
- refs/heads/nik_generalize_rel
- refs/heads/nik_generic
- refs/heads/nik_gensym
- refs/heads/nik_guard_recrusive_functions
- refs/heads/nik_guard_recursive_functions
- refs/heads/nik_hide_reveal
- refs/heads/nik_ide
- refs/heads/nik_idempotence
- refs/heads/nik_ifc
- refs/heads/nik_imp
- refs/heads/nik_implicits
- refs/heads/nik_implies_intro
- refs/heads/nik_indexed_effects
- refs/heads/nik_info
- refs/heads/nik_install
- refs/heads/nik_integer_overloading
- refs/heads/nik_integers
- refs/heads/nik_invariants
- refs/heads/nik_jsoo
- refs/heads/nik_layeff
- refs/heads/nik_lex
- refs/heads/nik_lib
- refs/heads/nik_logical
- refs/heads/nik_lowparse
- refs/heads/nik_lowstar_lens
- refs/heads/nik_machine_integer_normalization
- refs/heads/nik_makefile_cleanup_with_taramana
- refs/heads/nik_matbuj_attrs
- refs/heads/nik_memoize_tc
- refs/heads/nik_miniparse_bench
- refs/heads/nik_mpar_index
- refs/heads/nik_mul_div
- refs/heads/nik_native_compilation
- refs/heads/nik_nbe
- refs/heads/nik_nested_lemma
- refs/heads/nik_noextract
- refs/heads/nik_non_informative_loop
- refs/heads/nik_noreturn_unit
- refs/heads/nik_norm_cfg_bug
- refs/heads/nik_norm_drop_residual_typ
- refs/heads/nik_norm_for_extraction
- refs/heads/nik_norm_smt
- refs/heads/nik_open_bin
- refs/heads/nik_oplss
- refs/heads/nik_oplss_theta
- refs/heads/nik_options_parsing
- refs/heads/nik_parse_error
- refs/heads/nik_pat
- refs/heads/nik_pattern_unification
- refs/heads/nik_pcm_univs
- refs/heads/nik_pointwise_bvtac
- refs/heads/nik_positivity_escape
- refs/heads/nik_pr_1740
- refs/heads/nik_pre_release
- refs/heads/nik_precedes_trans
- refs/heads/nik_prims
- refs/heads/nik_prims2
- refs/heads/nik_print_ast
- refs/heads/nik_print_goal
- refs/heads/nik_printf
- refs/heads/nik_private
- refs/heads/nik_process_ctrl
- refs/heads/nik_profiling
- refs/heads/nik_profiling_1760
- refs/heads/nik_push_namespace
- refs/heads/nik_query_stats
- refs/heads/nik_range
- refs/heads/nik_real
- refs/heads/nik_record_open
- refs/heads/nik_record_resolution
- refs/heads/nik_recover_z3
- refs/heads/nik_refactor_pervasives
- refs/heads/nik_refine
- refs/heads/nik_reflexive_transitive_closure
- refs/heads/nik_regional
- refs/heads/nik_reify
- refs/heads/nik_rel
- refs/heads/nik_rel_exp
- refs/heads/nik_remove_eta
- refs/heads/nik_remove_eta_boot
- refs/heads/nik_remove_fsdoc
- refs/heads/nik_remove_special_ops
- refs/heads/nik_removing_fstar_home
- refs/heads/nik_removing_tvalid_and_revising_using_facts_from
- refs/heads/nik_restart_z3
- refs/heads/nik_seq_permutation
- refs/heads/nik_setoids
- refs/heads/nik_simplification_patch
- refs/heads/nik_skip_ml_iface
- refs/heads/nik_slack_public
- refs/heads/nik_slice_slice
- refs/heads/nik_smt_encoding
- refs/heads/nik_smt_eta
- refs/heads/nik_smt_hash_consing_inconsistent
- refs/heads/nik_smt_logical_connectives
- refs/heads/nik_smt_options
- refs/heads/nik_smt_univs
- refs/heads/nik_spinoff
- refs/heads/nik_splice_quals_and_attrs
- refs/heads/nik_stage_snapshot
- refs/heads/nik_steel
- refs/heads/nik_steel2
- refs/heads/nik_steel_Oct2020
- refs/heads/nik_steel_atomic_effect_tot
- refs/heads/nik_steel_basic
- refs/heads/nik_steel_channels
- refs/heads/nik_steel_libs
- refs/heads/nik_steel_locks
- refs/heads/nik_steel_simplex
- refs/heads/nik_steel_tac
- refs/heads/nik_steel_univs
- refs/heads/nik_steel_wip
- refs/heads/nik_steel_witnessed
- refs/heads/nik_steel_witnessed_tokens
- refs/heads/nik_strict
- refs/heads/nik_string
- refs/heads/nik_syntax
- refs/heads/nik_syntax2
- refs/heads/nik_syntax3
- refs/heads/nik_t_of_strict
- refs/heads/nik_tactic_dump
- refs/heads/nik_tactics
- refs/heads/nik_tcterm_sequence
- refs/heads/nik_thunk_data
- refs/heads/nik_thunk_top_level_axioms
- refs/heads/nik_tmp
- refs/heads/nik_total_st
- refs/heads/nik_try_revert_rfd
- refs/heads/nik_tutorial
- refs/heads/nik_tutorial_10062020
- refs/heads/nik_type_dump
- refs/heads/nik_typeclasses
- refs/heads/nik_univ_inductives
- refs/heads/nik_unmangling
- refs/heads/nik_valid_intro
- refs/heads/nik_vector_shrink
- refs/heads/nik_vector_stdlib
- refs/heads/nik_whnf_scrutinee
- refs/heads/nik_z3-4.8.4
- refs/heads/nik_z3-4.8.5
- refs/heads/nik_zeta_full_norm_cfg
- refs/heads/nikswamy-patch-1
- refs/heads/nikswamy-patch-2
- refs/heads/nikswamy-patch-3
- refs/heads/no_lazy
- refs/heads/noextract_optimization_for_kremlin
- refs/heads/optimizing-substitutions
- refs/heads/origin/kyod_reification_examples
- refs/heads/polubelova_backends
- refs/heads/protz_2424
- refs/heads/protz_ci
- refs/heads/protz_clean_uint
- refs/heads/protz_dead_code
- refs/heads/protz_depend
- refs/heads/protz_depend2
- refs/heads/protz_eaddrof
- refs/heads/protz_endianness
- refs/heads/protz_fallible
- refs/heads/protz_ignore
- refs/heads/protz_integers
- refs/heads/protz_linkpkg
- refs/heads/protz_list
- refs/heads/protz_lowstar_endianness
- refs/heads/protz_lowstar_string
- refs/heads/protz_m1
- refs/heads/protz_missing_init
- refs/heads/protz_null
- refs/heads/protz_pow2
- refs/heads/protz_primops
- refs/heads/protz_sequence
- refs/heads/protz_string
- refs/heads/protz_type_class
- refs/heads/protz_ub
- refs/heads/protz_uint8
- refs/heads/protz_unions
- refs/heads/pulse-tutorial
- refs/heads/quido_
- refs/heads/rel-projection
- refs/heads/santiago_canon
- refs/heads/santiago_canonopp
- refs/heads/santiago_euclid
- refs/heads/santiago_fermat
- refs/heads/santiago_inlining
- refs/heads/santiago_inttypes
- refs/heads/santiago_nats
- refs/heads/santiago_noeq
- refs/heads/santiago_nohints
- refs/heads/santiago_opinfix4
- refs/heads/santiago_patterns
- refs/heads/santiago_refresh_hints
- refs/heads/santiago_ringback
- refs/heads/santiago_semiring
- refs/heads/shaolintl_922
- refs/heads/shaolintl_bug_846
- refs/heads/shaolintl_phases_from_tactics
- refs/heads/shaolintl_tc_testing
- refs/heads/shaolintl_two_phase
- refs/heads/shaolintl_two_phase_checker
- refs/heads/shaolintl_two_phase_experiment
- refs/heads/shaolintl_unification
- refs/heads/sishtiaq_fsdoc_nightly
- refs/heads/sishtiaq_pp
- refs/heads/son_cbuffer
- refs/heads/son_fstar_mode
- refs/heads/son_maths
- refs/heads/son_norm_extract
- refs/heads/son_string
- refs/heads/stable
- refs/heads/steel_framing
- refs/heads/steel_framing2
- refs/heads/steel_icfp20
- refs/heads/steel_icfp21
- refs/heads/steel_self_balancing_trees
- refs/heads/stratified_last
- refs/heads/taramana_dep_ninja
- refs/heads/taramana_gen_elim_u1
- refs/heads/taramana_migrate_steel
- refs/heads/taramana_modular_c_extraction
- refs/heads/taramana_no_zarith
- refs/heads/taramana_steel_st_higher_ref
- refs/heads/tchajed_fstar_crash
- refs/heads/tchajed_inline_projectors
- refs/heads/tchajed_int-fsti
- refs/heads/tchajed_ocaml4.05_support
- refs/heads/tchajed_uint128_perf
- refs/heads/tutorial
- refs/heads/v0.9.4.0
- refs/heads/v0.9.5.0
- refs/heads/v0.9.5.0-opam
- refs/heads/v0.9.6+
- refs/heads/v0.9.6.0-alpha1-opam
- refs/heads/v0.9.7.0-alpha1
- refs/heads/vale
- refs/heads/vdum_1101
- refs/heads/vdum_1154
- refs/heads/vdum_bugs
- refs/heads/vdum_nits
- refs/heads/vdum_pp_ulib
- refs/heads/vdum_pprint
- refs/heads/vdum_prettyprinting
- refs/heads/vdum_print_goal
- refs/heads/vdum_reflection
- refs/heads/vdum_tests
- refs/heads/vdum_ulib
- refs/heads/w-extraction
- refs/heads/wip_ranges
- refs/heads/z3-4.8.5
- refs/heads/zarko
- refs/heads/zoe_lowstar_lens
- refs/heads/zoep_nbe
- refs/heads/zoep_refine
- refs/remotes/origin/c_relational-ci_r3
- refs/remotes/origin/kyod_interactive
- refs/remotes/origin/nik_1370
- refs/tags/0.9.2.0
- Branches list truncated to 1000 entries, 65 were omitted.
Cook and download a directory from the Software Heritage Vault
You have requested the cooking of the directory with identifier swh:1:dir:977656d40ac5e579d72192e3cfec4556001e7f74 into a standard tar.gz archive
.
Are you sure you want to continue ?
Download a directory from the Software Heritage Vault
You have requested the download of the directory with identifier swh:1:dir:977656d40ac5e579d72192e3cfec4556001e7f74 as a standard tar.gz archive
.
Are you sure you want to continue ?
Cook and download a revision from the Software Heritage Vault
You have requested the cooking of the history heading to revision with identifier swh:1:rev:2fd9303b78e9161bc7cc487ab1b99e5b516138ad into a bare git archive
.
Are you sure you want to continue ?
Download a revision from the Software Heritage Vault
You have requested the download of the history heading to revision with identifier swh:1:rev:2fd9303b78e9161bc7cc487ab1b99e5b516138ad as a bare git archive
.
Are you sure you want to continue ?
Invalid Email !
The provided email is not well-formed.
Download link has expired
The requested archive is no longer available for download from the Software Heritage Vault.
Do you want to cook it again ?
Take a new snapshot of a software origin
If the archived software origin currently browsed is not synchronized with its upstream version (for instance when new commits have been issued), you can explicitly request Software Heritage to take a new snapshot of it.
Use the form below to proceed. Once a request has been submitted and accepted, it will be processed as soon as possible. You can then check its processing state by visiting this dedicated page.Processing "take a new snapshot" request ...
To reference or cite the objects present in the Software Heritage archive, permalinks based on SoftWare Hash IDentifiers (SWHIDs) must be used.
Select below a type of object currently browsed in order to display its associated SWHID and permalink.
Merge pull request #3226 from mtzguido/subtac
File | Mode | Size |
---|---|---|
.ci | ||
.completion | ||
.devcontainer | ||
.docker | ||
.github | ||
.hooks | ||
.nix | ||
.scripts | ||
bin | ||
contrib | ||
doc | ||
examples | ||
ocaml | ||
src | ||
tests | ||
ucontrib | ||
ulib | ||
.common.mk | -rw-r--r-- | 2.0 KB |
.gitattributes | -rw-r--r-- | 882 bytes |
.gitignore | -rw-r--r-- | 956 bytes |
.gitmodules | -rw-r--r-- | 0 bytes |
.ignore | -rw-r--r-- | 31 bytes |
.merlin | -rw-r--r-- | 554 bytes |
CHANGES.md | -rw-r--r-- | 49.4 KB |
CONTRIBUTING.md | -rw-r--r-- | 5.4 KB |
FStar.fst.config.json | -rw-r--r-- | 160 bytes |
INSTALL.md | -rw-r--r-- | 15.7 KB |
LICENSE | -rw-r--r-- | 10.5 KB |
LICENSE-fsharp.txt | -rw-r--r-- | 9.0 KB |
Makefile | -rw-r--r-- | 5.3 KB |
README.md | -rw-r--r-- | 3.6 KB |
build_local.sh | -rwxr-xr-x | 1.8 KB |
flake.lock | -rw-r--r-- | 1.4 KB |
flake.nix | -rw-r--r-- | 1.9 KB |
fstar.opam | -rw-r--r-- | 1.0 KB |
version.txt | -rw-r--r-- | 15 bytes |