Skip to content

Commit 58a85bb

Browse files
JoaoDiogoDuartelewars
JoaoDiogoDuarte
authored and
lewars
committed
Added easycrypt-mode snippets (AndreaCrotti#503)
* initial easycrypt mode * Added emacs files in gitignore * Added easycrypt snippets * Removed backup and autosave files
1 parent be9ff3e commit 58a85bb

File tree

216 files changed

+1762
-0
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

216 files changed

+1762
-0
lines changed

‎.gitignore‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -3,3 +3,6 @@
33
/report/.nrepl-port
44
/.clj-kondo/
55
/.lsp/
6+
*~
7+
\#*\#
8+
.\#*

‎snippets/easycrypt-mode/lookup/locate‎

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
# -*- mode: snippet -*-
2+
# key: L
3+
# group: lookup
4+
# name: locate
5+
# expand-env: ((yas-indent-line 'fixed))
6+
# --
7+
locate $1.

‎snippets/easycrypt-mode/lookup/print‎

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
# -*- mode: snippet -*-
2+
# key: P
3+
# group: lookup
4+
# name: print
5+
# expand-env: ((yas-indent-line 'fixed))
6+
# --
7+
print $1.

‎snippets/easycrypt-mode/lookup/search‎

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
# -*- mode: snippet -*-
2+
# key: S
3+
# group: lookup
4+
# name: search
5+
# expand-env: ((yas-indent-line 'fixed))
6+
# --
7+
search $1.

‎snippets/easycrypt-mode/misc/abbrev‎

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
# -*- mode: snippet -*-
2+
# contributor: João Diogo Duarte
3+
# group: tactics
4+
# name: abbrev
5+
# key: abbrev
6+
# expand-env: ((yas-indent-line 'fixed))
7+
# --
8+
abbrev $1 = $2.

‎snippets/easycrypt-mode/misc/and1‎

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
# -*- mode: snippet -*-
2+
# contributor: João Diogo Duarte
3+
# group: tactics
4+
# name: and1
5+
# key: and1
6+
# expand-env: ((yas-indent-line 'fixed))
7+
# --
8+
$1 /\ $2

‎snippets/easycrypt-mode/misc/and2‎

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
# -*- mode: snippet -*-
2+
# contributor: João Diogo Duarte
3+
# group: tactics
4+
# name: and2
5+
# key: and2
6+
# expand-env: ((yas-indent-line 'fixed))
7+
# --
8+
$1 && $2

‎snippets/easycrypt-mode/misc/comment‎

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
# -*- mode: snippet -*-
2+
# contributor: João Diogo Duarte
3+
# group: tactics
4+
# name: comment
5+
# key: comment
6+
# expand-env: ((yas-indent-line 'fixed))
7+
# --
8+
(* $1 *)

‎snippets/easycrypt-mode/misc/forall‎

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
# -*- mode: snippet -*-
2+
# contributor: João Diogo Duarte
3+
# group: tactics
4+
# name: forall
5+
# key: forall
6+
# expand-env: ((yas-indent-line 'fixed))
7+
# --
8+
forall ($1: $2), $3

‎snippets/easycrypt-mode/misc/from‎

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
# -*- mode: snippet -*-
2+
# key: from
3+
# group: misc
4+
# name: from
5+
# --
6+
from $1 require import $2.

0 commit comments

Comments
 (0)