issues
search
raffopazzo
/
depc
Like C and C++ but with Dependent Types
1
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
add func and bool_t keywords
#58
raffopazzo
closed
4 days ago
0
remove typecheck::error_t
#57
raffopazzo
closed
6 days ago
0
invoke linker
#56
raffopazzo
closed
6 days ago
0
Productionise dep0
#55
raffopazzo
closed
6 days ago
1
Fix unification usage
#54
raffopazzo
closed
1 month ago
0
Add type_t with share semantics
#53
raffopazzo
opened
1 month ago
1
Search for false type
#52
raffopazzo
opened
2 months ago
0
add impossible statement
#51
raffopazzo
closed
2 months ago
0
add prelude module
#50
raffopazzo
closed
1 month ago
0
fix bug in unification
#49
raffopazzo
closed
2 months ago
0
add because expressions
#48
raffopazzo
closed
2 months ago
0
add extern declarations
#47
raffopazzo
closed
2 months ago
1
axioms cannot be used at run-time
#46
raffopazzo
closed
4 months ago
0
add extern declarations
#45
raffopazzo
closed
2 months ago
0
add cstr_t
#44
raffopazzo
closed
4 months ago
0
Axioms cannot be used at run-time
#43
raffopazzo
closed
4 months ago
1
Add prelude environment with basic axioms
#42
raffopazzo
closed
1 month ago
1
Add basic cstr_t
#41
raffopazzo
closed
4 months ago
0
auto expressions
#40
raffopazzo
closed
4 months ago
0
Add todos
#39
raffopazzo
closed
4 months ago
0
Quantities
#38
raffopazzo
closed
4 months ago
0
Axioms
#37
raffopazzo
closed
4 months ago
0
all declarations must be defined
#36
raffopazzo
closed
5 months ago
0
typecheck runtime array access
#35
raffopazzo
closed
5 months ago
0
add true_t and proof_search
#34
raffopazzo
closed
6 months ago
0
fix crash calling forward-declared function
#33
raffopazzo
closed
6 months ago
0
fix bug with infinite reduction
#32
raffopazzo
closed
6 months ago
0
drop redundant returns
#31
raffopazzo
closed
6 months ago
0
check user defined integral bounds
#30
raffopazzo
closed
7 months ago
0
add global function declarations
#29
raffopazzo
closed
7 months ago
0
fix signed integer min value
#28
raffopazzo
closed
6 months ago
0
add envrionment_t and global_t
#27
raffopazzo
closed
7 months ago
0
Eq
#26
raffopazzo
closed
7 months ago
0
break down ast_predicates.hpp
#25
raffopazzo
closed
7 months ago
0
Modernize llvmgen tests
#24
raffopazzo
closed
7 months ago
0
Boolean expr
#23
raffopazzo
closed
7 months ago
0
pass proof state by value
#22
raffopazzo
closed
7 months ago
0
add more tests for plus expressions
#21
raffopazzo
closed
8 months ago
0
LLVM IR: make unit_t always i18
#20
raffopazzo
closed
9 months ago
0
fix return of call to void
#19
raffopazzo
closed
9 months ago
0
allocation free parsing of cpp_int
#18
raffopazzo
closed
9 months ago
0
Docs
#17
raffopazzo
closed
9 months ago
0
use boost cpp_int for numeric constants
#16
raffopazzo
closed
9 months ago
0
add arrays
#15
raffopazzo
closed
7 months ago
0
namespace impl for delta reduction
#14
raffopazzo
closed
9 months ago
0
lambda cube
#13
raffopazzo
closed
9 months ago
0
Conan 1.55 in dockerfile
#12
gscacco
closed
10 months ago
0
add kinds
#11
raffopazzo
closed
10 months ago
1
update readme instructions
#10
raffopazzo
closed
10 months ago
0
reorganise test files
#9
raffopazzo
closed
10 months ago
0
Next