The Quilt Project commits | Ecosyste.ms: OpenCollective

Improve exception variable names

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

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

Corrected label mistake in DetailedCommandPanel

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

github.com/QuiltMC/quilt-loader-sat4j - ad6391604d7129c99c9533b867e2d925bb3e5b04 authored over 12 years ago

Method toString of Policy (specific encoding adapter)

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

github.com/QuiltMC/quilt-loader-sat4j - b47272989799ade7b0c32117a3c9f2bdc7d4a198 authored over 12 years ago

Updated remote's look

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

github.com/QuiltMC/quilt-loader-sat4j - 1ca15051f38fa38a693398f05c5d686902094261 authored over 12 years ago

Improve exception type

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

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

Comments

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

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

allow simple moves of preincrements, postincrements, display better

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

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

Added a default selection when launching the remote control

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

github.com/QuiltMC/quilt-loader-sat4j - 9e182bea432de4e87df7ee95511af5f811cd411e authored over 12 years ago

Remote should not launch an exception when a Contradiction Exception is caught after parsing an instance.

Improved remote look

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1504 ba63...

github.com/QuiltMC/quilt-loader-sat4j - fb02da05795394438d8bdfbbf511fd890a73f29a authored over 12 years ago

corrected cast mistake in DetailedCommandPanel for maxsat instances

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

github.com/QuiltMC/quilt-loader-sat4j - 2d77a8ba9db08e3e4b20be3f88555ce4999e952c authored over 12 years ago

updated sat main class in manisfest file

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

github.com/QuiltMC/quilt-loader-sat4j - b357f026fb6672f20bdf7242e6720cf7a9315cfe authored over 12 years ago

Updated main class in org.sat4j.sat

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

github.com/QuiltMC/quilt-loader-sat4j - 1c8c24b03c6f8db65ac5d4aeb3bef79bcd17d7e7 authored over 12 years ago

Added dependency to maxsat in module sat

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

github.com/QuiltMC/quilt-loader-sat4j - 0a8dcb1c04b65bd0d6d548d1cef34dc6c44e0c78 authored over 12 years ago

allow simple moves of preincrements.

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

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

Fixed some bugs related to erased type member population. Added some compiler optimizations. Fixed an issue where 'finally' blocks were effectively omitted if no 'catch' blocks were present.

github.com/QuiltMC/procyon - 1e0e0bf6b3ac12293c687b5012e353fc68195f33 authored over 12 years ago

Added a toString method to the enum

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

github.com/QuiltMC/quilt-loader-sat4j - 165a805183f1be92af3b22804ea3562221cada21 authored over 12 years ago

ClausalConstraintsDecorator and possibility to choose cardinality encodings in the remote

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

github.com/QuiltMC/quilt-loader-sat4j - 13a4c3af2502a07d8777587541a6eaca9400f466 authored over 12 years ago

Removed newDimacsOutput() in pb.SolverFactory (real commit this time)

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

github.com/QuiltMC/quilt-loader-sat4j - f68d44e6b1cb3f458ec24261a121470998ec3344 authored over 12 years ago

Removed newDimacsOutput() in pb.SolverFactory

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

github.com/QuiltMC/quilt-loader-sat4j - 1c1d2380b4e7fed5393b96b7cd40085feae16c3b authored over 12 years ago

Fixed issue when the solver was set to null (to prevent memory leaks).

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

github.com/QuiltMC/quilt-loader-sat4j - 8143e33f2c8c3d487088489f2ace8926156cfff2 authored over 12 years ago

set mode debug to false in order to have a lighter trace when building :)

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

github.com/QuiltMC/quilt-loader-sat4j - 47e264a6855cc9725c1458196045b786fc05daa8 authored over 12 years ago

removed unused variable.

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

github.com/QuiltMC/quilt-loader-sat4j - c199bc5bc5b60d32405887a5aadc5932a63f25c3 authored over 12 years ago

Moved call to setLearningStrategy() after the dataStructureFactory has been set.

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

github.com/QuiltMC/quilt-loader-sat4j - 5c39ce5371e26ab6413dcf89fc7c4b8995100e35 authored over 12 years ago

Removed unnecessary methods and added NATIVE to the Enum encodingStrategy

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

