Ecosyste.ms: OpenCollective

An open API service for software projects hosted on Open Collective.

The Quilt Project

The Quilt project is an open, community-driven modding toolchain designed primarily for Minecraft
Collective - Host: opensource - https://opencollective.com/quiltmc - Website: https://quiltmc.org/ - Code: https://github.com/QuiltMC

Fix for SAT-77

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1464 ba638df5-4473-46d1-82f8-c...

github.com/QuiltMC/quilt-loader-sat4j - def3b60565ed0cde9a854a1977fef4b846eecd97 authored over 12 years ago
Added a testcase for SAT-77.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1463 ba638df5-4473-46d1-82f8-c...

github.com/QuiltMC/quilt-loader-sat4j - 35443abc666b3d3e8bf0288fc9461e9b72d929c9 authored over 12 years ago
Flushing stdout to get the optimization messages.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1462 ba638df5-4473-46d1-82f8-c...

github.com/QuiltMC/quilt-loader-sat4j - b45e140686aec27a23c44ba004fa7419910d7479 authored over 12 years ago
Made some methods of Solver final to help Java Hotspot compiler.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1461 ba638df5-4473-46d1-82f8-c...

github.com/QuiltMC/quilt-loader-sat4j - f6a6cba2860386e942aa822ff37338057110391b authored over 12 years ago
Some simple type optimisations - remove != 0 etc for booleans.

git-svn-id: file:///Users/lee/SVNrep/decompiler/trunk@103 c820dd76-da7a-4b58-9bdb-1b1215dfe356

github.com/QuiltMC/cfr - 9549da8f69bb63a18e23ac816d36f31e174adf6c authored over 12 years ago
collapse types better

git-svn-id: file:///Users/lee/SVNrep/decompiler/trunk@102 c820dd76-da7a-4b58-9bdb-1b1215dfe356

github.com/QuiltMC/cfr - c9e8532765f2380eba689070f0da67270a88f068 authored over 12 years ago
first attempt at type discovery

git-svn-id: file:///Users/lee/SVNrep/decompiler/trunk@101 c820dd76-da7a-4b58-9bdb-1b1215dfe356

github.com/QuiltMC/cfr - 4312a02e4fc442761d64e72b52fc94aba3428ec9 authored over 12 years ago
Method args were reversed!

git-svn-id: file:///Users/lee/SVNrep/decompiler/trunk@100 c820dd76-da7a-4b58-9bdb-1b1215dfe356

github.com/QuiltMC/cfr - a53f81d6745a2adbae70bde234e6b919e971d800 authored over 12 years ago
removing more unneccessary dumping

git-svn-id: file:///Users/lee/SVNrep/decompiler/trunk@99 c820dd76-da7a-4b58-9bdb-1b1215dfe356

github.com/QuiltMC/cfr - 168de589bcfc33168bb54d77d9a936c2b0e2fbcf authored over 12 years ago
variable names on protos.

git-svn-id: file:///Users/lee/SVNrep/decompiler/trunk@98 c820dd76-da7a-4b58-9bdb-1b1215dfe356

github.com/QuiltMC/cfr - 2a06351dd0c483b933a84e6163eeecb9515dc830 authored over 12 years ago
tidy up, basic prototypes

git-svn-id: file:///Users/lee/SVNrep/decompiler/trunk@97 c820dd76-da7a-4b58-9bdb-1b1215dfe356

github.com/QuiltMC/cfr - e94d2d368c5ab883257b6bf478f2170385b9ef2e authored over 12 years ago
Use logging api

git-svn-id: file:///Users/lee/SVNrep/decompiler/trunk@96 c820dd76-da7a-4b58-9bdb-1b1215dfe356

github.com/QuiltMC/cfr - 2fb557fa2ec7edd907f1c149beb57ef600826ce9 authored over 12 years ago
remove pointless debug

git-svn-id: file:///Users/lee/SVNrep/decompiler/trunk@95 c820dd76-da7a-4b58-9bdb-1b1215dfe356

github.com/QuiltMC/cfr - c7cc083c283b5102a7302643354d9b21d4ef8bf9 authored over 12 years ago
replace ?CMP? with java version. (NaN behaviour not right for floating point operations.)

