elpasync pushed a change to branch elpa/yasnippet-snippets.
from f1907ed38a add uv script
new 2ecf1bf59c Update js-mode "for" to keep up with modern JS syntax
(#514)
new 03fd78b07b Create `nix-ts-mode` sub-directory; Add additional
snippets to `nix-mode` (#515)
new 9205da042a prog-mode: Add snippets for SPDX-* comments (#512)
new d17a984429 Update reason-mode function snippet (#510)
new 95b813f758 Added easycrypt-mode snippets (#503)
new f0048d2920 moved ending point $0 in body of expressions (#506)
new 46945ccf63 add import snippet to terraform-mode (#508)
Summary of changes:
.gitignore | 3 +++
snippets/easycrypt-mode/lookup/locate | 7 +++++++
snippets/easycrypt-mode/lookup/print | 7 +++++++
snippets/easycrypt-mode/lookup/search | 7 +++++++
snippets/easycrypt-mode/misc/abbrev | 8 ++++++++
snippets/easycrypt-mode/misc/and1 | 8 ++++++++
snippets/easycrypt-mode/misc/and2 | 8 ++++++++
snippets/easycrypt-mode/misc/comment | 8 ++++++++
snippets/easycrypt-mode/misc/forall | 8 ++++++++
snippets/easycrypt-mode/misc/from | 6 ++++++
snippets/easycrypt-mode/misc/from-jasmin | 7 +++++++
snippets/easycrypt-mode/misc/fun | 8 ++++++++
snippets/easycrypt-mode/misc/ge0 | 8 ++++++++
snippets/easycrypt-mode/misc/geq0 | 6 ++++++
snippets/easycrypt-mode/misc/hint-simplify | 8 ++++++++
snippets/easycrypt-mode/misc/if | 8 ++++++++
snippets/easycrypt-mode/misc/import | 7 +++++++
snippets/easycrypt-mode/misc/let-in | 8 ++++++++
snippets/easycrypt-mode/misc/list | 8 ++++++++
snippets/easycrypt-mode/misc/new-comment | 6 ++++++
snippets/easycrypt-mode/misc/or1 | 8 ++++++++
snippets/easycrypt-mode/misc/or2 | 8 ++++++++
snippets/easycrypt-mode/misc/param | 8 ++++++++
snippets/easycrypt-mode/misc/pred | 7 +++++++
snippets/easycrypt-mode/misc/probability | 8 ++++++++
snippets/easycrypt-mode/misc/probability-mem | 8 ++++++++
snippets/easycrypt-mode/misc/range | 6 ++++++
snippets/easycrypt-mode/misc/range-exclusive | 8 ++++++++
snippets/easycrypt-mode/misc/range-exclusive-inclusive | 8 ++++++++
snippets/easycrypt-mode/misc/range-inclusive | 8 ++++++++
snippets/easycrypt-mode/misc/range-inclusive-exclusive | 8 ++++++++
snippets/easycrypt-mode/misc/require-import | 7 +++++++
snippets/easycrypt-mode/modules/module | 10 ++++++++++
snippets/easycrypt-mode/modules/module-instance | 8 ++++++++
snippets/easycrypt-mode/modules/module-type | 10 ++++++++++
snippets/easycrypt-mode/modules/module-with-params | 8 ++++++++
.../easycrypt-mode/modules/module-with-params-return | 10 ++++++++++
snippets/easycrypt-mode/modules/module-with-return | 10 ++++++++++
snippets/easycrypt-mode/procedures/assign | 8 ++++++++
snippets/easycrypt-mode/procedures/decrement-counter | 8 ++++++++
snippets/easycrypt-mode/procedures/if-else-proc | 12 ++++++++++++
snippets/easycrypt-mode/procedures/if-proc | 10 ++++++++++
snippets/easycrypt-mode/procedures/increment-counter | 8 ++++++++
snippets/easycrypt-mode/procedures/init-var | 8 ++++++++
snippets/easycrypt-mode/procedures/new-var | 8 ++++++++
snippets/easycrypt-mode/procedures/proc | 11 +++++++++++
snippets/easycrypt-mode/procedures/proc-abstract | 8 ++++++++
snippets/easycrypt-mode/procedures/proc-call | 8 ++++++++
snippets/easycrypt-mode/procedures/proc-no-return | 10 ++++++++++
snippets/easycrypt-mode/procedures/sample | 8 ++++++++
snippets/easycrypt-mode/procedures/while-proc | 11 +++++++++++
snippets/easycrypt-mode/propositions/axiom | 7 +++++++
snippets/easycrypt-mode/propositions/axiomatized | 7 +++++++
snippets/easycrypt-mode/propositions/declare | 7 +++++++
snippets/easycrypt-mode/propositions/equiv | 13 +++++++++++++
snippets/easycrypt-mode/propositions/hoare | 13 +++++++++++++
snippets/easycrypt-mode/propositions/lemma | 11 +++++++++++
snippets/easycrypt-mode/propositions/lemma_equality | 11 +++++++++++
snippets/easycrypt-mode/propositions/lemma_equiv | 16 ++++++++++++++++
snippets/easycrypt-mode/propositions/lemma_hoare | 15 +++++++++++++++
snippets/easycrypt-mode/propositions/lemma_islossless | 11 +++++++++++
snippets/easycrypt-mode/propositions/lemma_phoare | 15 +++++++++++++++
snippets/easycrypt-mode/propositions/local | 7 +++++++
snippets/easycrypt-mode/propositions/op-as | 7 +++++++
snippets/easycrypt-mode/propositions/op-axiomatixed | 7 +++++++
snippets/easycrypt-mode/propositions/op-barebones | 7 +++++++
snippets/easycrypt-mode/propositions/op-no-return | 7 +++++++
snippets/easycrypt-mode/propositions/phoare | 14 ++++++++++++++
snippets/easycrypt-mode/propositions/small-lemma | 7 +++++++
snippets/easycrypt-mode/tactics/alias | 8 ++++++++
snippets/easycrypt-mode/tactics/alias-with | 8 ++++++++
snippets/easycrypt-mode/tactics/alias1 | 8 ++++++++
snippets/easycrypt-mode/tactics/alias1-with | 8 ++++++++
snippets/easycrypt-mode/tactics/alias2 | 8 ++++++++
snippets/easycrypt-mode/tactics/alias2-with | 8 ++++++++
snippets/easycrypt-mode/tactics/aliaswith | 6 ++++++
snippets/easycrypt-mode/tactics/aliaswith1 | 6 ++++++
snippets/easycrypt-mode/tactics/aliaswith2 | 6 ++++++
snippets/easycrypt-mode/tactics/apply-args | 8 ++++++++
snippets/easycrypt-mode/tactics/apply-in | 8 ++++++++
snippets/easycrypt-mode/tactics/apply-proof-term | 8 ++++++++
snippets/easycrypt-mode/tactics/async-while | 13 +++++++++++++
snippets/easycrypt-mode/tactics/auto | 7 +++++++
snippets/easycrypt-mode/tactics/auto.yasnippet | 7 +++++++
snippets/easycrypt-mode/tactics/bad-smt | 8 ++++++++
snippets/easycrypt-mode/tactics/byequiv | 8 ++++++++
snippets/easycrypt-mode/tactics/byphoare | 8 ++++++++
snippets/easycrypt-mode/tactics/bypr | 8 ++++++++
snippets/easycrypt-mode/tactics/call | 8 ++++++++
snippets/easycrypt-mode/tactics/call-invar | 8 ++++++++
snippets/easycrypt-mode/tactics/call-invar2 | 8 ++++++++
snippets/easycrypt-mode/tactics/call-invar3 | 8 ++++++++
snippets/easycrypt-mode/tactics/call-true | 8 ++++++++
snippets/easycrypt-mode/tactics/call-true-true | 8 ++++++++
snippets/easycrypt-mode/tactics/call1 | 8 ++++++++
snippets/easycrypt-mode/tactics/call1-invar | 8 ++++++++
snippets/easycrypt-mode/tactics/call1-true | 8 ++++++++
snippets/easycrypt-mode/tactics/call1-true-true | 8 ++++++++
snippets/easycrypt-mode/tactics/call2 | 8 ++++++++
snippets/easycrypt-mode/tactics/call2-invar | 8 ++++++++
snippets/easycrypt-mode/tactics/call2-true | 8 ++++++++
snippets/easycrypt-mode/tactics/call2-true-true | 8 ++++++++
snippets/easycrypt-mode/tactics/case | 8 ++++++++
snippets/easycrypt-mode/tactics/case-move | 8 ++++++++
snippets/easycrypt-mode/tactics/cfold | 8 ++++++++
snippets/easycrypt-mode/tactics/cfold-from-to | 8 ++++++++
snippets/easycrypt-mode/tactics/cfold-from-to1 | 8 ++++++++
snippets/easycrypt-mode/tactics/cfold-from-to2 | 8 ++++++++
snippets/easycrypt-mode/tactics/cfold1 | 8 ++++++++
snippets/easycrypt-mode/tactics/cfold2 | 8 ++++++++
snippets/easycrypt-mode/tactics/cfold_from_to | 6 ++++++
snippets/easycrypt-mode/tactics/cfold_from_to1 | 6 ++++++
snippets/easycrypt-mode/tactics/cfold_from_to2 | 6 ++++++
snippets/easycrypt-mode/tactics/clear | 8 ++++++++
snippets/easycrypt-mode/tactics/conseq | 8 ++++++++
snippets/easycrypt-mode/tactics/conseq-invar | 8 ++++++++
snippets/easycrypt-mode/tactics/conseq-true | 8 ++++++++
snippets/easycrypt-mode/tactics/conseq-true-true | 8 ++++++++
snippets/easycrypt-mode/tactics/conseq1 | 8 ++++++++
snippets/easycrypt-mode/tactics/conseq1-invar | 8 ++++++++
snippets/easycrypt-mode/tactics/conseq1-true | 8 ++++++++
snippets/easycrypt-mode/tactics/conseq1-true-true | 8 ++++++++
snippets/easycrypt-mode/tactics/conseq2 | 8 ++++++++
snippets/easycrypt-mode/tactics/conseq2-invar | 8 ++++++++
snippets/easycrypt-mode/tactics/conseq2-true | 8 ++++++++
snippets/easycrypt-mode/tactics/conseq2-true-true | 8 ++++++++
snippets/easycrypt-mode/tactics/do-n-times | 8 ++++++++
snippets/easycrypt-mode/tactics/do-split | 9 +++++++++
snippets/easycrypt-mode/tactics/dosplit | 7 +++++++
snippets/easycrypt-mode/tactics/ecall | 8 ++++++++
snippets/easycrypt-mode/tactics/ecall-wp | 8 ++++++++
snippets/easycrypt-mode/tactics/elim-proof-term | 8 ++++++++
snippets/easycrypt-mode/tactics/elim-var | 8 ++++++++
snippets/easycrypt-mode/tactics/exists | 8 ++++++++
snippets/easycrypt-mode/tactics/exists-astreix1 | 8 ++++++++
snippets/easycrypt-mode/tactics/exists-astrix | 8 ++++++++
snippets/easycrypt-mode/tactics/first-last | 8 ++++++++
snippets/easycrypt-mode/tactics/first-n-last | 7 +++++++
snippets/easycrypt-mode/tactics/firstn | 8 ++++++++
snippets/easycrypt-mode/tactics/fission | 8 ++++++++
snippets/easycrypt-mode/tactics/fission1 | 8 ++++++++
snippets/easycrypt-mode/tactics/fission2 | 8 ++++++++
snippets/easycrypt-mode/tactics/fusion | 8 ++++++++
snippets/easycrypt-mode/tactics/fusion1 | 8 ++++++++
snippets/easycrypt-mode/tactics/fusion2 | 8 ++++++++
snippets/easycrypt-mode/tactics/have-define | 8 ++++++++
snippets/easycrypt-mode/tactics/have-introduce | 8 ++++++++
snippets/easycrypt-mode/tactics/have-write-left | 8 ++++++++
snippets/easycrypt-mode/tactics/have-write-left-eq | 8 ++++++++
snippets/easycrypt-mode/tactics/have-write-right | 8 ++++++++
snippets/easycrypt-mode/tactics/have-write-right-eq | 8 ++++++++
snippets/easycrypt-mode/tactics/if | 8 ++++++++
snippets/easycrypt-mode/tactics/if1 | 8 ++++++++
snippets/easycrypt-mode/tactics/if2 | 8 ++++++++
snippets/easycrypt-mode/tactics/implies | 7 +++++++
snippets/easycrypt-mode/tactics/implies-brackets | 7 +++++++
snippets/easycrypt-mode/tactics/inline | 6 ++++++
snippets/easycrypt-mode/tactics/inline1 | 8 ++++++++
snippets/easycrypt-mode/tactics/inline2 | 8 ++++++++
snippets/easycrypt-mode/tactics/last | 8 ++++++++
snippets/easycrypt-mode/tactics/last-first | 8 ++++++++
snippets/easycrypt-mode/tactics/last-n-first | 8 ++++++++
snippets/easycrypt-mode/tactics/lastn | 8 ++++++++
snippets/easycrypt-mode/tactics/move-1 | 8 ++++++++
snippets/easycrypt-mode/tactics/move-1m2 | 8 ++++++++
snippets/easycrypt-mode/tactics/move-2 | 8 ++++++++
snippets/easycrypt-mode/tactics/move-from-assumption | 8 ++++++++
snippets/easycrypt-mode/tactics/move-hr | 8 ++++++++
snippets/easycrypt-mode/tactics/move-lemma-args | 8 ++++++++
snippets/easycrypt-mode/tactics/move-to-assumption | 8 ++++++++
snippets/easycrypt-mode/tactics/pose | 8 ++++++++
snippets/easycrypt-mode/tactics/proc-simplify | 8 ++++++++
snippets/easycrypt-mode/tactics/proc-up-to-bad | 8 ++++++++
snippets/easycrypt-mode/tactics/proc-up-to-bad2 | 8 ++++++++
snippets/easycrypt-mode/tactics/rcondf1 | 8 ++++++++
snippets/easycrypt-mode/tactics/rcondf2 | 8 ++++++++
snippets/easycrypt-mode/tactics/rcondt-rl | 6 ++++++
snippets/easycrypt-mode/tactics/rcondt1 | 8 ++++++++
snippets/easycrypt-mode/tactics/rcondt2 | 8 ++++++++
snippets/easycrypt-mode/tactics/repeat-from-to | 8 ++++++++
snippets/easycrypt-mode/tactics/rewrite | 8 ++++++++
snippets/easycrypt-mode/tactics/rewrite-crush | 8 ++++++++
snippets/easycrypt-mode/tactics/rewrite-expand-list | 8 ++++++++
snippets/easycrypt-mode/tactics/rewrite-fun-backwards | 8 ++++++++
snippets/easycrypt-mode/tactics/rewrite-in | 8 ++++++++
.../easycrypt-mode/tactics/rewrite-lemma-forwards-args | 8 ++++++++
snippets/easycrypt-mode/tactics/rewrite-proof-term-in | 8 ++++++++
snippets/easycrypt-mode/tactics/rnd-f | 8 ++++++++
snippets/easycrypt-mode/tactics/rnd-fg | 8 ++++++++
snippets/easycrypt-mode/tactics/rnd1 | 8 ++++++++
snippets/easycrypt-mode/tactics/rnd2 | 7 +++++++
snippets/easycrypt-mode/tactics/seq | 8 ++++++++
snippets/easycrypt-mode/tactics/sim | 8 ++++++++
snippets/easycrypt-mode/tactics/smt | 8 ++++++++
snippets/easycrypt-mode/tactics/splitwhile | 8 ++++++++
snippets/easycrypt-mode/tactics/splitwhile1 | 8 ++++++++
snippets/easycrypt-mode/tactics/splitwhile2 | 8 ++++++++
snippets/easycrypt-mode/tactics/transitivity | 10 ++++++++++
snippets/easycrypt-mode/tactics/transitivity-code | 10 ++++++++++
snippets/easycrypt-mode/tactics/unroll-equiv | 8 ++++++++
snippets/easycrypt-mode/tactics/unroll-while | 8 ++++++++
snippets/easycrypt-mode/tactics/while | 10 ++++++++++
snippets/easycrypt-mode/tactics/while-true | 8 ++++++++
snippets/easycrypt-mode/tactics/while1 | 8 ++++++++
snippets/easycrypt-mode/tactics/while2 | 7 +++++++
snippets/easycrypt-mode/theories/abstract-theory | 11 +++++++++++
snippets/easycrypt-mode/theories/clone-as | 8 ++++++++
snippets/easycrypt-mode/theories/clone-as-with | 8 ++++++++
snippets/easycrypt-mode/theories/clone-import | 8 ++++++++
snippets/easycrypt-mode/theories/clone-include | 8 ++++++++
snippets/easycrypt-mode/theories/clone-no-with | 6 ++++++
snippets/easycrypt-mode/theories/rename-as | 8 ++++++++
snippets/easycrypt-mode/theories/section | 10 ++++++++++
snippets/easycrypt-mode/theories/theory | 11 +++++++++++
snippets/easycrypt-mode/theories/type | 8 ++++++++
snippets/easycrypt-mode/theories/with | 8 ++++++++
snippets/js-mode/for | 2 +-
snippets/julia-mode/begin | 17 ++++++++---------
snippets/julia-mode/do | 17 ++++++++---------
snippets/julia-mode/for | 17 ++++++++---------
snippets/julia-mode/fun | 17 ++++++++---------
snippets/julia-mode/if | 17 ++++++++---------
snippets/julia-mode/let | 17 ++++++++---------
snippets/julia-mode/macro | 17 ++++++++---------
snippets/julia-mode/module | 17 ++++++++---------
snippets/julia-mode/mutstr | 17 ++++++++---------
snippets/julia-mode/struct | 17 ++++++++---------
snippets/julia-mode/while | 17 ++++++++---------
snippets/nix-mode/doCheck | 8 ++++++++
snippets/nix-mode/passthru_update | 5 +++++
snippets/nix-mode/pkgs_mkshell | 13 +++++++++++++
snippets/nix-ts-mode/.yas-parents | 1 +
snippets/prog-mode/.yas-setup.el | 7 +++++++
snippets/prog-mode/spdxcopyright | 6 ++++++
snippets/prog-mode/spdxlicense | 6 ++++++
snippets/reason-mode/function | 2 +-
snippets/terraform-mode/import | 9 +++++++++
237 files changed, 1907 insertions(+), 101 deletions(-)
create mode 100644 snippets/easycrypt-mode/lookup/locate
create mode 100644 snippets/easycrypt-mode/lookup/print
create mode 100644 snippets/easycrypt-mode/lookup/search
create mode 100644 snippets/easycrypt-mode/misc/abbrev
create mode 100644 snippets/easycrypt-mode/misc/and1
create mode 100644 snippets/easycrypt-mode/misc/and2
create mode 100644 snippets/easycrypt-mode/misc/comment
create mode 100644 snippets/easycrypt-mode/misc/forall
create mode 100644 snippets/easycrypt-mode/misc/from
create mode 100644 snippets/easycrypt-mode/misc/from-jasmin
create mode 100644 snippets/easycrypt-mode/misc/fun
create mode 100644 snippets/easycrypt-mode/misc/ge0
create mode 100644 snippets/easycrypt-mode/misc/geq0
create mode 100644 snippets/easycrypt-mode/misc/hint-simplify
create mode 100644 snippets/easycrypt-mode/misc/if
create mode 100644 snippets/easycrypt-mode/misc/import
create mode 100644 snippets/easycrypt-mode/misc/let-in
create mode 100644 snippets/easycrypt-mode/misc/list
create mode 100644 snippets/easycrypt-mode/misc/new-comment
create mode 100644 snippets/easycrypt-mode/misc/or1
create mode 100644 snippets/easycrypt-mode/misc/or2
create mode 100644 snippets/easycrypt-mode/misc/param
create mode 100644 snippets/easycrypt-mode/misc/pred
create mode 100644 snippets/easycrypt-mode/misc/probability
create mode 100644 snippets/easycrypt-mode/misc/probability-mem
create mode 100644 snippets/easycrypt-mode/misc/range
create mode 100644 snippets/easycrypt-mode/misc/range-exclusive
create mode 100644 snippets/easycrypt-mode/misc/range-exclusive-inclusive
create mode 100644 snippets/easycrypt-mode/misc/range-inclusive
create mode 100644 snippets/easycrypt-mode/misc/range-inclusive-exclusive
create mode 100644 snippets/easycrypt-mode/misc/require-import
create mode 100644 snippets/easycrypt-mode/modules/module
create mode 100644 snippets/easycrypt-mode/modules/module-instance
create mode 100644 snippets/easycrypt-mode/modules/module-type
create mode 100644 snippets/easycrypt-mode/modules/module-with-params
create mode 100644 snippets/easycrypt-mode/modules/module-with-params-return
create mode 100644 snippets/easycrypt-mode/modules/module-with-return
create mode 100644 snippets/easycrypt-mode/procedures/assign
create mode 100644 snippets/easycrypt-mode/procedures/decrement-counter
create mode 100644 snippets/easycrypt-mode/procedures/if-else-proc
create mode 100644 snippets/easycrypt-mode/procedures/if-proc
create mode 100644 snippets/easycrypt-mode/procedures/increment-counter
create mode 100644 snippets/easycrypt-mode/procedures/init-var
create mode 100644 snippets/easycrypt-mode/procedures/new-var
create mode 100644 snippets/easycrypt-mode/procedures/proc
create mode 100644 snippets/easycrypt-mode/procedures/proc-abstract
create mode 100644 snippets/easycrypt-mode/procedures/proc-call
create mode 100644 snippets/easycrypt-mode/procedures/proc-no-return
create mode 100644 snippets/easycrypt-mode/procedures/sample
create mode 100644 snippets/easycrypt-mode/procedures/while-proc
create mode 100644 snippets/easycrypt-mode/propositions/axiom
create mode 100644 snippets/easycrypt-mode/propositions/axiomatized
create mode 100644 snippets/easycrypt-mode/propositions/declare
create mode 100644 snippets/easycrypt-mode/propositions/equiv
create mode 100644 snippets/easycrypt-mode/propositions/hoare
create mode 100644 snippets/easycrypt-mode/propositions/lemma
create mode 100644 snippets/easycrypt-mode/propositions/lemma_equality
create mode 100644 snippets/easycrypt-mode/propositions/lemma_equiv
create mode 100644 snippets/easycrypt-mode/propositions/lemma_hoare
create mode 100644 snippets/easycrypt-mode/propositions/lemma_islossless
create mode 100644 snippets/easycrypt-mode/propositions/lemma_phoare
create mode 100644 snippets/easycrypt-mode/propositions/local
create mode 100644 snippets/easycrypt-mode/propositions/op-as
create mode 100644 snippets/easycrypt-mode/propositions/op-axiomatixed
create mode 100644 snippets/easycrypt-mode/propositions/op-barebones
create mode 100644 snippets/easycrypt-mode/propositions/op-no-return
create mode 100644 snippets/easycrypt-mode/propositions/phoare
create mode 100644 snippets/easycrypt-mode/propositions/small-lemma
create mode 100644 snippets/easycrypt-mode/tactics/alias
create mode 100644 snippets/easycrypt-mode/tactics/alias-with
create mode 100644 snippets/easycrypt-mode/tactics/alias1
create mode 100644 snippets/easycrypt-mode/tactics/alias1-with
create mode 100644 snippets/easycrypt-mode/tactics/alias2
create mode 100644 snippets/easycrypt-mode/tactics/alias2-with
create mode 100644 snippets/easycrypt-mode/tactics/aliaswith
create mode 100644 snippets/easycrypt-mode/tactics/aliaswith1
create mode 100644 snippets/easycrypt-mode/tactics/aliaswith2
create mode 100644 snippets/easycrypt-mode/tactics/apply-args
create mode 100644 snippets/easycrypt-mode/tactics/apply-in
create mode 100644 snippets/easycrypt-mode/tactics/apply-proof-term
create mode 100644 snippets/easycrypt-mode/tactics/async-while
create mode 100644 snippets/easycrypt-mode/tactics/auto
create mode 100644 snippets/easycrypt-mode/tactics/auto.yasnippet
create mode 100644 snippets/easycrypt-mode/tactics/bad-smt
create mode 100644 snippets/easycrypt-mode/tactics/byequiv
create mode 100644 snippets/easycrypt-mode/tactics/byphoare
create mode 100644 snippets/easycrypt-mode/tactics/bypr
create mode 100644 snippets/easycrypt-mode/tactics/call
create mode 100644 snippets/easycrypt-mode/tactics/call-invar
create mode 100644 snippets/easycrypt-mode/tactics/call-invar2
create mode 100644 snippets/easycrypt-mode/tactics/call-invar3
create mode 100644 snippets/easycrypt-mode/tactics/call-true
create mode 100644 snippets/easycrypt-mode/tactics/call-true-true
create mode 100644 snippets/easycrypt-mode/tactics/call1
create mode 100644 snippets/easycrypt-mode/tactics/call1-invar
create mode 100644 snippets/easycrypt-mode/tactics/call1-true
create mode 100644 snippets/easycrypt-mode/tactics/call1-true-true
create mode 100644 snippets/easycrypt-mode/tactics/call2
create mode 100644 snippets/easycrypt-mode/tactics/call2-invar
create mode 100644 snippets/easycrypt-mode/tactics/call2-true
create mode 100644 snippets/easycrypt-mode/tactics/call2-true-true
create mode 100644 snippets/easycrypt-mode/tactics/case
create mode 100644 snippets/easycrypt-mode/tactics/case-move
create mode 100644 snippets/easycrypt-mode/tactics/cfold
create mode 100644 snippets/easycrypt-mode/tactics/cfold-from-to
create mode 100644 snippets/easycrypt-mode/tactics/cfold-from-to1
create mode 100644 snippets/easycrypt-mode/tactics/cfold-from-to2
create mode 100644 snippets/easycrypt-mode/tactics/cfold1
create mode 100644 snippets/easycrypt-mode/tactics/cfold2
create mode 100644 snippets/easycrypt-mode/tactics/cfold_from_to
create mode 100644 snippets/easycrypt-mode/tactics/cfold_from_to1
create mode 100644 snippets/easycrypt-mode/tactics/cfold_from_to2
create mode 100644 snippets/easycrypt-mode/tactics/clear
create mode 100644 snippets/easycrypt-mode/tactics/conseq
create mode 100644 snippets/easycrypt-mode/tactics/conseq-invar
create mode 100644 snippets/easycrypt-mode/tactics/conseq-true
create mode 100644 snippets/easycrypt-mode/tactics/conseq-true-true
create mode 100644 snippets/easycrypt-mode/tactics/conseq1
create mode 100644 snippets/easycrypt-mode/tactics/conseq1-invar
create mode 100644 snippets/easycrypt-mode/tactics/conseq1-true
create mode 100644 snippets/easycrypt-mode/tactics/conseq1-true-true
create mode 100644 snippets/easycrypt-mode/tactics/conseq2
create mode 100644 snippets/easycrypt-mode/tactics/conseq2-invar
create mode 100644 snippets/easycrypt-mode/tactics/conseq2-true
create mode 100644 snippets/easycrypt-mode/tactics/conseq2-true-true
create mode 100644 snippets/easycrypt-mode/tactics/do-n-times
create mode 100644 snippets/easycrypt-mode/tactics/do-split
create mode 100644 snippets/easycrypt-mode/tactics/dosplit
create mode 100644 snippets/easycrypt-mode/tactics/ecall
create mode 100644 snippets/easycrypt-mode/tactics/ecall-wp
create mode 100644 snippets/easycrypt-mode/tactics/elim-proof-term
create mode 100644 snippets/easycrypt-mode/tactics/elim-var
create mode 100644 snippets/easycrypt-mode/tactics/exists
create mode 100644 snippets/easycrypt-mode/tactics/exists-astreix1
create mode 100644 snippets/easycrypt-mode/tactics/exists-astrix
create mode 100644 snippets/easycrypt-mode/tactics/first-last
create mode 100644 snippets/easycrypt-mode/tactics/first-n-last
create mode 100644 snippets/easycrypt-mode/tactics/firstn
create mode 100644 snippets/easycrypt-mode/tactics/fission
create mode 100644 snippets/easycrypt-mode/tactics/fission1
create mode 100644 snippets/easycrypt-mode/tactics/fission2
create mode 100644 snippets/easycrypt-mode/tactics/fusion
create mode 100644 snippets/easycrypt-mode/tactics/fusion1
create mode 100644 snippets/easycrypt-mode/tactics/fusion2
create mode 100644 snippets/easycrypt-mode/tactics/have-define
create mode 100644 snippets/easycrypt-mode/tactics/have-introduce
create mode 100644 snippets/easycrypt-mode/tactics/have-write-left
create mode 100644 snippets/easycrypt-mode/tactics/have-write-left-eq
create mode 100644 snippets/easycrypt-mode/tactics/have-write-right
create mode 100644 snippets/easycrypt-mode/tactics/have-write-right-eq
create mode 100644 snippets/easycrypt-mode/tactics/if
create mode 100644 snippets/easycrypt-mode/tactics/if1
create mode 100644 snippets/easycrypt-mode/tactics/if2
create mode 100644 snippets/easycrypt-mode/tactics/implies
create mode 100644 snippets/easycrypt-mode/tactics/implies-brackets
create mode 100644 snippets/easycrypt-mode/tactics/inline
create mode 100644 snippets/easycrypt-mode/tactics/inline1
create mode 100644 snippets/easycrypt-mode/tactics/inline2
create mode 100644 snippets/easycrypt-mode/tactics/last
create mode 100644 snippets/easycrypt-mode/tactics/last-first
create mode 100644 snippets/easycrypt-mode/tactics/last-n-first
create mode 100644 snippets/easycrypt-mode/tactics/lastn
create mode 100644 snippets/easycrypt-mode/tactics/move-1
create mode 100644 snippets/easycrypt-mode/tactics/move-1m2
create mode 100644 snippets/easycrypt-mode/tactics/move-2
create mode 100644 snippets/easycrypt-mode/tactics/move-from-assumption
create mode 100644 snippets/easycrypt-mode/tactics/move-hr
create mode 100644 snippets/easycrypt-mode/tactics/move-lemma-args
create mode 100644 snippets/easycrypt-mode/tactics/move-to-assumption
create mode 100644 snippets/easycrypt-mode/tactics/pose
create mode 100644 snippets/easycrypt-mode/tactics/proc-simplify
create mode 100644 snippets/easycrypt-mode/tactics/proc-up-to-bad
create mode 100644 snippets/easycrypt-mode/tactics/proc-up-to-bad2
create mode 100644 snippets/easycrypt-mode/tactics/rcondf1
create mode 100644 snippets/easycrypt-mode/tactics/rcondf2
create mode 100644 snippets/easycrypt-mode/tactics/rcondt-rl
create mode 100644 snippets/easycrypt-mode/tactics/rcondt1
create mode 100644 snippets/easycrypt-mode/tactics/rcondt2
create mode 100644 snippets/easycrypt-mode/tactics/repeat-from-to
create mode 100644 snippets/easycrypt-mode/tactics/rewrite
create mode 100644 snippets/easycrypt-mode/tactics/rewrite-crush
create mode 100644 snippets/easycrypt-mode/tactics/rewrite-expand-list
create mode 100644 snippets/easycrypt-mode/tactics/rewrite-fun-backwards
create mode 100644 snippets/easycrypt-mode/tactics/rewrite-in
create mode 100644 snippets/easycrypt-mode/tactics/rewrite-lemma-forwards-args
create mode 100644 snippets/easycrypt-mode/tactics/rewrite-proof-term-in
create mode 100644 snippets/easycrypt-mode/tactics/rnd-f
create mode 100644 snippets/easycrypt-mode/tactics/rnd-fg
create mode 100644 snippets/easycrypt-mode/tactics/rnd1
create mode 100644 snippets/easycrypt-mode/tactics/rnd2
create mode 100644 snippets/easycrypt-mode/tactics/seq
create mode 100644 snippets/easycrypt-mode/tactics/sim
create mode 100644 snippets/easycrypt-mode/tactics/smt
create mode 100644 snippets/easycrypt-mode/tactics/splitwhile
create mode 100644 snippets/easycrypt-mode/tactics/splitwhile1
create mode 100644 snippets/easycrypt-mode/tactics/splitwhile2
create mode 100644 snippets/easycrypt-mode/tactics/transitivity
create mode 100644 snippets/easycrypt-mode/tactics/transitivity-code
create mode 100644 snippets/easycrypt-mode/tactics/unroll-equiv
create mode 100644 snippets/easycrypt-mode/tactics/unroll-while
create mode 100644 snippets/easycrypt-mode/tactics/while
create mode 100644 snippets/easycrypt-mode/tactics/while-true
create mode 100644 snippets/easycrypt-mode/tactics/while1
create mode 100644 snippets/easycrypt-mode/tactics/while2
create mode 100644 snippets/easycrypt-mode/theories/abstract-theory
create mode 100644 snippets/easycrypt-mode/theories/clone-as
create mode 100644 snippets/easycrypt-mode/theories/clone-as-with
create mode 100644 snippets/easycrypt-mode/theories/clone-import
create mode 100644 snippets/easycrypt-mode/theories/clone-include
create mode 100644 snippets/easycrypt-mode/theories/clone-no-with
create mode 100644 snippets/easycrypt-mode/theories/rename-as
create mode 100644 snippets/easycrypt-mode/theories/section
create mode 100644 snippets/easycrypt-mode/theories/theory
create mode 100644 snippets/easycrypt-mode/theories/type
create mode 100644 snippets/easycrypt-mode/theories/with
create mode 100644 snippets/nix-mode/doCheck
create mode 100644 snippets/nix-mode/passthru_update
create mode 100644 snippets/nix-mode/pkgs_mkshell
create mode 100644 snippets/nix-ts-mode/.yas-parents
create mode 100644 snippets/prog-mode/spdxcopyright
create mode 100644 snippets/prog-mode/spdxlicense
create mode 100644 snippets/terraform-mode/import
