issues
search
sdthompson1
/
babylon
An experimental new programming language with verification features.
https://www.solarflare.org.uk/babylon
Other
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Documentation
#16
sdthompson1
opened
1 month ago
0
Swap naming of $FLD and $PROD?
#15
sdthompson1
opened
1 month ago
0
Support TPTP format
#14
sdthompson1
opened
1 month ago
0
Compiler Enhancements
#13
sdthompson1
opened
1 month ago
0
Core Library
#12
sdthompson1
opened
1 month ago
0
Parallel reporting of type errors and verifier errors
#11
sdthompson1
opened
1 month ago
0
Order sensitivity bug
#10
sdthompson1
opened
1 month ago
0
Allow return f(x); where x is a ref parameter
#9
sdthompson1
opened
1 month ago
0
Allow "let", "assert", "hide", "show" in function pre/post condition blocks
#8
sdthompson1
opened
1 month ago
0
Support more escape sequences e.g. "\r" in string literals
#7
sdthompson1
opened
1 month ago
0
Make 'decreases' optional if verifier is not being run
#6
sdthompson1
opened
1 month ago
0
Syntax review
#5
sdthompson1
opened
1 month ago
2
Abstract types in interfaces
#4
sdthompson1
opened
1 month ago
1
Add "allocated predicates"
#3
sdthompson1
closed
2 weeks ago
0
Infer generic parameters
#2
sdthompson1
closed
2 weeks ago
0
Hierarchical module names
#1
sdthompson1
closed
4 weeks ago
0