The Quilt Project commits | Ecosyste.ms: OpenCollective

Fixed pom.xml to make the maven build pass.

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

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

Improved fix for SAT-66.

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

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

Improved fix for SAT-66.

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

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

Extract interface for rewriter

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

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

Removed spurious debug messages.

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

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

Fixed assertion in primeImplicant computation.

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

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

Removed spurious debug messages.

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

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

Fixed prime implicant computation.

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

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

array constructor for sets

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

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

Nonary :)

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

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

Allow lazy map

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

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

Utility map

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

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

Better tests

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

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

Lazy map

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

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

Added the possibility to disable solution line

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

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

Added the possibility to disable solution line

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

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

Added CLI access to eq encoding for maxsat.

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

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

Created constant pool for TypeBuilder.

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

Added some conversion code that got overlooked.

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

Code cleanup, groundwork for lamba compiler.

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

Added emitNewArray() to bytecode generator.

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

Added emitConversion() to BytecodeGenerator (it supports many standard conversions).

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

Added an emitCall() overload which automatically determines the correct opcode. Added emitLoadElement() and emitStoreElement().

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

Better (un)boxing code.

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

Continued work on BytecodeGenerator.

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

Moved Solvers and RTSI to org.sat4j.sat -> modified LanceurPseudo2005 so that it does not use Solvers any more

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

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

Changed the display of restart tab so that manual restart and restart strategy are at the same level !

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

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

better loop tests

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

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

LValueCollector rename, find the initial part of for loops

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

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

Minor optimization.

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

More work on labels and fix-ups in bytecode generator.

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

Preliminary work on bytecode generator.

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

Sat4j is now compiled for Java 5.

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

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

Changed the test to use the new methods.

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

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

Changed the implementation of the luby sequence by the one presented by Donald Knuth during his invited talk at the SAT 2012 conference.

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

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

Still the refactoring :)

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

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

Continue refactoring of DetailedCommandPanel

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

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

Extracted Phase component from DetailedCommandPanel

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

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

Allow to use equivalence with the selector literal.

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

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

Allow to use equivalence with the selector literal.

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

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

Divided the role of restart button into two parts : one manual restart and one change restart strategy

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

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

Continue refactoring of detailedCommandPanel

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

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

Started refactoring of DetailedCommandPanel :)

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

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

Initial version of for loops.

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

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

tidying

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

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

Multiple passes for nested conditionals

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

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

Simplify conditionals

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

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

Rewrite negative jumps where it makes the control flow simpler.

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

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

Wrong opcodes for some ICMP!

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

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

removing last continue needs to cope with nested loops better

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

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

Added jchard2 to sat4j-sat jar

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

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

First attempt at crappy heuristic to handle if blocks ending in bad conjunction with catch blocks.

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

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

Start remote with specified configuration

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

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

Added clean trace to search listeners

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

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

Added clean to learned clauses size graph and prevented the activation of tracing while the solver is running.

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

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

Corrected init method in DecisionTracing search listener

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

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

Make sure while loops don't backjump on their test

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

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

while loops ending in throws

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

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

Added start with a specific configuration for remote control + corrected restart tracing on gnuplot

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

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

Consequence of changing a name of a method in RemoteControlFrame

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

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

added method to solvervisu for closing the java visualization frame before opening a new one

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

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

Implement new method introduced in the restart strategy.

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

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

Updated the java visualization : the layout now takes into account the number of graphs displayed

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

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

basic implementation of a circular buffer for integers maintaining the average of its elements.

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

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

basic implementation of a circular buffer for integers maintaining the average of its elements.

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

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

Added a new hook method to allow dynamic restarts strategies.

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

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

Added a new hook method to allow dynamic restarts strategies.

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

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

Implement new forgets() method.

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

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

Add new forgets() method. Improved JavaDoc.

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

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

Improved prime implicant algorithm solving the issue found by Pascal Fontaine with previous approach.

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

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

Add a counter example to the current implementation of prime implicants.

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

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

Added new method in ISolverService.

Removed wrong @Override for Java 5.

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

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

Modified SolverVisualisation so that "plus" points are drawn instead of discs.

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

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

Classes that allow new point traces : a "plus" trace and a "cross" trace

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

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

Refactoring of GnuplotPreferences : it now customizes the jchart visualization.

Renamed classes : GnuplotPreferences => VisuPreferences
GnuplotPreferencesFrame => VisuPref...

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

Added TraceComposite class in order to use one call of addPoint(x,y) for many traces

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

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

Update jchart based visualization

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

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

Modified launchers in order to take into account search listeners modifs

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

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

Modified a few search listeners so that they have their own restart plot

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

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

Last graphs whith jchard2d

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

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

Moved ChartBasedVisualizationTool from org.sat4j.tools to org.sat4j.sat

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

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

added class SolverVisualisation

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

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

Added new dependency.

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

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

The remote should now have the checkbox "optimization mode" checked if "-opt" was entered in command line

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

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

Modified launchers (Launcher, PseudoBoolean2005 and DetailedCommabndPanel) in order to take the new visualization into account

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

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

Modified searchListenersTracing so that they now take in parameters a IVisualizationTool instead of a filename

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

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

Added classes to allow another visualization than gnuplot

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

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

Allow to change the clause deletion strategy on the command line.

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

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

DimacsOutput allows cardinality constraints to be translated into clauses.

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

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

throw exceptions when the translation into SAT is not done.

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

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

Allow to change the clause deletion strategy on the command line.

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

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

Allow to change the measure of the quality of the clauses without providing a timer.

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

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

Allow to change the measure of the quality of the clauses without providing a timer.

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

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

Added LBD 2

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

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

Propagate simple blocks better

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

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

More accurate handling of while blocks

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

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

Label exception blocks, remove terminal continue

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

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

better exception blocks

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

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

Throws an exception if newVar() is not called before adding new constraints.

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

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

Fix duplicated prefix on the console.

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

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