Skip to content

Commit 2fe0d1b

Browse files
sim642sim642
committed
Merge branch 'goblint-http-server-master' into include-http-server-history
2 parents 2cc57db + 7f11f49 commit 2fe0d1b

File tree

13 files changed

+653
-0
lines changed

13 files changed

+653
-0
lines changed

‎goblint-http-server/.gitignore‎

Lines changed: 196 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,196 @@
1+
2+
# Created by https://www.toptal.com/developers/gitignore/api/ocaml,emacs,vim,visualstudiocode,linux,macos,windows
3+
# Edit at https://www.toptal.com/developers/gitignore?templates=ocaml,emacs,vim,visualstudiocode,linux,macos,windows
4+
5+
### Emacs ###
6+
# -*- mode: gitignore; -*-
7+
*~
8+
\#*\#
9+
/.emacs.desktop
10+
/.emacs.desktop.lock
11+
*.elc
12+
auto-save-list
13+
tramp
14+
.\#*
15+
16+
# Org-mode
17+
.org-id-locations
18+
*_archive
19+
20+
# flymake-mode
21+
*_flymake.*
22+
23+
# eshell files
24+
/eshell/history
25+
/eshell/lastdir
26+
27+
# elpa packages
28+
/elpa/
29+
30+
# reftex files
31+
*.rel
32+
33+
# AUCTeX auto folder
34+
/auto/
35+
36+
# cask packages
37+
.cask/
38+
dist/
39+
40+
# Flycheck
41+
flycheck_*.el
42+
43+
# server auth directory
44+
/server/
45+
46+
# projectiles files
47+
.projectile
48+
49+
# directory configuration
50+
.dir-locals.el
51+
52+
# network security
53+
/network-security.data
54+
55+
56+
### Linux ###
57+
58+
# temporary files which can be created if a process still has a handle open of a deleted file
59+
.fuse_hidden*
60+
61+
# KDE directory preferences
62+
.directory
63+
64+
# Linux trash folder which might appear on any partition or disk
65+
.Trash-*
66+
67+
# .nfs files are created when an open file is removed but is still being accessed
68+
.nfs*
69+
70+
### macOS ###
71+
# General
72+
.DS_Store
73+
.AppleDouble
74+
.LSOverride
75+
76+
# Icon must end with two \r
77+
Icon
78+
79+
# Thumbnails
80+
._*
81+
82+
# Files that might appear in the root of a volume
83+
.DocumentRevisions-V100
84+
.fseventsd
85+
.Spotlight-V100
86+
.TemporaryItems
87+
.Trashes
88+
.VolumeIcon.icns
89+
.com.apple.timemachine.donotpresent
90+
91+
# Directories potentially created on remote AFP share
92+
.AppleDB
93+
.AppleDesktop
94+
Network Trash Folder
95+
Temporary Items
96+
.apdisk
97+
98+
### OCaml ###
99+
*.annot
100+
*.cmo
101+
*.cma
102+
*.cmi
103+
*.a
104+
*.o
105+
*.cmx
106+
*.cmxs
107+
*.cmxa
108+
109+
# ocamlbuild working directory
110+
_build/
111+
112+
# ocamlbuild targets
113+
*.byte
114+
*.native
115+
116+
# oasis generated files
117+
setup.data
118+
setup.log
119+
120+
# Merlin configuring file for Vim and Emacs
121+
.merlin
122+
123+
# Dune generated files
124+
*.install
125+
126+
# Local OPAM switch
127+
_opam/
128+
129+
### Vim ###
130+
# Swap
131+
[._]*.s[a-v][a-z]
132+
!*.svg # comment out if you don't need vector files
133+
[._]*.sw[a-p]
134+
[._]s[a-rt-v][a-z]
135+
[._]ss[a-gi-z]
136+
[._]sw[a-p]
137+
138+
# Session
139+
Session.vim
140+
Sessionx.vim
141+
142+
# Temporary
143+
.netrwhist
144+
# Auto-generated tag files
145+
tags
146+
# Persistent undo
147+
[._]*.un~
148+
149+
### VisualStudioCode ###
150+
.vscode/*
151+
!.vscode/settings.json
152+
!.vscode/tasks.json
153+
!.vscode/launch.json
154+
!.vscode/extensions.json
155+
!.vscode/*.code-snippets
156+
157+
# Local History for Visual Studio Code
158+
.history/
159+
160+
# Built Visual Studio Code Extensions
161+
*.vsix
162+
163+
### VisualStudioCode Patch ###
164+
# Ignore all local history of files
165+
.history
166+
.ionide
167+
168+
# Support for Project snippet scope
169+
170+
### Windows ###
171+
# Windows thumbnail cache files
172+
Thumbs.db
173+
Thumbs.db:encryptable
174+
ehthumbs.db
175+
ehthumbs_vista.db
176+
177+
# Dump file
178+
*.stackdump
179+
180+
# Folder config file
181+
[Dd]esktop.ini
182+
183+
# Recycle Bin used on file shares
184+
$RECYCLE.BIN/
185+
186+
# Windows Installer files
187+
*.cab
188+
*.msi
189+
*.msix
190+
*.msm
191+
*.msp
192+
193+
# Windows shortcuts
194+
*.lnk
195+
196+
# End of https://www.toptal.com/developers/gitignore/api/ocaml,emacs,vim,visualstudiocode,linux,macos,windows

‎goblint-http-server/.ocamlformat‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
margin = 100

‎goblint-http-server/LICENSE‎

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,13 @@
1+
Copyright 2022 Kerem Çakırer
2+
3+
Permission to use, copy, modify, and/or distribute this software for any
4+
purpose with or without fee is hereby granted, provided that the above
5+
copyright notice and this permission notice appear in all copies.
6+
7+
THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES WITH
8+
REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY
9+
AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY SPECIAL, DIRECT,
10+
INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES WHATSOEVER RESULTING FROM
11+
LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE OR
12+
OTHER TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR
13+
PERFORMANCE OF THIS SOFTWARE.

‎goblint-http-server/dune-project‎

Lines changed: 32 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,32 @@
1+
(lang dune 2.9)
2+
3+
(name goblint-http-server)
4+
5+
(version 0.1.0)
6+
7+
(license ISC)
8+
9+
(authors "Kerem Çakırer <[email protected]>")
10+
11+
(maintainers "Kerem Çakırer <[email protected]>")
12+
13+
(source
14+
(github keremc/goblint-http-server))
15+
16+
(generate_opam_files true)
17+
18+
(package
19+
(name goblint-http-server)
20+
(synopsis "Goblint HTTP server")
21+
(depends
22+
batteries
23+
cohttp-lwt
24+
cohttp-lwt-unix
25+
fileutils
26+
jsonrpc
27+
lwt
28+
lwt_ppx
29+
ppx_yojson_conv
30+
yojson
31+
(ocaml-lsp-server :dev)
32+
(ocp-indent :dev)))

‎goblint-http-server/goblint-http-server.opam‎

Lines changed: 41 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,41 @@
1+
# This file is generated by dune, edit dune-project instead
2+
opam-version: "2.0"
3+
version: "0.1.0"
4+
synopsis: "Goblint HTTP server"
5+
maintainer: ["Kerem Çakırer <[email protected]>"]
6+
authors: ["Kerem Çakırer <[email protected]>"]
7+
license: "ISC"
8+
homepage: "https://github.com/keremc/goblint-http-server"
9+
bug-reports: "https://github.com/keremc/goblint-http-server/issues"
10+
depends: [
11+
"dune" {>= "2.9"}
12+
"batteries"
13+
"cohttp-lwt"
14+
"cohttp-lwt-unix"
15+
"fileutils"
16+
"jsonrpc"
17+
"lwt"
18+
"lwt_ppx"
19+
"ppx_yojson_conv"
20+
"yojson"
21+
"ocaml-lsp-server" {dev}
22+
"ocp-indent" {dev}
23+
"odoc" {with-doc}
24+
]
25+
build: [
26+
["dune" "subst"] {dev}
27+
[
28+
"dune"
29+
"build"
30+
"-p"
31+
name
32+
"-j"
33+
jobs
34+
"--promote-install-files=false"
35+
"@install"
36+
"@runtest" {with-test}
37+
"@doc" {with-doc}
38+
]
39+
["dune" "install" "-p" name "--create-install-files" name]
40+
]
41+
dev-repo: "git+https://github.com/keremc/goblint-http-server.git"

0 commit comments

Comments
 (0)