issues
search
maurer
/
holmes
Datalog engine with extensions for integrating analyses
MIT License
38
stars
4
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Viewer
#34
maurer
closed
7 years ago
0
Run rules asynchronously
#33
maurer
closed
7 years ago
0
Added benchmarks
#32
maurer
closed
7 years ago
0
Adds metadata + field name support
#31
maurer
closed
7 years ago
0
Fix Coverage Generation
#30
maurer
closed
7 years ago
0
Improve Error Handling
#29
maurer
closed
7 years ago
1
Server Mode
#28
maurer
opened
7 years ago
0
Hypothetical Circumscription
#27
maurer
opened
7 years ago
0
Quiescence Detection
#26
maurer
closed
7 years ago
1
Monotonic Aggregators (unchecked)
#25
maurer
opened
7 years ago
0
Inference Structure Tracking
#24
maurer
opened
7 years ago
0
Predicate Metadata
#23
maurer
closed
7 years ago
0
Make extension types database agnostic (or at least parametric)
#22
maurer
opened
7 years ago
0
coveralls.io not updating
#21
maurer
closed
7 years ago
2
UI
#20
maurer
closed
7 years ago
0
SQLite Support
#19
maurer
opened
7 years ago
0
Benchmarking
#18
maurer
closed
7 years ago
0
Statically Typecheck Rules + Where Clauses
#17
maurer
opened
7 years ago
1
Multithreading
#16
maurer
opened
7 years ago
1
Make `run_rule` iterative instead of recursive
#15
maurer
closed
7 years ago
0
Where should SubStr live in the language?
#14
maurer
closed
7 years ago
1
Style
#13
maurer
closed
7 years ago
0
Logging
#12
maurer
closed
7 years ago
0
Database Reuse
#11
maurer
closed
7 years ago
0
Invalid SQL Generation (Misordered Join)
#10
maurer
closed
7 years ago
0
Make build work inside a container
#9
maurer
closed
8 years ago
0
Removing RPC
#8
maurer
closed
8 years ago
1
Unclear documentation / Readme
#7
ignoramous
closed
9 years ago
4
Range queries
#6
maurer
closed
9 years ago
1
Trivial Foralls
#5
maurer
closed
9 years ago
1
Large RPC Support
#4
maurer
closed
9 years ago
1
Support for postgre 9.3
#3
geohot
closed
9 years ago
1
Typecache
#2
maurer
closed
9 years ago
0
Dependency reduction
#1
maurer
closed
9 years ago
0