Added easycrypt-mode snippets (#503)

* initial easycrypt mode

* Added emacs files in gitignore

* Added easycrypt snippets

* Removed backup and autosave files

Author: JoaoDiogoDuarte

.gitignore

@@ -3,3 +3,6 @@
 /report/.nrepl-port
 /.clj-kondo/
 /.lsp/
+*~
+\#*\#
+.\#*

snippets/easycrypt-mode/lookup/locate

@@ -0,0 +1,7 @@
+# -*- mode: snippet -*-
+# key: L
+# group: lookup
+# name: locate
+# expand-env: ((yas-indent-line 'fixed))
+# --
+locate $1.

snippets/easycrypt-mode/lookup/print

@@ -0,0 +1,7 @@
+# -*- mode: snippet -*-
+# key: P
+# group: lookup
+# name: print
+# expand-env: ((yas-indent-line 'fixed))
+# --
+print $1.

snippets/easycrypt-mode/lookup/search

@@ -0,0 +1,7 @@
+# -*- mode: snippet -*-
+# key: S
+# group: lookup
+# name: search
+# expand-env: ((yas-indent-line 'fixed))
+# --
+search $1.

snippets/easycrypt-mode/misc/abbrev

@@ -0,0 +1,8 @@
+# -*- mode: snippet -*-
+# contributor: João Diogo Duarte
+# group: tactics
+# name: abbrev
+# key: abbrev
+# expand-env: ((yas-indent-line 'fixed))
+# --
+abbrev $1 = $2.

snippets/easycrypt-mode/misc/and1

@@ -0,0 +1,8 @@
+# -*- mode: snippet -*-
+# contributor: João Diogo Duarte
+# group: tactics
+# name: and1
+# key: and1
+# expand-env: ((yas-indent-line 'fixed))
+# --
+$1 /\ $2

snippets/easycrypt-mode/misc/and2

@@ -0,0 +1,8 @@
+# -*- mode: snippet -*-
+# contributor: João Diogo Duarte
+# group: tactics
+# name: and2
+# key: and2
+# expand-env: ((yas-indent-line 'fixed))
+# --
+$1 && $2

snippets/easycrypt-mode/misc/comment

@@ -0,0 +1,8 @@
+# -*- mode: snippet -*-
+# contributor: João Diogo Duarte
+# group: tactics
+# name: comment
+# key: comment
+# expand-env: ((yas-indent-line 'fixed))
+# --
+(* $1 *)

snippets/easycrypt-mode/misc/forall

@@ -0,0 +1,8 @@
+# -*- mode: snippet -*-
+# contributor: João Diogo Duarte
+# group: tactics
+# name: forall
+# key: forall
+# expand-env: ((yas-indent-line 'fixed))
+# --
+forall ($1: $2), $3

snippets/easycrypt-mode/misc/from

@@ -0,0 +1,6 @@
+# -*- mode: snippet -*-
+# key: from
+# group: misc
+# name: from
+# --
+from $1 require import $2.

snippets/easycrypt-mode/misc/from-jasmin

@@ -0,0 +1,7 @@
+# -*- mode: snippet -*-
+# key: from-jasmin
+# group: misc
+# name: from-jasmin
+# expand-env: ((yas-indent-line 'fixed))
+# --
+from Jasmin require import $1.

snippets/easycrypt-mode/misc/fun

@@ -0,0 +1,8 @@
+# -*- mode: snippet -*-
+# contributor: João Diogo Duarte
+# group: tactics
+# name: fun
+# key: fun
+# expand-env: ((yas-indent-line 'fixed))
+# --
+fun ($1) => $2

snippets/easycrypt-mode/misc/ge0

@@ -0,0 +1,8 @@
+# -*- mode: snippet -*-
+# contributor: João Diogo Duarte
+# group: tactics
+# name: ge0
+# key: ge0
+# expand-env: ((yas-indent-line 'fixed))
+# --
+0 <= $1

snippets/easycrypt-mode/misc/geq0

@@ -0,0 +1,6 @@
+# -*- mode: snippet -*-
+# contributor: João Diogo Duarte
+# name: ge0
+# key: ge0
+# --
+0 <= $1

snippets/easycrypt-mode/misc/hint-simplify

@@ -0,0 +1,8 @@
+# -*- mode: snippet -*-
+# contributor: João Diogo Duarte
+# group: tactics
+# name: hint-simplify
+# key: hint
+# expand-env: ((yas-indent-line 'fixed))
+# --
+hint simplify $1.

snippets/easycrypt-mode/misc/if

@@ -0,0 +1,8 @@
+# -*- mode: snippet -*-
+# contributor: João Diogo Duarte
+# group: tactics
+# name: if
+# key: if
+# expand-env: ((yas-indent-line 'fixed))
+# --
+if $1 then $2 else $3

snippets/easycrypt-mode/misc/import

@@ -0,0 +1,7 @@
+# -*- mode: snippet -*-
+# key: import
+# group: misc
+# name: import
+# expand-env: ((yas-indent-line 'fixed))
+# --
+import $1.

snippets/easycrypt-mode/misc/let-in

@@ -0,0 +1,8 @@
+# -*- mode: snippet -*-
+# contributor: João Diogo Duarte
+# group: tactics
+# name: let-in
+# key: let-in
+# expand-env: ((yas-indent-line 'fixed))
+# --
+let $1 in $2

snippets/easycrypt-mode/misc/list

@@ -0,0 +1,8 @@
+# -*- mode: snippet -*-
+# contributor: João Diogo Duarte
+# group: tactics
+# name: list
+# key: list
+# expand-env: ((yas-indent-line 'fixed))
+# --
+[$1 ; $2]

snippets/easycrypt-mode/misc/new-comment

@@ -0,0 +1,6 @@
+# -*- mode: snippet -*-
+# contributor: João Diogo Duarte
+# name: new-comment
+# key: new-comment
+# --
+(* $1 *)

snippets/easycrypt-mode/misc/or1

@@ -0,0 +1,8 @@
+# -*- mode: snippet -*-
+# contributor: João Diogo Duarte
+# group: tactics
+# name: or1
+# key: or1
+# expand-env: ((yas-indent-line 'fixed))
+# --
+$1 \/ $2

snippets/easycrypt-mode/misc/or2

@@ -0,0 +1,8 @@
+# -*- mode: snippet -*-
+# contributor: João Diogo Duarte
+# group: tactics
+# name: or2
+# key: or2
+# expand-env: ((yas-indent-line 'fixed))
+# --
+$1 || $2

snippets/easycrypt-mode/misc/param

@@ -0,0 +1,8 @@
+# -*- mode: snippet -*-
+# contributor: João Diogo Duarte
+# group: tactics
+# name: param
+# key: param
+# expand-env: ((yas-indent-line 'fixed))
+# --
+($1 : $2)

snippets/easycrypt-mode/misc/pred

@@ -0,0 +1,7 @@
+# -*- mode: snippet -*-
+# key: pred
+# group: misc
+# name: pred
+# expand-env: ((yas-indent-line 'fixed))
+# --
+pred $1 = $2.

snippets/easycrypt-mode/misc/probability

@@ -0,0 +1,8 @@
+# -*- mode: snippet -*-
+# contributor: João Diogo Duarte
+# group: tactics
+# name: probability
+# key: probability
+# expand-env: ((yas-indent-line 'fixed))
+# --
+Pr[$1]

snippets/easycrypt-mode/misc/probability-mem

@@ -0,0 +1,8 @@
+# -*- mode: snippet -*-
+# contributor: João Diogo Duarte
+# group: tactics
+# name: probability-memory
+# key: probability-memory
+# expand-env: ((yas-indent-line 'fixed))
+# --
+Pr[$1 @ &$2 : $3]

snippets/easycrypt-mode/misc/range

@@ -0,0 +1,6 @@
+# -*- mode: snippet -*-
+# contributor: João Diogo Duarte
+# name: range
+# key: range
+# --
+$1 <= $2 <= $3

snippets/easycrypt-mode/misc/range-exclusive

@@ -0,0 +1,8 @@
+# -*- mode: snippet -*-
+# contributor: João Diogo Duarte
+# group: tactics
+# name: range-exclusive
+# key: range-exclusive
+# expand-env: ((yas-indent-line 'fixed))
+# --
+$1 < $2 < $3

snippets/easycrypt-mode/misc/range-exclusive-inclusive

@@ -0,0 +1,8 @@
+# -*- mode: snippet -*-
+# contributor: João Diogo Duarte
+# group: tactics
+# name: range-exclusive-inclusive
+# key: range-exclusive-inclusive
+# expand-env: ((yas-indent-line 'fixed))
+# --
+$1 < $2 <= $3

snippets/easycrypt-mode/misc/range-inclusive

@@ -0,0 +1,8 @@
+# -*- mode: snippet -*-
+# contributor: João Diogo Duarte
+# group: tactics
+# name: range-inclusive
+# key: range-inclusive
+# expand-env: ((yas-indent-line 'fixed))
+# --
+$1 <= $2 <= $3

snippets/easycrypt-mode/misc/range-inclusive-exclusive

@@ -0,0 +1,8 @@
+# -*- mode: snippet -*-
+# contributor: João Diogo Duarte
+# group: tactics
+# name: range-inclusive-exclusive
+# key: range-inclusive-exclusive
+# expand-env: ((yas-indent-line 'fixed))
+# --
+$1 <= $2 < $3

snippets/easycrypt-mode/misc/require-import

@@ -0,0 +1,7 @@
+# -*- mode: snippet -*-
+# key: require-import
+# group: misc
+# name: require-import
+# expand-env: ((yas-indent-line 'fixed))
+# --
+require import $1.

snippets/easycrypt-mode/modules/module

@@ -0,0 +1,10 @@
+# -*- mode: snippet -*-
+# contributor: João Diogo Duarte
+# group: modules
+# name: module
+# key: module
+# expand-env: ((yas-indent-line 'fixed))
+# --
+module $1 = {
+
+}.

snippets/easycrypt-mode/modules/module-instance

@@ -0,0 +1,8 @@
+# -*- mode: snippet -*-
+# contributor: João Diogo Duarte
+# group: modules
+# name: module-instance
+# key: module-instance
+# expand-env: ((yas-indent-line 'fixed))
+# --
+module $1 = $2($3).

snippets/easycrypt-mode/modules/module-type

@@ -0,0 +1,10 @@
+# -*- mode: snippet -*-
+# contributor: João Diogo Duarte
+# group: modules
+# name: module-type
+# key: module-type
+# expand-env: ((yas-indent-line 'fixed))
+# --
+module type $1 = {
+
+}.

snippets/easycrypt-mode/modules/module-with-params

@@ -0,0 +1,8 @@
+# -*- mode: snippet -*-
+# contributor: João Diogo Duarte
+# name: module-with-params
+# key: module-with-params
+# --
+module $1 ($2: $3) : $4 {
+
+}.

snippets/easycrypt-mode/modules/module-with-params-return

@@ -0,0 +1,10 @@
+# -*- mode: snippet -*-
+# contributor: João Diogo Duarte
+# group: modules
+# name: module-with-params-return
+# key: module-with-params-return
+# expand-env: ((yas-indent-line 'fixed))
+# --
+module $1 ($2: $3) : $4 {
+
+}.

snippets/easycrypt-mode/modules/module-with-return

@@ -0,0 +1,10 @@
+# -*- mode: snippet -*-
+# contributor: João Diogo Duarte
+# group: modules
+# name: module-with-return
+# key: module-with-return
+# expand-env: ((yas-indent-line 'fixed))
+# --
+module $1 : $2 = {
+
+}.

snippets/easycrypt-mode/procedures/assign

@@ -0,0 +1,8 @@
+# -*- mode: snippet -*-
+# contributor: João Diogo Duarte
+# group: procedures
+# name: assign
+# key: assign
+# expand-env: ((yas-indent-line 'fixed))
+# --
+$1 <- $2;

snippets/easycrypt-mode/procedures/decrement-counter

@@ -0,0 +1,8 @@
+# -*- mode: snippet -*-
+# contributor: João Diogo Duarte
+# group: procedures
+# name: decrement-counter
+# key: decrement-counter
+# expand-env: ((yas-indent-line 'fixed))
+# --
+$1 <- $1 - 1;

snippets/easycrypt-mode/procedures/if-else-proc

@@ -0,0 +1,12 @@
+# -*- mode: snippet -*-
+# contributor: João Diogo Duarte
+# group: procedures
+# name: if-else-proc
+# key: if-else-proc
+# expand-env: ((yas-indent-line 'fixed))
+# --
+if ($1){
+
+    } else {
+
+}