issues
search
Lysxia
/
coq-ceres
Coq library for serialization to S-expressions
MIT License
18
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
ci: Add Coq 8.17
#30
liyishuai
closed
1 year ago
2
Attribute instance locality explicitly
#29
liyishuai
closed
2 years ago
0
Resolve warnings
#28
Lysxia
opened
2 years ago
0
Dune update
#27
Lysxia
closed
2 years ago
0
CI: Add Coq 8.15
#26
liyishuai
closed
2 years ago
0
Add instances for id type
#25
liyishuai
closed
3 years ago
5
Coq 8.13 updates
#24
Lysxia
closed
3 years ago
0
coq 8.13 support
#23
vzaliva
closed
3 years ago
2
Parser proof of correctness (soundness)
#22
Lysxia
closed
3 years ago
0
Prove some roundtrip properties
#21
Lysxia
closed
3 years ago
0
Enable tests for Coq >= 8.10
#20
Lysxia
closed
3 years ago
2
Serialize ascii
#19
liyishuai
closed
3 years ago
0
coq-8.11 support
#18
vzaliva
closed
4 years ago
2
Release 0.2.0
#17
Lysxia
closed
4 years ago
1
Deserialize: nullary constructors cannot be numbers
#16
liyishuai
opened
4 years ago
3
WIP: decidable equality instances
#15
liyishuai
closed
4 years ago
2
Add decidable equality
#14
Lysxia
closed
4 years ago
2
eqb for sexp
#13
liyishuai
closed
4 years ago
0
Simplify definition of atoms
#12
Lysxia
closed
4 years ago
0
Support building with dune
#11
Lysxia
closed
4 years ago
0
Prefix all modules with Ceres
#10
Lysxia
closed
4 years ago
1
Instances for id
#9
liyishuai
closed
4 years ago
4
Extract Format.string_of_atom to OCaml
#8
liyishuai
opened
4 years ago
11
Serialize and Deserialize instances for sexp itself
#7
liyishuai
closed
4 years ago
5
Add get_one
#6
liyishuai
closed
4 years ago
1
Modify parse_exp interface
#5
liyishuai
closed
4 years ago
0
ci: add coq.dev
#4
liyishuai
closed
4 years ago
2
opam: upper bound on Coq
#3
liyishuai
closed
4 years ago
6
Pretty-printing
#2
Lysxia
opened
5 years ago
2
Deserializers
#1
Lysxia
closed
4 years ago
5