Skip to content

Add bounded box domain #1

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
BottCode wants to merge 104 commits into
base: master
Choose a base branch
from
Open

Add bounded box domain #1

BottCode wants to merge 104 commits into from

Conversation

@BottCode
Copy link
Owner

@BottCode BottCode commented Oct 10, 2019

No description provided.

amato-gianluca and others added 30 commits December 9, 2016 15:32
@amato-gianluca
Use ScalaFix version 0.5.1.
3699c6e
@amato-gianluca
Hacks for fixing widening and narrowing.
30ade4b 
This is only a small hack. A complete redesign of Jandom is required
to use the ScalaFix equation solver.
@amato-gianluca
Replace cappi with sbt-jmh since the latter is better maintained.
d8281aa
@amato-gianluca
Do not use withLogRecompileOnMacro in build.sbt.
61e5dec 
I actually don't know why it got there in the first place.
@amato-gianluca
Use ScalaFix 0.5.2, which fixes the Kleene solver.
b2c8ae3
@amato-gianluca
Fix narrowing for the sum domain.
1c809d5
@amato-gianluca
Remove useless code.
8c9db1b
@amato-gianluca
Fix the tryCompareTo method.
508be70
@amato-gianluca
Change contract for the narrowing method.
ac525f3
@amato-gianluca
Improve precision of intersection for the sum domain.
fa6b0ab
@amato-gianluca
Fix LTS analyze method and adapt to the new narrowing.
14411ad
@amato-gianluca
Configure output directories when using IntelliJ Idea.
a52f95f
@amato-gianluca
Re-organize .gitignore files.
ddd156e
@amato-gianluca
Add comparison tool for LTS and EQS.
dbbc830
@amato-gianluca
Replace custom Soot URL with the new 3.0.0-SNAPSHOT
4ef2d15
@amato-gianluca
Configure SBT not to update snapshots if one already cached.
ecfa34c
@amato-gianluca
Small potential performance improvement for ParallelotopeRationalDomain.
1773c6b
@amato-gianluca
Add a new implementation of parallelotopes which do not use the Breeze
39cf3c3 
library (ParallelotopeRationalDomainFast).
@amato-gianluca
Remove old Parallelotope domains and all dependencies from Breeze.
d43b00a
@amato-gianluca
Fix mkString for parallelotopes.
bcce3bd
@amato-gianluca
Remove useless code in EQSLegacyFASTComparison.
3c0e73e
@amato-gianluca
Fix toDot method to work with multiple locations with same label.
b7414ea
@amato-gianluca
Fix URL for Soot repositories.
ed32c3f
@amato-gianluca
Fix minimize/maximize methods.
17be1b0
@amato-gianluca
Add default widening as the first widening for PPL domains.
fad5eb5
@amato-gianluca
Do not use doubles for coefficients in linear forms.
24e9278
@amato-gianluca
Fix comments.
6979141
@amato-gianluca
Small optimization for widening.
4555978
@amato-gianluca
Add support for multiple widenings to PPLDomain.
30d6a0a
@amato-gianluca
Add support for narrowing descriptions in abstract domains.
a4b50dd 
This is similar to the current support for widening descriptions.
Mou95 and others added 30 commits March 28, 2018 15:51
@Mou95
Fixed test
c78c7f9
@BottCode
canghed behaviour on infinities
b0edd30
@BottCode
Remove Undetermined and BoundedBoxDomainCore done
6682b13
@BottCode
First uncomplete version of bounded box domain done
640a337
@Mou95
Implemented test BoundedBox
cdd50a4
@Mou95
Fixed test Bounded
b8cc19f
@Mou95
Fixed BoundedCore
d4f1ac3
@Mou95
Updated test
f4b5518
@BottCode
add m,n panel
f17f6d8
@BottCode
print utili
19e8132
@Mou95
Updated values of domains
ad43d79
@BottCode
m and n updatding seems working
955e3b6
@BottCode
Delete hs_err_pid16436.log
ad33284
@BottCode
Delete hs_err_pid16514.log
8621a2f
@BottCode
Delete hs_err_pid17258.log
eea823f
@BottCode
Update .gitignore
6dd3e5b
@Mou95
Added remainder operator and test for it
b3af707
@Mou95
Solved error in linearInequality
ca3bf3a
@Mou95
Fixed m > n in bounded box
857581b
@BottCode
delete useless method
be077d2
@BottCode
Risolti conflitti
6bc9b1f
@BottCode
removed some useless print
dd18142
@BottCode
add a bit of doc
65dca72
@Mou95
Added test for BoundedBox
d0c5c59
@BottCode
add other test for BoundedBox
2643b01
@BottCode
conflict solved
85ffa09
@Mou95
Eliminated useless code
82499f3
@Mou95
Added documentation of methods
94142a4
@Mou95
Fixed code
b8199fe
@Mou95
Fixed test
8bcbfa1
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

5 participants

@BottCode @amato-gianluca @herrBez @Mou95