git-svn-id: file:///Users/lee/SVNrep/decompiler/trunk@94 c820dd76-da7a-4b58-9bdb-1b1215dfe356

github.com/QuiltMC/cfr - 0d94decfbc29bcd2eb6513d0ca1158eec829fb70 authored over 12 years ago
Initial attempt at inline lValue expression assignment

git-svn-id: file:///Users/lee/SVNrep/decompiler/trunk@93 c820dd76-da7a-4b58-9bdb-1b1215dfe356

github.com/QuiltMC/cfr - 9e8079c41b6c08782d1d61bfcf354b0619cbf3a7 authored over 12 years ago
Fixed broken compile.

github.com/QuiltMC/procyon - 9729b593473143c42372217e229a9288e9c7f988 authored over 12 years ago
possible solution to normalised block 'over exit'.

git-svn-id: file:///Users/lee/SVNrep/decompiler/trunk@92 c820dd76-da7a-4b58-9bdb-1b1215dfe356

github.com/QuiltMC/cfr - e4709f4981a1cc916f390867566cad7c1d85bdbe authored over 12 years ago
handle breaks and continues better

git-svn-id: file:///Users/lee/SVNrep/decompiler/trunk@91 c820dd76-da7a-4b58-9bdb-1b1215dfe356

github.com/QuiltMC/cfr - ed53f7fdc9d60916bbc09156eed7ae9c85479040 authored over 12 years ago
Removed ILog interface

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1460 ba638df5-4473-46d1-82f8-c...

github.com/QuiltMC/quilt-loader-sat4j - 9882b93de882ccb5ae517a74079be0f0ba6670a2 authored over 12 years ago
Handle (unobfuscated, but recognise obfuscation) switch statements.

git-svn-id: file:///Users/lee/SVNrep/decompiler/trunk@90 c820dd76-da7a-4b58-9bdb-1b1215dfe356

github.com/QuiltMC/cfr - df19cbdf90ed9544ea16a18824d265e3d03c2ecc authored over 12 years ago
[maven-release-plugin] prepare for next development iteration

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1459 ba638df5-4473-46d1-82f8-c...

github.com/QuiltMC/quilt-loader-sat4j - c85456484b7e3fc054d991ff3558c47a948fbc69 authored over 12 years ago
[maven-release-plugin] prepare release org.sat4j.pom-2.3.2

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1457 ba638df5-4473-46d1-82f8-c...

github.com/QuiltMC/quilt-loader-sat4j - 2f4201e9ab653708878b1a83802737adf1ca6420 authored over 12 years ago
Junit tests for "at most" encodings

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1456 ba638df5-4473-46d1-82f8-c...

github.com/QuiltMC/quilt-loader-sat4j - 01bf298588b74513b17f91f890da1bea0e5b215d authored over 12 years ago
Updated javadoc for encoding classes

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1455 ba638df5-4473-46d1-82f8-c...

github.com/QuiltMC/quilt-loader-sat4j - 2c1ec60e865fe3180ef912d1b360a7666c24d377 authored over 12 years ago
Fixed statistics: counters were initialized at 1, not 0.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1454 ba638df5-4473-46d1-82f8-c...

