.gitignore

*.data
*.log
*.rif
luretteSession*
*.seed
*.pdf
*.dot
*.tgz
*.untracked
rdbg-session*.ml
*.hide
*.md
*.org
*.eps
*.jpg
*.bak
*.save
*.lus
*.lut
flymd.html
log
*.sh
test/**/*.ml
!test/**/p.ml
!test/**/state.ml
results
Makefile.local
.ocamldebug
lib/sasacore/sasaVersion.ml
*.html

# Created by https://www.gitignore.io/api/vim,code,ocaml,emacs
# Edit at https://www.gitignore.io/?templates=vim,code,ocaml,emacs

### Code ###
.vscode/*
!.vscode/tasks.json
!.vscode/launch.json
!.vscode/extensions.json

### Emacs ###
# -*- mode: gitignore; -*-
*~
\#*\#
/.emacs.desktop
/.emacs.desktop.lock
*.elc
auto-save-list
tramp
.\#*

# Org-mode
.org-id-locations
*_archive

# flymake-mode
*_flymake.*

# eshell files
/eshell/history
/eshell/lastdir

# elpa packages
/elpa/

# reftex files
*.rel

# AUCTeX auto folder
/auto/

# cask packages
.cask/
dist/

# Flycheck
flycheck_*.el

# server auth directory
/server/

# projectiles files
.projectile

# directory configuration
.dir-locals.el

# network security
/network-security.data


### OCaml ###
*.annot
*.cmo
*.cma
*.cmi
*.a
*.o
*.cmx
*.cmxs
*.cmxa
*.cmt

# ocamlbuild working directory
_build/

# ocamlbuild targets
*.byte
*.native

# oasis generated files
setup.data
setup.log

# Merlin configuring file for Vim and Emacs
.merlin

# Dune generated files
*.install

# Local OPAM switch
_opam/

# Esy-related generated files
_esy/
_build.prev/
node_modules/

### Vim ###
# Swap
[._]*.s[a-v][a-z]
[._]*.sw[a-p]
[._]s[a-rt-v][a-z]
[._]ss[a-gi-z]
[._]sw[a-p]

# Session
Session.vim
Sessionx.vim

# Temporary
.netrwhist

# Auto-generated tag files
tags

# Persistent undo
[._]*.un~

# Coc configuration directory
.vim

# End of https://www.gitignore.io/api/vim,code,ocaml,emacs
/tools/simca/xxx1
/toto
/tools/simca/xxx
/tools/simca/x