github.com/QuiltMC/quilt-loader-sat4j - 6d660dd38761695713b2b691b60bb6904846b463 authored over 12 years ago

ISolver.setLearner() is now renamed ISolver.setLearningStrategy().

The method now includes a call to LearningStrategy.setSolver(), there is no need to make that cal...

github.com/QuiltMC/quilt-loader-sat4j - acb6a0ebe786c2190f2690c8a33a7b6139d0cc5f authored over 12 years ago

ISolver.setLearner() is now renamed ISolver.setLearningStrategy().

The method now includes a call to LearningStrategy.setSolver(), there is no need to make that cal...

github.com/QuiltMC/quilt-loader-sat4j - 4b7c2ad1106d7fcf54a85a2b3da03fbf022bde98 authored over 12 years ago

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

github.com/QuiltMC/quilt-loader-sat4j - 3e8cdf015e93db46322e2249f78e2e0542b58818 authored over 12 years ago

Modified DetailedCommandPanel in order to be java 1.5 compliant. Started improving remote look.

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

github.com/QuiltMC/quilt-loader-sat4j - 6c639c6a479bc37c80efde819a1f897755622fb2 authored over 12 years ago

Initial change to allow mutating statements (x += 1, etc)

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

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

Now possible to launch a maxsat solver with the remote. Caution : this is a first version, please report if any bugs :)

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

github.com/QuiltMC/quilt-loader-sat4j - 90a5728fe2c5f4efbf95963f7eae6ff145ea58c0 authored over 12 years ago

Added a new method that allows to retrieve the real engine inside a bunch of decorated engines.

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

github.com/QuiltMC/quilt-loader-sat4j - eadee1d83b630fda21dcc8e4ee5b0a4a97eb578e authored over 12 years ago

Added remark on the reset() javadoc.

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

github.com/QuiltMC/quilt-loader-sat4j - 312c68eb3ddaa16c973212d543f24aa1066d23fc authored over 12 years ago

Added new dependency to maxsat.

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

github.com/QuiltMC/quilt-loader-sat4j - 713897d5ecbf3962d595c9032eb219bc55dec5ab authored over 12 years ago

Fixed a potential stack overflow when resolving members that reference nested types.

github.com/QuiltMC/procyon - dad59ef4e842b541bc3f29bdd92cabd095585947 authored over 12 years ago

removed restarts and added simple simplification to UNSAT oriented solver.

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

github.com/QuiltMC/quilt-loader-sat4j - 01b5559f2814570dca162427acf01f5a27053740 authored over 12 years ago

Some more commenting, preparation for selfupdating assignments

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

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

Expression.call() now automatically inserts a constant MethodHandle target for DynamicMethod calls if no target is explicitly specified. Note that this will only work for expressions compiled with closure support.

github.com/QuiltMC/procyon - d9c29ca002e0d8bb40e79736520caf795e09b7cc authored over 12 years ago

Removed duplicated code.

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

github.com/QuiltMC/quilt-loader-sat4j - 5f681ec5add0b1309d170a1716ac871519e6cc1e authored over 12 years ago

Added class MSInstanceReader

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

github.com/QuiltMC/quilt-loader-sat4j - 6dd61ef45f8e1ddb844431160babcda767abb860 authored over 12 years ago

Removed code duplication.

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

github.com/QuiltMC/quilt-loader-sat4j - d013d3d07d0db46dd9388a46908c098d1cbabb64 authored over 12 years ago

Refactored the class to reduce duplication of code in the subclasses.

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

github.com/QuiltMC/quilt-loader-sat4j - e89b78f167c3ad376c3514c9af7f660a816c5cf1 authored over 12 years ago

javadoc of ILauncherMode

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

github.com/QuiltMC/quilt-loader-sat4j - 012b0fa9673b539e6cf480f9eba7215e47942dff authored over 12 years ago

Don't direct backjumps inside try blocks to before the try

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

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

Made TypeUtils.hasReferenceConversion() more strict. Probably isn't perfect yet.

github.com/QuiltMC/procyon - b598a91e59ec684b9b312a6f2d95885f7654e43d authored over 12 years ago

Fixed a bug where maxLocals was not being computed properly for methods with wide argument types (i.e., double or long).

github.com/QuiltMC/procyon - 35fadac656b5cc8eb0187b83ede024b2250f616f authored over 12 years ago

