]> git.unchartedbackwaters.co.uk Git - francis/stp.git/shortlog
projects / francis / stp.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
francis/stp.git
2011-01-06 trevor_hansenBugfix. Would segfault if a vector was empty. commit | commitdiff | tree | snapshot
2011-01-03 trevor_hansen* Remove the arraywrite_refinement_flag boolean flag... commit | commitdiff | tree | snapshot
2011-01-03 trevor_hansenSpeedup, Cleanup of the SATBased_ArrayReadRefinement... commit | commitdiff | tree | snapshot
2011-01-02 trevor_hansenBugfix. Prevent *TrueDummy* being output in the counter... commit | commitdiff | tree | snapshot
2011-01-02 trevor_hansenSpeedup. Experimental. Caching was disabled when conver... commit | commitdiff | tree | snapshot
2011-01-02 trevor_hansenRefactor. Remove some commented out code. No idea what... commit | commitdiff | tree | snapshot
2011-01-02 trevor_hansenCleanup / Speedup. Unnecessary work was done when build... commit | commitdiff | tree | snapshot
2011-01-02 trevor_hansenBugfix. I didn't realise that the Flatten function... commit | commitdiff | tree | snapshot
2011-01-02 trevor_hansenRefactor. This shouldn't change anything commit | commitdiff | tree | snapshot
2011-01-01 trevor_hansenSpeedup. The old Flatten was too slow. On an instance... commit | commitdiff | tree | snapshot
2010-12-31 trevor_hansenExtra assertion. Assert that internally created variabl... commit | commitdiff | tree | snapshot
2010-12-31 trevor_hansenSmall leak fix. Didn't delete the variable introduced... commit | commitdiff | tree | snapshot
2010-12-31 trevor_hansenFix the build. The speedup in the prior checkin needs... commit | commitdiff | tree | snapshot
2010-12-31 trevor_hansenSpeedup. This makes it much faster to create some bvconsts. commit | commitdiff | tree | snapshot
2010-12-31 trevor_hansenDisable simplifications when printing back. I disabled... commit | commitdiff | tree | snapshot
2010-12-21 trevor_hansenWork around occasional hang with -g (when timing out). commit | commitdiff | tree | snapshot
2010-12-18 smccamSilence some legitimate warnings about int to pointer... commit | commitdiff | tree | snapshot
2010-12-18 smccamMakefile changes to improve the build of libstp.a.... commit | commitdiff | tree | snapshot
2010-12-15 trevor_hansenAdds a command line configuration option that is saved... commit | commitdiff | tree | snapshot
2010-11-28 trevor_hansenEnable constant bit Propagation with CNF generation. commit | commitdiff | tree | snapshot
2010-11-28 trevor_hansenReduce the cutover for the advance CNF generator to... commit | commitdiff | tree | snapshot
2010-11-28 trevor_hansenEnable constant bit propagation by default. commit | commitdiff | tree | snapshot
2010-11-28 trevor_hansenFix build. commit | commitdiff | tree | snapshot
2010-11-28 trevor_hansenMaximally precise transfer functions for constant bit... commit | commitdiff | tree | snapshot
2010-11-28 trevor_hansenNo longer default to -m32, causes too many problems commit | commitdiff | tree | snapshot
2010-11-28 trevor_hansenPatch from Markus Groß. Thanks. Here is the description... commit | commitdiff | tree | snapshot
2010-11-06 trevor_hansenBugfix. simplifying-minisat failed when abstraction... commit | commitdiff | tree | snapshot
2010-10-03 trevor_hansenFix. An optimisation added in r1020 was disabled. This... commit | commitdiff | tree | snapshot
2010-10-01 trevor_hansenBugfix. Unsigned modulus of zero returned 1, it should... commit | commitdiff | tree | snapshot
2010-09-24 trevor_hansenExperimental. Push bvand and bvor through concats. commit | commitdiff | tree | snapshot
2010-09-12 trevor_hansenBugfix. r1018 caused wrong answers. It left out a case... commit | commitdiff | tree | snapshot
2010-09-12 trevor_hansenSpeedup. Add bvconcat normalisation. Break bvconcat... commit | commitdiff | tree | snapshot
2010-09-12 trevor_hansenBugfix. The prior checkin cleaned up too much. Sometime... commit | commitdiff | tree | snapshot
2010-09-12 trevor_hansenCleanup. Removes some clauses that must be "false". commit | commitdiff | tree | snapshot
2010-09-12 trevor_hansenFix. Output the statistics for simplifying minisat. commit | commitdiff | tree | snapshot
2010-09-10 trevor_hansenWhen encoding to CNF via ABC, use the simple mapping... commit | commitdiff | tree | snapshot
2010-09-08 trevor_hansenAdds a Userflag to control whether the xor solver is... commit | commitdiff | tree | snapshot
2010-09-07 trevor_hansenBugfix to the prior revision. Solving for 2 operand... commit | commitdiff | tree | snapshot
2010-09-07 trevor_hansenExperimental. Convert IFF to XOR during simplification... commit | commitdiff | tree | snapshot
2010-09-03 vijay_ganeshaligned the STP help printout (-h option). It is easier... commit | commitdiff | tree | snapshot
2010-09-03 vijay_ganeshaligned the STP help printout (-h option). It is easier... commit | commitdiff | tree | snapshot
2010-08-31 trevor_hansenFresh variables created for internal uses, for instance... commit | commitdiff | tree | snapshot
2010-08-31 trevor_hansenUpdate the comments to match the last commit commit | commitdiff | tree | snapshot
2010-08-31 trevor_hansenFix to the bvsolver. Some cases were missing when ident... commit | commitdiff | tree | snapshot
2010-08-29 trevor_hansenBugfix in cbitp. Currently not enabled. commit | commitdiff | tree | snapshot
2010-08-28 trevor_hansenFix error in experimental constant bit propagation... commit | commitdiff | tree | snapshot
2010-08-28 trevor_hansenBugfix. Memory was sometimes read after it had been... commit | commitdiff | tree | snapshot
2010-08-28 trevor_hansenFix. I thought the code I checked-in just now wasn... commit | commitdiff | tree | snapshot
2010-08-28 trevor_hansenChanges to inactive by default code. commit | commitdiff | tree | snapshot
2010-08-22 trevor_hansenRemove some assertion checks from code that's not enabl... commit | commitdiff | tree | snapshot
2010-08-22 trevor_hansenBugfix. STP returned the wrong answer when something... commit | commitdiff | tree | snapshot
2010-08-21 vijay_ganeshminor changes to INSTALL instructions commit | commitdiff | tree | snapshot
2010-08-20 trevor_hansenFix the build script commit | commitdiff | tree | snapshot
2010-08-20 trevor_hansenRemove variables from the configure script which contro... commit | commitdiff | tree | snapshot
2010-08-20 trevor_hansenRemove binaries I checked in by mistake commit | commitdiff | tree | snapshot
2010-08-20 trevor_hansenFix build. Forgot to checkin these commit | commitdiff | tree | snapshot
2010-08-20 trevor_hansen* Replace minisat 2 with minisat 2.2. commit | commitdiff | tree | snapshot
2010-08-18 trevor_hansenAdd regresssmtcomp2007 which runs the bitvector benchma... commit | commitdiff | tree | snapshot
2010-08-18 trevor_hansenChanges to inactive code. Use simple AIG simplification... commit | commitdiff | tree | snapshot
2010-08-16 trevor_hansenUpdate to currently inactive code. commit | commitdiff | tree | snapshot
2010-08-16 trevor_hansenCode for AIG rewriting with ABC. This code is not curre... commit | commitdiff | tree | snapshot
2010-08-15 trevor_hansenExtra tests for inactive by-default code commit | commitdiff | tree | snapshot
2010-08-15 trevor_hansenRefactor. Remove unncessary code. commit | commitdiff | tree | snapshot
2010-08-15 trevor_hansenChange non-enabled code. commit | commitdiff | tree | snapshot
2010-08-14 trevor_hansenImprovement? FlattenKind now recursively flattens it... commit | commitdiff | tree | snapshot
2010-08-14 trevor_hansenShould cause not runtime effects. commit | commitdiff | tree | snapshot
2010-08-13 trevor_hansenSpeedup. Reduce the number of times that SortByArith... commit | commitdiff | tree | snapshot
2010-08-11 trevor_hansenPrint out a not yet supported error. commit | commitdiff | tree | snapshot
2010-08-11 trevor_hansenAdd a sorting network implementation. This code is... commit | commitdiff | tree | snapshot
2010-08-10 trevor_hansenCleanup. Remove experimental (not active) code. commit | commitdiff | tree | snapshot
2010-08-10 trevor_hansenImprove the encoding of the full adder used by the... commit | commitdiff | tree | snapshot
2010-08-10 trevor_hansenCorrect a comment commit | commitdiff | tree | snapshot
2010-08-07 trevor_hansenBugfix. --output-CNF was broken when outputting with... commit | commitdiff | tree | snapshot
2010-08-06 trevor_hansenFix slowdown. commit | commitdiff | tree | snapshot
2010-08-05 trevor_hansenSpeedup the bvsolver. Use the applySubstitutionMap... commit | commitdiff | tree | snapshot
2010-08-05 trevor_hansenBugfix. The prior revision sometimes returned the wrong... commit | commitdiff | tree | snapshot
2010-08-01 trevor_hansenBugfix. Infinite loop. My fourth attempt to fix the... commit | commitdiff | tree | snapshot
2010-07-31 trevor_hansenBugfix. Oops. When using the quick statistics (the... commit | commitdiff | tree | snapshot
2010-07-28 trevor_hansenSpeedup. I've measured the performance of bit blasted... commit | commitdiff | tree | snapshot
2010-07-28 trevor_hansenBugfix. Infinite loop. A third fix for r947. commit | commitdiff | tree | snapshot
2010-07-28 trevor_hansenBugfix. STP may produce the wrong answer. Introduced... commit | commitdiff | tree | snapshot
2010-07-28 trevor_hansenSpeed up of the unsigned division encoding. Update... commit | commitdiff | tree | snapshot
2010-07-28 trevor_hansenRefactoring. commit | commitdiff | tree | snapshot
2010-07-26 trevor_hansenBugfix. Stop a null pointer error. commit | commitdiff | tree | snapshot
2010-07-26 msoosFurther fixing of spurious printing in CryptoMiniSat commit | commitdiff | tree | snapshot
2010-07-26 msoosFixing verbosity-related problems in CryptoMiniSat2 commit | commitdiff | tree | snapshot
2010-07-10 trevor_hansenA QF_ABV division has been added to the smt-lib. Update... commit | commitdiff | tree | snapshot
2010-07-10 trevor_hansenBugfix. Properly print out the counter example of booleans. commit | commitdiff | tree | snapshot
2010-07-10 trevor_hansenFix the build + extra options for constant bit propagat... commit | commitdiff | tree | snapshot
2010-07-10 trevor_hansenSpeedup. Flatten multiplications, sort, then re-assable... commit | commitdiff | tree | snapshot
2010-07-10 trevor_hansenExtra code (not enabled), for constant bit propagation. commit | commitdiff | tree | snapshot
2010-07-10 trevor_hansenExtra code (that's not currently enabled), so reduce... commit | commitdiff | tree | snapshot
2010-07-10 trevor_hansenOutput quick statistics if enabled, and exiting after... commit | commitdiff | tree | snapshot
2010-07-09 trevor_hansenDecision. This optimisation helps our cvc regressions... commit | commitdiff | tree | snapshot
2010-07-09 trevor_hansenAdd the option to exit after generating the CNF. Curren... commit | commitdiff | tree | snapshot
2010-07-09 trevor_hansenBugfix. If a new-line occured in a string literal,... commit | commitdiff | tree | snapshot
2010-07-08 petercolIntroduce vc_setInterfaceFlags function commit | commitdiff | tree | snapshot
2010-07-08 trevor_hansenFix some small leaks when performing division by zero... commit | commitdiff | tree | snapshot
2010-07-08 trevor_hansenOnly run the bvsolver if optimisations have been enable... commit | commitdiff | tree | snapshot
2010-07-08 trevor_hansenFix the unit test script: commit | commitdiff | tree | snapshot
next
STP Constraint Solver.