issues
search
G3Kappa
/
Ergo
Other
4
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Static expansions
#40
G3Kappa
closed
1 year ago
0
Reduce unification memory footprint for abstract terms
#39
G3Kappa
opened
1 year ago
1
Better error checking in expansion definition directive
#38
G3Kappa
closed
1 year ago
0
Expansions that affect variables should maintain a reference to those variables
#37
G3Kappa
closed
1 year ago
0
Load-time Expansions
#36
G3Kappa
closed
1 year ago
2
moved LICENSE and README to root dir
#35
G3Kappa
closed
1 year ago
0
add README
#34
G3Kappa
closed
1 year ago
0
Instrumentation and Tooling
#33
G3Kappa
opened
1 year ago
2
Move Data Sources/Sinks out of Solver and into Data Library
#31
G3Kappa
closed
6 months ago
1
TCO
#30
G3Kappa
closed
1 year ago
1
Refactoring/restructuring
#29
G3Kappa
closed
2 years ago
0
Hooks
#27
G3Kappa
closed
1 year ago
4
Local Operators
#26
G3Kappa
opened
2 years ago
1
Module Autoloading
#25
G3Kappa
opened
2 years ago
1
Definite Clause Grammars
#24
G3Kappa
opened
2 years ago
2
Streamlined exceptions
#23
G3Kappa
closed
2 years ago
0
Refactor TryGet methods and Maybe<T> methods to be more consistent across the board
#22
G3Kappa
closed
6 months ago
2
Refactoring/trace
#21
G3Kappa
closed
2 years ago
0
Engines
#20
G3Kappa
opened
2 years ago
2
Feature/lambda expansions
#19
G3Kappa
closed
2 years ago
0
Streamline exception throwing and handling
#18
G3Kappa
closed
2 years ago
0
Improve trace mode
#17
G3Kappa
closed
2 years ago
0
Refactor global class Modules into WellKnown.Modules
#16
G3Kappa
closed
2 years ago
0
Associate more strongly abstract types and their canonical forms
#15
G3Kappa
closed
2 years ago
3
Lambdas
#14
G3Kappa
closed
2 years ago
0
Feature/cut as cancellation token
#13
G3Kappa
closed
2 years ago
0
Feature/abstract terms
#12
G3Kappa
closed
2 years ago
0
Warren Abstract Machine
#11
G3Kappa
closed
6 months ago
5
Libraries
#10
G3Kappa
closed
1 year ago
1
Cuts As Cancellation Tokens
#9
G3Kappa
closed
2 years ago
1
"Bracy" Lists (Sets)
#8
G3Kappa
closed
2 years ago
1
Multithreading
#7
G3Kappa
opened
2 years ago
2
Tabling and Memoization
#6
G3Kappa
closed
1 year ago
1
Attributed Variables for Constraint Solvers
#5
G3Kappa
opened
2 years ago
5
Abstract First-Class Citizens
#4
G3Kappa
closed
2 years ago
1
Term Expansions As Predicates
#3
G3Kappa
closed
2 years ago
1
Lambdas/Higher-Order Predicates
#2
G3Kappa
closed
2 years ago
1
Unary operators ignore precedence rules
#1
G3Kappa
closed
1 year ago
3
Previous