Modified AbstractLauncher so that it delegates to a ILauncherMode the output when the solver stops and the solve method. This allows to be either in a decision mode or in an optimization mode.

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

github.com/QuiltMC/quilt-loader-sat4j - 37b21d25dd26781248f14d215b1417cdd8e06e55 authored over 12 years ago

Modified AbstractLauncher so that it delegates to a ILauncherMode the output when the solver stops and the solve method. This allows to be either in a decision mode or in an optimization mode.

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

github.com/QuiltMC/quilt-loader-sat4j - 0904e4bfb9548c15b9ab12faea9c1f2f9445e782 authored over 12 years ago

Consequence of changing the name of ICDCLLogger into IlogAble

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

github.com/QuiltMC/quilt-loader-sat4j - 3c06e1f8419343e3afb9237b1ebd6ebced69e4f2 authored over 12 years ago

Another loop test

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

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

Clojure libraries have unreachable bytecode in them - remove before converting to op3.

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

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

Control flow test

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

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

Eliminated a bunch of unchecked operation compiler warnings.

github.com/QuiltMC/procyon - ff0703592df431bf8d02a7cdc5f5ce677a372187 authored over 12 years ago

Resolver now deals with ParameterizedTypes with null type arguments (because Java's reflection APIs are retarded).

github.com/QuiltMC/procyon - a96a1da90bf2fc0b0d67e257b362eb469c587d2b authored over 12 years ago

proper type info on 'this', label <init> calls as super / this, name constructors correctly.

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

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

Renamed ICDCLLogger into ILogAble and moved it from org.sat4j.minisat.core to org.sat4j

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

github.com/QuiltMC/quilt-loader-sat4j - 290a13f08773c0211330affa48a9850714ed9c8d authored over 12 years ago

One of the Expression.notEqual() overloads called Expression.equal(). Whoops.

github.com/QuiltMC/procyon - 42db9280de6f31eaf38abf8bf30c447e29910a28 authored over 12 years ago

Added a unit test for method-based binary operators (e.g. for BigInteger). Minor tweaks.

github.com/QuiltMC/procyon - 29804037dece07903628e797999eaeb169e727bb authored over 12 years ago

Use return type for additional type decoration

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

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

Improve display of names

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

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

Fixed some issues writing out annotations on types created with TypeBuilder.

github.com/QuiltMC/procyon - 47425723846a5d224a96c7c98aedb2673b386843 authored over 12 years ago

Removed some test code.

github.com/QuiltMC/procyon - f83961f5dbb02d5a27dd778659874b25321b629c authored over 12 years ago

Fixed some signature issues. TypeBuilder now works correctly when building generic types.

github.com/QuiltMC/procyon - a4c29365a242783785357da24e8e75f7da8e97d0 authored over 12 years ago

Tweak to printout

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

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

Bug fix.

github.com/QuiltMC/procyon - b54c53e6a8c74919b0d20c135a223567dc04f596 authored over 12 years ago

Tied up some unfinished work on AnnotationBuilder.

github.com/QuiltMC/procyon - c749b2cf2311069ca049fa0c0df5718f53e420f7 authored over 12 years ago

Tied up some unfinished work on TypeBuilder.

github.com/QuiltMC/procyon - fadbcc1ac83215c069426d99669be957c1710850 authored over 12 years ago

Minor unit test update.

github.com/QuiltMC/procyon - 9d70f924e2aac2e6d5987d577a5f2322c229f0ec authored over 12 years ago

Refactored expression compiler so more code paths are shared between branching and relational operators. Added some unit tests.

github.com/QuiltMC/procyon - 7ea13f54d31c8761df3b7779f4e04e299de31501 authored over 12 years ago

Use ConstantValue attributes on fields

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

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

The last check-in incorrectly fixed a numeric conversion issue. Checking in the real fix.

github.com/QuiltMC/procyon - 68641228a10f7c59e2d9744c69ec131154b224dc authored over 12 years ago

Fixed some numeric conversion issues and a bug where a type might expose duplicate members.

github.com/QuiltMC/procyon - bae4dc3189d130dff7ad6cff1395f64a909fcd3f authored over 12 years ago

Static init test

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

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

TypeBuilder now generates bridge method with the correct ACC_BRIDGE and ACC_SYNTHETIC flags.

github.com/QuiltMC/procyon - 0c3197be4cee4f12a1f05025fdba2b285ef9bc59 authored over 12 years ago

Another quick bug fix.

github.com/QuiltMC/procyon - ec215de3563baac7d483100918ff45fc35928feb authored over 12 years ago

Added some utility classes, fixed some bugs.

github.com/QuiltMC/procyon - 440d0a630d68df0b26b15cb376ec04a225ac12c2 authored over 12 years ago

Fixed bug with SWAP generation

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

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

Use correct operator for unsigned shift right

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

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

Swap and a simple attempt at JSR (which is wrong, but handy)

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

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

Merging changes.

github.com/QuiltMC/procyon - 4d0caac489af9ce5edbb7c61345a4a8da01e9d25 authored over 12 years ago

Fixed some issues that I swear I fixed already. Mercurial history agrees with me. Not sure what happened (grr).

github.com/QuiltMC/procyon - 0100d8ea605c3fe8a44afadba65fb00f3f9f01e4 authored over 12 years ago

Pulled getDescription() and related members up to MemberInfo. Fixed CodeGenerator.emitNewArray() so it works correctly with primitive arrays.

github.com/QuiltMC/procyon - c59d53eaf71c72acd156cf375b268d4f7ba997a2 authored over 12 years ago

Removed dependency on langtools.

github.com/QuiltMC/procyon - 7009957348676c137d5c69fa519b11f5efcb6158 authored over 12 years ago

Fixed broken emitLoadArgument() and emitStoreArgument() methods on CodeGenerator.

github.com/QuiltMC/procyon - 3d60fe606bb0333b345a36d21014d0088de41d53 authored over 12 years ago

better example

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

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

Fixed some issues binding to generic methods with bounded type parameters. Fixed some signature formatting issues.

github.com/QuiltMC/procyon - 83ed77883494b2b3bf22f6925bdea23391ecf947 authored over 12 years ago

Improved verbose messages during optimization.

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

github.com/QuiltMC/quilt-loader-sat4j - 57f18dea39ee3321b1d07a500e41333c73ae6319 authored over 12 years ago

Test case showing that the thread issues with the timers is due to the client code, not sat4j itself.

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

github.com/QuiltMC/quilt-loader-sat4j - 5c7c7bd62882f311c4ed185f10747be88755f918 authored over 12 years ago

Reverted last change because it does not address the issue.

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

github.com/QuiltMC/quilt-loader-sat4j - dd56f793a25f0252002fc335b25191c9bd74102c authored over 12 years ago

Make sure that timers are properly canceled across multiple runs.

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

github.com/QuiltMC/quilt-loader-sat4j - a1c42407a6c9edac4788ec988dc5496068e218fc authored over 12 years ago

badlocal is a bad name

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

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

Improve display, (mainly of fields)

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

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

Improve display, (mainly of fields)

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

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

Don't print nops in final output.

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

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

Use descriptor is signature is lossy (eg enum)

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

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

Removed DynamicMethod.invokeWithArguments() since no wrapper is needed to invoke that particular method.

github.com/QuiltMC/procyon - 0d2f0c1e59ca15047513df13bbfc143649727ffb authored over 12 years ago

Added support for calling MethodHandles via "DynamicMethod". Fixed a bug where binding zero arguments against a varargs method threw an exception.

github.com/QuiltMC/procyon - 0a0ac40e8cf37bb3bf2b592a2a1561cc5a1dea9f authored over 12 years ago

Various bug fixes.

github.com/QuiltMC/procyon - 890fe42855f2f99f34e3d9d0f3fe28401214b0ce authored over 12 years ago

Anonymous arrays, take 1.

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

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

Added some overloads to LambdaExpression.compileToMethod() that will create a new MethodBuilder automatically.

github.com/QuiltMC/procyon - 01c274da38d30a372610615e97622e5cc7db6937 authored over 12 years ago

Added preliminary support for compiling LambdaExpressions to instance MethodBuilders. Expression.self() can be used to represent 'this'.

github.com/QuiltMC/procyon - 3a5d8cc73f2ce7ea7ac335287d8cb03d7bef8053 authored over 12 years ago