Sebastian Chlup (f3d0754e) at 26 Aug 15:06
Added fixes for new models
Masoud Ebrahimi (4a0a063c) at 14 Jul 23:56
upgrading the gradle wrapper
Thorsten Tarrach (2578118b) at 01 Apr 13:38
Update README.md
Thorsten Tarrach (6af0c3d2) at 01 Apr 13:30
latest threatget syntax support
Thorsten Tarrach (357d1232) at 29 Nov 11:45
Deleted .vscode/launch.json, .vscode/threatget-solver.code-workspace
Thorsten Tarrach (ac536de7) at 01 Oct 10:23
Merge branch 'attribute-cost' into 'master'
... and 114 more commits
Removed unnecessary solving
Thorsten Tarrach (36ace5b7) at 01 Oct 10:23
Merge branch 'master' into 'attribute-cost'
... and 2 more commits
Removed unnecessary solving
Thorsten Tarrach (3eede515) at 21 Sep 11:21
adding more results
Thorsten Tarrach (c7fac11e) at 17 Sep 14:13
some bug fixes
Masoud Ebrahimi (feda027e) at 10 May 16:40
double checks!
Masoud Ebrahimi (9ac9cd17) at 10 May 10:26
finding conflicting pairs for optimizers.
Dejan Nickovic (4b28fa7a) at 10 May 09:33
Incremental
Masoud Ebrahimi (361fc0c0) at 03 May 20:17
minor.
Masoud Ebrahimi (7413a30f) at 03 May 17:57
added attributes filtering for each rule.
... and 1 more commit
Masoud Ebrahimi (413f9177) at 03 May 12:25
added all 3 versions discussed with Dejan.