Skip to content
GitLab
Explore
Sign in
Register
Overview
Active
Stale
All
intellij-plugin
974cf04a
·
new dummyIcon
·
Jun 09, 2023
plmz/inca-scala!2
refactoring
1468236c
·
WIP
·
Feb 27, 2023
debugger-efficient
bdeb065c
·
introducing different doop encodings of programs
·
Feb 01, 2023
objectoriented
e63c61b3
·
Add support for MonotoneMap example
·
Jan 20, 2023
debug-aggregate
ddde476d
·
Fixes AVL tree: redundant values trigger aggregation operation
·
Dec 07, 2022
embedding
ff9c18b2
·
Sebastian meeting
·
Nov 30, 2022
lattice-proofs
bdcfeeea
·
changed transData to bundle all the datatype declarations into one declare-datatype command
·
Aug 26, 2022
functional
1a3c3945
·
Cleaned up debug printing a bit
·
Aug 18, 2022
parametric-host-language
cf18cd67
·
WIP parametric host language
·
Aug 01, 2022
fix-pipeline
42f833aa
·
split up
·
Jul 02, 2022
debugger
befbac16
·
Separate base-language constructs from Datalog IR
·
Jun 28, 2022
negative-demand
1cee2295
·
added NegationIndirectionTransformation
·
May 01, 2022
new-souffle-frontend
55b8d3aa
·
converted some compiler tests to assertion tests
·
Apr 25, 2022
java-analysis
dabc9c47
·
Finished tests for FieldIds in EditScripts, no errors detected; Updated...
·
Apr 14, 2022
clone-detect
274cf867
·
first working clone detection function (currently completly ignoring names and allocation sites)
·
Dec 06, 2021
datamodel_treesitter
ae354cf2
·
Add GetClassName example.
·
Aug 19, 2021
development
7f89ced0
·
fix
·
Aug 13, 2021
master
default
protected
ff846891
·
README and license
·
Aug 13, 2021
tip-analysis
ff846891
·
README and license
·
Aug 13, 2021
measure-itypes
9103d1d5
·
revised README
·
Aug 11, 2021
Prev
1
2
Next