issues
search
giovinazzo-kevin
/
Ergo
Other
4
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Directives should take multiple arguments and the parentheses should be omitted
#93
giovinazzo-kevin
opened
5 months ago
2
Update README.md
#92
giovinazzo-kevin
closed
5 months ago
0
Improve Dict pattern matching
#91
giovinazzo-kevin
opened
6 months ago
0
Call stack information is lost in the optimization pass
#90
giovinazzo-kevin
closed
8 months ago
0
Rework macros to a more traditional expand_term
#88
giovinazzo-kevin
opened
10 months ago
0
Operators with names that are a substring of another operator's name break the parser
#87
giovinazzo-kevin
opened
10 months ago
0
Differentiate between Declaring Module and Module (Predicate)
#86
giovinazzo-kevin
opened
10 months ago
1
Optimize BuiltIns (Various)
#85
giovinazzo-kevin
opened
11 months ago
0
Optimizations/runtime
#84
giovinazzo-kevin
closed
11 months ago
0
Determinacy detection
#83
giovinazzo-kevin
closed
11 months ago
1
Dismantled Solver
#82
giovinazzo-kevin
closed
12 months ago
0
Numeric Types / Type System
#81
giovinazzo-kevin
opened
1 year ago
0
VM-Specialized BuiltIns
#80
giovinazzo-kevin
closed
12 months ago
1
Dismantle Old Solver
#79
giovinazzo-kevin
closed
12 months ago
2
Initial Transition to ErgoVM
#78
giovinazzo-kevin
closed
1 year ago
0
Runtime Variables / Caching Execution Graph Delegates
#77
giovinazzo-kevin
opened
1 year ago
3
Update README.md
#76
giovinazzo-kevin
closed
1 year ago
0
Knowledge Base Refactor
#75
giovinazzo-kevin
opened
1 year ago
4
Static Analyzer
#74
giovinazzo-kevin
opened
1 year ago
2
Static Analysis: Inlining, Compiler & Compile-Time Optimizations
#73
giovinazzo-kevin
closed
1 year ago
0
Static Analysis: Inlining, Compiler & Compile-Time Optimizations
#72
giovinazzo-kevin
closed
1 year ago
0
Inlining
#71
giovinazzo-kevin
closed
1 year ago
0
Update README.md
#70
giovinazzo-kevin
closed
1 year ago
0
Abstract Citizens as proper first-class ITerms (Removal of AbstractTermCache)
#69
giovinazzo-kevin
closed
1 year ago
0
Abstract Terms as proper first-class ITerms
#68
giovinazzo-kevin
closed
1 year ago
2
Update README.md
#67
giovinazzo-kevin
closed
1 year ago
0
Logical Update View
#66
giovinazzo-kevin
opened
1 year ago
0
Update README.md
#64
giovinazzo-kevin
closed
1 year ago
0
Macro expansions cause multiple redundant assertions
#63
giovinazzo-kevin
closed
1 year ago
1
Implement reading IO predicates and proper stream redirection
#62
giovinazzo-kevin
closed
1 year ago
0
Databases
#61
giovinazzo-kevin
opened
1 year ago
1
Proper I/O
#60
giovinazzo-kevin
closed
11 months ago
3
Refactor AbstractTermCache to be non-static (?)
#59
giovinazzo-kevin
closed
1 year ago
1
Shell UX Improvements
#58
giovinazzo-kevin
opened
1 year ago
1
String/List Duality
#57
giovinazzo-kevin
opened
1 year ago
2
Last Clause Determinacy Detection
#56
giovinazzo-kevin
closed
11 months ago
1
Rollback IAsyncEnumerable interface from hot path
#55
giovinazzo-kevin
closed
2 years ago
0
Rollback IAsyncEnumerable support in favor of plain IEnumerables
#54
giovinazzo-kevin
closed
2 years ago
2
Optimize substitution maps for variables that are only used once
#53
giovinazzo-kevin
closed
2 years ago
0
Merge BuiltIn resolution and KnowledgeBase match steps into a single step
#52
giovinazzo-kevin
closed
1 year ago
3
Fix parsing error not accounting for parens
#51
giovinazzo-kevin
closed
2 years ago
1
Hooks
#50
giovinazzo-kevin
closed
2 years ago
0
It should be possible to assert predicates in modules other than the current one
#48
giovinazzo-kevin
closed
2 years ago
1
Save current module to disk
#47
giovinazzo-kevin
opened
2 years ago
0
Shell always says "0 new predicates loaded" when loading any module
#46
giovinazzo-kevin
closed
2 years ago
0
Parsing errors
#45
giovinazzo-kevin
opened
2 years ago
5
Optimizations
#44
giovinazzo-kevin
closed
2 years ago
1
Represent substitutions more efficiently
#43
giovinazzo-kevin
closed
2 years ago
0
Libraries (first draft)
#42
giovinazzo-kevin
closed
2 years ago
0
Static predicate rewriting pipeline for libraries
#41
giovinazzo-kevin
closed
2 years ago
1
Next