/
LA
lapisla-prover
/
Lapisla Prover API
Search skmtc…
⌘K
Docs
Sign in
Sign in
APIs
Generators
Stacks
Projects
Docs
History
Schema
Checked 53m ago · Updated 1mo ago
Details
Filter operations
files
3
login
2
me
9
get
Get metadata of all files owned by the user
get
Fetch a private file
post
Create a new file
delete
Delete a file
patch
Upload a snapshot of the file
post
Register a snapshot to the public registry
get
Get a snapshot of the file
patch
Update the content of a snapshot
get
Get the user information
registry
1
search
1
tags
1
timeline
1
me
Upload a snapshot of the file
patch
/me/files/{fileName}
Path parameters
fileName
string
required
Request body
SourceCodeWrapper
required
content
string
required
Response
Snapshot uploaded successfully
SnapshotMeta
required
id
string
required
owner
string
required
fileName
string
required
version
integer
required
registered
boolean
createdAt
string
date-time
required
Changes