Programming Languages Research Group: Git

2019-11-20	Hamed Gorjiara	Turning on the ENCODINGGRAPH optimization for ORDERINTEGEREN...	commit \| commitdiff \| tree
2019-11-19	Hamed Gorjiara	Timeout for running benchmarks	commit \| commitdiff \| tree
2019-11-19	Hamed Gorjiara	using vartunable instead of tunable	commit \| commitdiff \| tree
2019-11-19	Hamed Gorjiara	Tuner bug fix: Setting default for 2 used tuners	commit \| commitdiff \| tree
2019-11-18	Hamed Gorjiara	Generating SMT tables	commit \| commitdiff \| tree
2019-11-13	Hamed Gorjiara	Merge branch 'incremental' of ssh://plrg.ics.uci.edu...	commit \| commitdiff \| tree
2019-11-13	Hamed Gorjiara	Bug fix for return value in runbench script	commit \| commitdiff \| tree
2019-11-13	Hamed Gorjiara	Decreasing the memory limit. Problem still exists in...	commit \| commitdiff \| tree
2019-11-13	Hamed Gorjiara	Only run learningset test cases	commit \| commitdiff \| tree
2019-11-13	Hamed Gorjiara	Limit on memory not data	commit \| commitdiff \| tree
2019-11-13	Hamed Gorjiara	Adding memory limit for the learning process	commit \| commitdiff \| tree
2019-10-31	Hamed Gorjiara	Merge branch 'incremental' of ssh://plrg.ics.uci.edu...	commit \| commitdiff \| tree
2019-10-31	Hamed Gorjiara	Adding API for AtMostOneConstraint + bugfix for turning...	commit \| commitdiff \| tree
2019-10-22	Hamed Gorjiara	BUGFIX: change runbench script when the SAT Solver...	commit \| commitdiff \| tree
2019-10-22	Hamed Gorjiara	BUGFIX: when ONE or TWO tuner cannot solve a problem	commit \| commitdiff \| tree
2019-10-22	Hamed Gorjiara	BUGFIX: When 2 selected tuners cannot solve the problem	commit \| commitdiff \| tree
2019-10-18	Hamed Gorjiara	two best tuner instead of three	commit \| commitdiff \| tree
2019-10-18	Hamed Gorjiara	Fixing runbench script	commit \| commitdiff \| tree
2019-10-17	Hamed Gorjiara	Limiting satune timeout	commit \| commitdiff \| tree
2019-10-16	Hamed Gorjiara	Fixing silent bug for not finding the tuner	commit \| commitdiff \| tree
2019-10-15	Hamed Gorjiara	Adding support for VAR constraints in Dirk	commit \| commitdiff \| tree
2019-10-15	Hamed Gorjiara	fixing return value for passing test cases	commit \| commitdiff \| tree
2019-10-15	Hamed Gorjiara	storing results in /rscratch instead of home dir	commit \| commitdiff \| tree
2019-10-15	Hamed Gorjiara	BUG FIX:Timeout getting stuck bug	commit \| commitdiff \| tree
2019-09-29	Hamed Gorjiara	Dump Inceremental SMT + Using Real logic instead of Int	commit \| commitdiff \| tree
2019-09-24	Hamed Gorjiara	SMT dump and support for true variable	commit \| commitdiff \| tree
2019-09-05	Hamed Gorjiara	Merging + fixing memory bugs	commit \| commitdiff \| tree
2019-07-04	Hamed Gorjiara	Add a configuration for disabling the optimizations	commit \| commitdiff \| tree
2019-07-03	Hamed Gorjiara	Scripts needed for automation of learning process ...	commit \| commitdiff \| tree
2019-07-01	Hamed Gorjiara	Freezing bug fix - Incremental SATTune works for Sypet	commit \| commitdiff \| tree
2019-07-01	Hamed Gorjiara	Adding stack trace procedure	commit \| commitdiff \| tree
2019-06-27	Hamed Gorjiara	Infering the number of runs	commit \| commitdiff \| tree
2019-06-14	Hamed Gorjiara	Adding incremental to Java, C, and python APIs	commit \| commitdiff \| tree
2019-06-14	Hamed Gorjiara	Incremental solver works and the test case passes	commit \| commitdiff \| tree
2019-06-13	Hamed Gorjiara	Bug fixes for Java API + Exactly one constraints +...	commit \| commitdiff \| tree
2019-05-06	Hamed Gorjiara	Compatibility for SATCheck	commit \| commitdiff \| tree
2019-03-29	Hamed Gorjiara	Adding settings to usedsettings when tuner hits timeout	commit \| commitdiff \| tree
2019-03-29	Hamed Gorjiara	BUG FIX when there is no usedSettings	commit \| commitdiff \| tree
2019-03-26	Hamed Gorjiara	Bug fix for long array	commit \| commitdiff \| tree
2019-03-24	Hamed Gorjiara	Adding timeout for SATTune	commit \| commitdiff \| tree
2019-03-21	Hamed Gorjiara	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	commit \| commitdiff \| tree
2019-03-21	Hamed Gorjiara	commit after merge	commit \| commitdiff \| tree
2019-03-21	Hamed Gorjiara	Updating Java API	commit \| commitdiff \| tree
2019-03-21	Hamed Gorjiara	Bug Fix: when a tuner cannot solve any problems ...	commit \| commitdiff \| tree
2019-03-19	Hamed Gorjiara	Merge branch 'tuner' of ssh://demsky.eecs.uci.edu/home...	commit \| commitdiff \| tree
2019-03-19	Hamed Gorjiara	Java API for SATUNE	commit \| commitdiff \| tree
2019-03-19	Hamed Gorjiara	Adding checks to avoid further processing on UNSAT...	commit \| commitdiff \| tree
2019-03-19	Hamed Gorjiara	Adding more functions to C API	commit \| commitdiff \| tree
2019-03-04	Hamed Gorjiara	Java API for SATune ...	commit \| commitdiff \| tree
2019-02-25	Hamed Gorjiara	Run script for interpreters	commit \| commitdiff \| tree
2019-02-25	Hamed Gorjiara	Setting timeout for SMT test	commit \| commitdiff \| tree
2019-02-23	Hamed Gorjiara	bug fixes	commit \| commitdiff \| tree
2019-02-22	Hamed Gorjiara	Merging with Tuner branch	commit \| commitdiff \| tree
2019-02-21	Hamed Gorjiara	Adding SMTRat and MathSAT interpreters	commit \| commitdiff \| tree
2019-02-21	Hamed Gorjiara	Adding SMT Interpreters	commit \| commitdiff \| tree
2019-02-19	Hamed Gorjiara	renaming alloyenc to alloy interpreter	commit \| commitdiff \| tree
2019-02-19	Hamed Gorjiara	Interpreter abstraction and memory bug fixes	commit \| commitdiff \| tree
2019-02-11	Hamed Gorjiara	Adding timeout for Alloy interpreter	commit \| commitdiff \| tree
2019-02-07	Hamed Gorjiara	Calling alloy first when deserializing	commit \| commitdiff \| tree
2019-02-07	Hamed Gorjiara	turning of the optimizations when using alloy ...	commit \| commitdiff \| tree
2019-02-07	Hamed Gorjiara	1)core dump in regex for big strings 2) Boolean Var...	commit \| commitdiff \| tree
2019-01-29	Hamed Gorjiara	fixing alloy performance bugs	commit \| commitdiff \| tree
2019-01-25	Hamed Gorjiara	Adding support for ElementFunction	commit \| commitdiff \| tree
2019-01-23	Hamed Gorjiara	Adding Support for BooleanVar	commit \| commitdiff \| tree
2019-01-23	Hamed Gorjiara	Bug Fix: defining the scope of integer for Alloy	commit \| commitdiff \| tree
2019-01-22	Hamed Gorjiara	Initializing the ElementSig Value	commit \| commitdiff \| tree
2019-01-22	Hamed Gorjiara	Alloy interpreter	commit \| commitdiff \| tree
2019-01-04	Hamed Gorjiara	Adding Simulated Annealing Tuner ...	commit \| commitdiff \| tree
2018-12-20	Hamed Gorjiara	Breaking Multituner into comptuner and kmeanstuner	commit \| commitdiff \| tree
2018-12-19	Hamed Gorjiara	Changing the design by adding basic tuner	commit \| commitdiff \| tree
2018-12-17	Hamed Gorjiara	Automating log reporter system	commit \| commitdiff \| tree
2018-12-17	Hamed Gorjiara	Enriching the report description	commit \| commitdiff \| tree
2018-12-17	Hamed Gorjiara	Edit	commit \| commitdiff \| tree
2018-12-17	Hamed Gorjiara	Preprocess bug fix	commit \| commitdiff \| tree
2018-12-14	Hamed Gorjiara	Resolving conflicts	commit \| commitdiff \| tree
2018-12-14	Hamed Gorjiara	removing duplicates	commit \| commitdiff \| tree
2018-12-12	Hamed Gorjiara	Random Tuner	commit \| commitdiff \| tree
2018-12-07	Hamed Gorjiara	Bug fix ...	commit \| commitdiff \| tree
2018-12-07	Hamed Gorjiara	Bug fix ...	commit \| commitdiff \| tree
2018-12-06	Hamed Gorjiara	Merge branch 'tuner' of ssh://demsky.eecs.uci.edu/home...	commit \| commitdiff \| tree
2018-12-06	Hamed Gorjiara	Preprocessing check	commit \| commitdiff \| tree
2018-12-01	Hamed Gorjiara	Bug fix:duplicated tuners in explored array	commit \| commitdiff \| tree
2018-12-01	Hamed Gorjiara	avoiding repetitive tuner	commit \| commitdiff \| tree
2018-11-27	Hamed Gorjiara	Log Analyzer ...	commit \| commitdiff \| tree
2018-11-15	Hamed Gorjiara	Adding print tuner ...	commit \| commitdiff \| tree
2018-10-31	Hamed Gorjiara	edit	commit \| commitdiff \| tree
2018-10-31	Hamed Gorjiara	Serializing circuit encoding	commit \| commitdiff \| tree
2018-10-31	Hamed Gorjiara	memory bug fix	commit \| commitdiff \| tree
2018-10-30	Hamed Gorjiara	Merge branch 'tuner' of ssh://demsky.eecs.uci.edu/home...	commit \| commitdiff \| tree
2018-10-30	Hamed Gorjiara	Edit	commit \| commitdiff \| tree
2018-10-30	Hamed Gorjiara	Bug fix	commit \| commitdiff \| tree
2018-10-29	Hamed Gorjiara	Adding warning print in case the tuner cannot be loaded	commit \| commitdiff \| tree
2018-10-27	Hamed Gorjiara	Bug fix: deserializing the tunernumber ...	commit \| commitdiff \| tree
2018-10-25	Hamed Gorjiara	serializing the best tuners adding runbench.sh	commit \| commitdiff \| tree
2018-10-23	Hamed Gorjiara	fixing the heuristic for the BinaryIndex anyvalue constraints	commit \| commitdiff \| tree
2018-10-23	Hamed Gorjiara	Bug fix	commit \| commitdiff \| tree
2018-10-23	Hamed Gorjiara	Adding the missing bug fix for the merge heuristic ...	commit \| commitdiff \| tree
2018-10-22	Hamed Gorjiara	Bug fix: Droping the log from the anyvalue heuristic...	commit \| commitdiff \| tree
2018-10-21	Hamed Gorjiara	Fixing the anyvalue heuristic for binaryIndex	commit \| commitdiff \| tree
2018-10-20	Hamed Gorjiara	Finding the 3 best tuners after the learning process	commit \| commitdiff \| tree
next

SATune Repository

RSS Atom