issues
search
oracle
/
souffle
DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.
https://github.com/souffle-lang
Universal Permissive License v1.0
49
stars
17
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Investigate if sample code can be made compatible with Doop extractor
#22
nkeynes-oracle
opened
7 years ago
4
Behaviour of souffle with no output relations is not user friendly
#21
nkeynes-oracle
opened
7 years ago
0
Check bison version during configuration
#20
kavorobyov
closed
7 years ago
1
Functionality to build .deb packages
#19
kavorobyov
closed
7 years ago
0
optimize writing to CSV files
#18
yanniss
closed
7 years ago
0
Please check the format of souffle-compile's input file
#17
Neuromancer42
opened
7 years ago
1
Could I have a performance report comparing with bddbddb, z3 or etc ?
#16
hotpeperoncino
opened
7 years ago
1
Stringlen
#15
b-scholz
closed
7 years ago
0
Profiler fixes
#14
MrTomKing
closed
8 years ago
0
Debian packaging
#13
jgsuess
closed
7 years ago
3
Profiler crashes when attempting to show relations
#12
MrTomKing
closed
8 years ago
0
Add sqlite3 output support
#11
nkeynes-oracle
closed
8 years ago
0
Minor changes to make build work on Travis
#10
nkeynes-oracle
closed
8 years ago
2
Unable to build on older platforms (e.g. Ubuntu 12.04)
#9
nkeynes-oracle
opened
8 years ago
3
License Header Missing
#8
b-scholz
closed
8 years ago
1
Merging Oracle's changes
#7
souffle-lang
closed
8 years ago
0
Add license text to files that were missing the correct UPL text
#6
nkeynes-oracle
closed
8 years ago
0
MAC OS X: swap pthread_yield_np() to sched_yield()
#5
b-scholz
closed
8 years ago
0
B scholz patch 5
#4
b-scholz
closed
8 years ago
0
Porting Souffle to MAC OS X / GCC
#3
souffle-lang
closed
8 years ago
0
Bugfixes: wrong signature for method print() and struct/class forward declarations
#2
b-scholz
closed
8 years ago
0
Testsuite and Infrastructure Bugfixes
#1
b-scholz
closed
8 years ago
0