github.com/QuiltMC/quilt-loader-sat4j - 328f6e3684a58526e4af2b6a3d0fa01229774f4b authored over 12 years ago
allow to set the initial value of the counter (was `& previously).

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1453 ba638df5-4473-46d1-82f8-c...

github.com/QuiltMC/quilt-loader-sat4j - 1cbd1ef74b309d7c00e2adc9ef733825a5bbeb2c authored over 12 years ago
fix sonar violation.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1452 ba638df5-4473-46d1-82f8-c...

github.com/QuiltMC/quilt-loader-sat4j - 8ec8814993aaf766f05f996ad9212a4a513a735c authored over 12 years ago
fix sonar violation.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1451 ba638df5-4473-46d1-82f8-c...

github.com/QuiltMC/quilt-loader-sat4j - 009bf17415d046e912079d65148811275cfa5eca authored over 12 years ago
fix sonar violation.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1450 ba638df5-4473-46d1-82f8-c...

github.com/QuiltMC/quilt-loader-sat4j - 09db27df94345c8e28c94b59bc834cee103ac2f3 authored over 12 years ago
fix sonar violation.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1449 ba638df5-4473-46d1-82f8-c...

github.com/QuiltMC/quilt-loader-sat4j - b410a9830ec5e2ffe3bdb21649c4ca78fd6dccce authored over 12 years ago
fix sonar violation.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1448 ba638df5-4473-46d1-82f8-c...

github.com/QuiltMC/quilt-loader-sat4j - 7e8af85ab5ce8ea0193026da5f03086ca93b479b authored over 12 years ago
fix sonar violation.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1447 ba638df5-4473-46d1-82f8-c...

github.com/QuiltMC/quilt-loader-sat4j - afc2044971e71a109f210580916a111fc3771b52 authored over 12 years ago
removed empty else statement.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1446 ba638df5-4473-46d1-82f8-c...

github.com/QuiltMC/quilt-loader-sat4j - 8f5e669543fcf6f8987d344e7e2801f5a901dd61 authored over 12 years ago
Fixed sonar violations.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1445 ba638df5-4473-46d1-82f8-c...

github.com/QuiltMC/quilt-loader-sat4j - 7e5ed4a8e386e20d9b31808e4f049e3665ea2d50 authored over 12 years ago
fixed sonar warning.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1444 ba638df5-4473-46d1-82f8-c...

github.com/QuiltMC/quilt-loader-sat4j - 8620a6ee3c9afa96d1143a098764a65083ca566c authored over 12 years ago
Fixed sonar warning.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1443 ba638df5-4473-46d1-82f8-c...

github.com/QuiltMC/quilt-loader-sat4j - 5fba38a81fb919228a9d9ded4f2c4555c736ed42 authored over 12 years ago
Fixed sonar warning.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1442 ba638df5-4473-46d1-82f8-c...

github.com/QuiltMC/quilt-loader-sat4j - 953083a4d70b7a9ab88c8b4aeb5c0741a7e762c9 authored over 12 years ago
Worked on Binary encoding

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1441 ba638df5-4473-46d1-82f8-c...

github.com/QuiltMC/quilt-loader-sat4j - f0b83265e1f92d5ccd8b6fcc765e5dec90014c02 authored over 12 years ago
The implicant is only used if the equivalence encoding is not used.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1440 ba638df5-4473-46d1-82f8-c...

github.com/QuiltMC/quilt-loader-sat4j - 252688652143dbcf3902fb31edd89025e4636f0a authored over 12 years ago
Fixed eq implementation.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1439 ba638df5-4473-46d1-82f8-c...

github.com/QuiltMC/quilt-loader-sat4j - 603c4864a7e51fea6c8b4b5e82a3e5af38ce2ff8 authored over 12 years ago
fixed removed imports for jchart 2d.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1438 ba638df5-4473-46d1-82f8-c...

github.com/QuiltMC/quilt-loader-sat4j - ecdd6c0fdd7957b1db2ac3147cca0fe56ac0582c authored over 12 years ago
IN PROGRESS - issue SAT-69: Fix the value returned by the MAXSAT solver

http://jira.ow2.org/browse/SAT-69
Updated Javadoc.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnro...

github.com/QuiltMC/quilt-loader-sat4j - 10236bcc94e6d8f11e953ab0d0ba635e3f948b9e authored over 12 years ago
IN PROGRESS - issue SAT-69: Fix the value returned by the MAXSAT solver

http://jira.ow2.org/browse/SAT-69

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tr...

github.com/QuiltMC/quilt-loader-sat4j - 4f98198de505dbfcfe4e0faeef2ddb6c59d3239a authored over 12 years ago
IN PROGRESS - issue SAT-69: Fix the value returned by the MAXSAT solver

http://jira.ow2.org/browse/SAT-69

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tr...

github.com/QuiltMC/quilt-loader-sat4j - e6571ef7f4c9fc6fe01a3c451e880a1224af2765 authored over 12 years ago
IN PROGRESS - issue SAT-69: Fix the value returned by the MAXSAT solver

http://jira.ow2.org/browse/SAT-69
It is now possible to evaluate an objective function using a pr...

github.com/QuiltMC/quilt-loader-sat4j - ba08d8bd72bef0571f06f87f10019ee07a5668a5 authored over 12 years ago
Tests for binomial encoding of "at most k constraint"

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1433 ba638df5-4473-46d1-82f8-c...

github.com/QuiltMC/quilt-loader-sat4j - 9164678b8f12af0acabe3f1279ef3dff1a6e0cac authored over 12 years ago
Replaced package.html files with package-info.java classes in org.sat4j.sat

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1432 ba638df5-4473-46d1-82f8-c...

github.com/QuiltMC/quilt-loader-sat4j - b25f7fcaf8c473dff402d1c5babd39ee702ccdb3 authored over 12 years ago
Replaced package.html files with package-info.java classes in org.sat4j.pb

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1431 ba638df5-4473-46d1-82f8-c...

github.com/QuiltMC/quilt-loader-sat4j - 727da25ad8076c2a0a33f019abd14686420afc1c authored over 12 years ago
Replaced package.html files with package-info.java classes.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1430 ba638df5-4473-46d1-82f8-c...

github.com/QuiltMC/quilt-loader-sat4j - 923d4eb2e9ab71177513af6a452cf0e13df007ed authored over 12 years ago
Created a Enum for the different encoding strategies in order to allow the customization of Policy

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1429 ba638df5-4473-46d1-82f8-c...

github.com/QuiltMC/quilt-loader-sat4j - 0c75404be5e4c2506617a57ab473d2b1e644617c authored over 12 years ago
displaying the reduction in terms of literals.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1428 ba638df5-4473-46d1-82f8-c...

github.com/QuiltMC/quilt-loader-sat4j - 2b40e2a0468dadc4e8af2cefce0e723132339a58 authored over 12 years ago
making clear in the output that a prime implicant is returned.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1427 ba638df5-4473-46d1-82f8-c...

github.com/QuiltMC/quilt-loader-sat4j - 7b2f5d8e204963410afd8826b5b31b7d96640b12 authored over 12 years ago
Add "jump over" normalized tail to allow inversion of blocks.

git-svn-id: file:///Users/lee/SVNrep/decompiler/trunk@89 c820dd76-da7a-4b58-9bdb-1b1215dfe356

github.com/QuiltMC/cfr - 57b2aebea1ae7f0c1bc4de3711a0e0db027b25ae authored over 12 years ago
Extract common tail from simple if/else

git-svn-id: file:///Users/lee/SVNrep/decompiler/trunk@88 c820dd76-da7a-4b58-9bdb-1b1215dfe356

github.com/QuiltMC/cfr - c4cecc9515c8918df5f4ead8b748caa36ca174e4 authored over 12 years ago
the prime implicant now sees its values sorted by var id.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1426 ba638df5-4473-46d1-82f8-c...

github.com/QuiltMC/quilt-loader-sat4j - 0989733a538b781938cdcc5c9a5c39a419604f3f authored over 12 years ago
The prime implicant can now be used instead of the model in the command line tool (nice to check that the prime implicant found is really an implicant using the competition framework).

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1425 ba638df5-4473-46d1-82f8-c...

github.com/QuiltMC/quilt-loader-sat4j - 9cde19ba5c4d4a85e54673a1b5391339fc1a8836 authored over 12 years ago
IN PROGRESS - issue SAT-69: Fix the value returned by the MAXSAT solver

http://jira.ow2.org/browse/SAT-69
Allow to set the semantic of the PB decorator for non optimal s...

github.com/QuiltMC/quilt-loader-sat4j - 4d0e11f2f46c47b529b64d1c29e9872cb48cdd2d authored over 12 years ago
IN PROGRESS - issue SAT-69: Fix the value returned by the MAXSAT solver

http://jira.ow2.org/browse/SAT-69

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tr...

github.com/QuiltMC/quilt-loader-sat4j - eb2d03a55a54dd6e5edd98927d3ee0abce70691a authored over 12 years ago
Code cleanup (to reduce OW2 sonar violations)

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1422 ba638df5-4473-46d1-82f8-c...

github.com/QuiltMC/quilt-loader-sat4j - 94fdfc7aee3d96dbbacea2ec4c0f56ed85468f70 authored over 12 years ago
Code cleanup (to reduce OW2 sonar violations)

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1421 ba638df5-4473-46d1-82f8-c...

github.com/QuiltMC/quilt-loader-sat4j - 177a6b09d6ad3b5f5e1e0a2eddf3b91c9af3f241 authored over 12 years ago
Code cleanup (to reduce OW2 sonar violations)

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1420 ba638df5-4473-46d1-82f8-c...

github.com/QuiltMC/quilt-loader-sat4j - f1c7fc8a3e26c036055fe58bf03c8ad07366cb3d authored over 12 years ago
Add project specific rules for formatting (to reduce OW2 Sonar violations).

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1419 ba638df5-4473-46d1-82f8-c...

github.com/QuiltMC/quilt-loader-sat4j - febaa1752653755cd33053b1b41e24a97b895742 authored over 12 years ago
Add project specific rules for formatting (to reduce OW2 Sonar violations).

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1418 ba638df5-4473-46d1-82f8-c...

github.com/QuiltMC/quilt-loader-sat4j - ea227754feaec34875a33762666da8bc286c4249 authored over 12 years ago
Add project specific rules for formatting (to reduce OW2 Sonar violations).

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1417 ba638df5-4473-46d1-82f8-c...

github.com/QuiltMC/quilt-loader-sat4j - d909883018038dfb6570ee4e2a673fd7190a2f9b authored over 12 years ago
Add project specific rules for formatting (to reduce OW2 Sonar violations).

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1416 ba638df5-4473-46d1-82f8-c...

github.com/QuiltMC/quilt-loader-sat4j - 237666bad9a2874123e3e8dae357d440d1c23b5c authored over 12 years ago
RESOLVED - issue SAT-71: Add statistics in ManyCore solvers on the solvers that answers

http://jira.ow2.org/browse/SAT-71

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tr...

github.com/QuiltMC/quilt-loader-sat4j - 02c60e97c217ad8ad4e43edb07c00a60ab3183ed authored over 12 years ago
RESOLVED - issue SAT-72: Print the statistics of all solvers in manycore

http://jira.ow2.org/browse/SAT-72

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tr...

github.com/QuiltMC/quilt-loader-sat4j - 92bfb6dcb82653515cac3115333c14d7808b3dec authored over 12 years ago
Added new rules to have a better score with sonar OW2 profile.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1413 ba638df5-4473-46d1-82f8-c...

github.com/QuiltMC/quilt-loader-sat4j - a67f46e569c66af3b432d3914f04b9a037c57088 authored over 12 years ago
Made outcomeListener part of the API.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1412 ba638df5-4473-46d1-82f8-c...

github.com/QuiltMC/quilt-loader-sat4j - 676ddd1127a2fb93df03795c5b00d558aba82ab1 authored over 12 years ago
Don't allow simple_if to consume foreign jumps.

git-svn-id: file:///Users/lee/SVNrep/decompiler/trunk@87 c820dd76-da7a-4b58-9bdb-1b1215dfe356

github.com/QuiltMC/cfr - 8400e07ab73c24f5ce2df0cc5710bf9ba7b4bf37 authored over 12 years ago
Allow single method dumps.

git-svn-id: file:///Users/lee/SVNrep/decompiler/trunk@86 c820dd76-da7a-4b58-9bdb-1b1215dfe356

github.com/QuiltMC/cfr - 0a7eea98f3de0a54759c890920d73096424e621e authored over 12 years ago
When merging statements, merge blockIdentifiers too!

git-svn-id: file:///Users/lee/SVNrep/decompiler/trunk@85 c820dd76-da7a-4b58-9bdb-1b1215dfe356

github.com/QuiltMC/cfr - 0a98f4c200aa18ada7f175a3def179a6ce03748d authored over 12 years ago
new "mystery" option.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1411 ba638df5-4473-46d1-82f8-c...

github.com/QuiltMC/quilt-loader-sat4j - b8314cc772e85a61fb281cb6ee6d5e886f7d35e0 authored over 12 years ago
Make SAT and UNSAT solvers public.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1410 ba638df5-4473-46d1-82f8-c...

github.com/QuiltMC/quilt-loader-sat4j - e88cde2e88924b0a1c9b574342451b6346f6d478 authored over 12 years ago
Created two basic SAT and UNSAT solvers.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1409 ba638df5-4473-46d1-82f8-c...

github.com/QuiltMC/quilt-loader-sat4j - 42c3f55edc020a76b4f9c2b834ab6958cc815b1f authored over 12 years ago
Fix for SAT-61.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1408 ba638df5-4473-46d1-82f8-c...

github.com/QuiltMC/quilt-loader-sat4j - 0483a9417b632196a0453d8d13af3b21be8b4431 authored over 12 years ago
Do while loop

git-svn-id: file:///Users/lee/SVNrep/decompiler/trunk@84 c820dd76-da7a-4b58-9bdb-1b1215dfe356

github.com/QuiltMC/cfr - 11f3551c322537fd3177c60418e99236236b697e authored over 12 years ago
negate conditions in negatedjumps

git-svn-id: file:///Users/lee/SVNrep/decompiler/trunk@83 c820dd76-da7a-4b58-9bdb-1b1215dfe356

github.com/QuiltMC/cfr - 95e61704193043550b10b8a3aa96027354fa39e0 authored over 12 years ago
negate ternary test

git-svn-id: file:///Users/lee/SVNrep/decompiler/trunk@82 c820dd76-da7a-4b58-9bdb-1b1215dfe356

github.com/QuiltMC/cfr - 656bbe59591fa832892e49aa2a7a4732521851ba authored over 12 years ago
Tidying

git-svn-id: file:///Users/lee/SVNrep/decompiler/trunk@81 c820dd76-da7a-4b58-9bdb-1b1215dfe356

github.com/QuiltMC/cfr - 3a4010e2b90059a661abb5abf84ea77d0c51e43e authored over 12 years ago
Ternary Expressions

git-svn-id: file:///Users/lee/SVNrep/decompiler/trunk@80 c820dd76-da7a-4b58-9bdb-1b1215dfe356

github.com/QuiltMC/cfr - d4e7d10d5a5588368f0e5f3e3a8fd8da65a38d14 authored over 12 years ago
Prohibit aliasing correctly.

git-svn-id: file:///Users/lee/SVNrep/decompiler/trunk@79 c820dd76-da7a-4b58-9bdb-1b1215dfe356

github.com/QuiltMC/cfr - fc82cd4134426819969b7b5a763fc113cce0f605 authored over 12 years ago
Fixed sonar critical violation.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1407 ba638df5-4473-46d1-82f8-c...

github.com/QuiltMC/quilt-loader-sat4j - c60b45c2bd939a8d5932a0aaccf4f95e530e0330 authored over 12 years ago
SAT-61: non linear constraints report incorrect results when conjuncts appear multiple times.

http://jira.ow2.org/browse/SAT-61

Added a test case.

git-svn-id: svn+ssh://svn.forge.ow2.org/sv...

github.com/QuiltMC/quilt-loader-sat4j - c1cfc53c222a75509a58c930345bf7c4120b7784 authored over 12 years ago
REOPENED - issue SAT-63: Make Java 1.5 binaries instead of 1.4

http://jira.ow2.org/browse/SAT-63
RESOLVED - issue SAT-48: Memory requirement checking in ManyCor...

github.com/QuiltMC/quilt-loader-sat4j - 3d655bb98374fb9cc92833a58a64e526895eeb71 authored over 12 years ago
REOPENED - issue SAT-63: Make Java 1.5 binaries instead of 1.4

http://jira.ow2.org/browse/SAT-63

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tr...

github.com/QuiltMC/quilt-loader-sat4j - 212e3c38fea70f4e0c9940f48067d46818041b02 authored over 12 years ago
SALOAD/SASTORE

git-svn-id: file:///Users/lee/SVNrep/decompiler/trunk@78 c820dd76-da7a-4b58-9bdb-1b1215dfe356

github.com/QuiltMC/cfr - decaad81e17bacb975f0623385ebf76f6ebc62f3 authored over 12 years ago
Exceptions are HALF open....

git-svn-id: file:///Users/lee/SVNrep/decompiler/trunk@77 c820dd76-da7a-4b58-9bdb-1b1215dfe356

github.com/QuiltMC/cfr - 9d0baf97350f2a9aba08434db9ea2447f6bc2b8f authored over 12 years ago
Cache stackdeltas for instance seperately

git-svn-id: file:///Users/lee/SVNrep/decompiler/trunk@76 c820dd76-da7a-4b58-9bdb-1b1215dfe356

github.com/QuiltMC/cfr - ab2fea66f08454228500646757cdceb998349745 authored over 12 years ago
Don't alias array identifiers

(breaks anonymous arrays)

git-svn-id: file:///Users/lee/SVNrep/decompiler/trunk@75 c820dd76-da7a...

github.com/QuiltMC/cfr - a236073e14af5b4bd0fbede256766a6b32745e27 authored over 12 years ago
better handling of multiple colliding exception blocks

git-svn-id: file:///Users/lee/SVNrep/decompiler/trunk@74 c820dd76-da7a-4b58-9bdb-1b1215dfe356

github.com/QuiltMC/cfr - ed5c84f318d4ef5d5313011a3eca0ae7f74a8831 authored over 12 years ago
Minor cleanup.

github.com/QuiltMC/procyon - 41f4101b4a57f2eebd87bfe28d4f3df99dac9b8f authored over 12 years ago
hanlon's razor

git-svn-id: file:///Users/lee/SVNrep/decompiler/trunk@73 c820dd76-da7a-4b58-9bdb-1b1215dfe356

github.com/QuiltMC/cfr - 85b4e61819add12d3d813b511868c60026e6c9b6 authored over 12 years ago
end blocks at end of op4 processing

git-svn-id: file:///Users/lee/SVNrep/decompiler/trunk@72 c820dd76-da7a-4b58-9bdb-1b1215dfe356

github.com/QuiltMC/cfr - 1918f787bd82b1ddaaeddfdc92bbd21582a5fdf3 authored over 12 years ago
Infer extent of catch blocks.

git-svn-id: file:///Users/lee/SVNrep/decompiler/trunk@71 c820dd76-da7a-4b58-9bdb-1b1215dfe356

github.com/QuiltMC/cfr - de672b3685e8818eb9b9bca2df5a38edb0ae5c28 authored over 12 years ago
Early work on lambda compiler.

github.com/QuiltMC/procyon - 2e29090f1356d8564af2f7863d4cf5ea9ca92c61 authored over 12 years ago
Infer extent of catch blocks.

git-svn-id: file:///Users/lee/SVNrep/decompiler/trunk@70 c820dd76-da7a-4b58-9bdb-1b1215dfe356

github.com/QuiltMC/cfr - dc56194290b6f833478340bdb2533db63c6a0187 authored over 12 years ago
Use bitsets for SSAIdentifiers, so as to handle merged idents.

git-svn-id: file:///Users/lee/SVNrep/decompiler/trunk@69 c820dd76-da7a-4b58-9bdb-1b1215dfe356

github.com/QuiltMC/cfr - 27c1ebbd46d054c8b5d542535f34e4f7c331d686 authored over 12 years ago
Don't dump all

git-svn-id: file:///Users/lee/SVNrep/decompiler/trunk@68 c820dd76-da7a-4b58-9bdb-1b1215dfe356

github.com/QuiltMC/cfr - 6d8db4a9e8bc879e03c0d92a29086ebc26a50b7b authored over 12 years ago
First pass to rewriter to find aliases

git-svn-id: file:///Users/lee/SVNrep/decompiler/trunk@67 c820dd76-da7a-4b58-9bdb-1b1215dfe356

github.com/QuiltMC/cfr - ec2f82763cff57aafef1c1565fadf63f924db9c9 authored over 12 years ago