Programming Languages Research Group: Git

2020-09-08	Hamed Gorjiara	Scripts for analysing logs to compute learning time	commit \| commitdiff \| tree
2020-09-06	Hamed Gorjiara	Serialize ID API	commit \| commitdiff \| tree
2020-09-02	Hamed Gorjiara	onehot commander encoding	commit \| commitdiff \| tree
2020-08-30	Hamed Gorjiara	Learning time	commit \| commitdiff \| tree
2020-08-28	Hamed Gorjiara	Resetting learning config	commit \| commitdiff \| tree
2020-08-27	Hamed Gorjiara	Edits	commit \| commitdiff \| tree
2020-08-27	Hamed Gorjiara	Supporting at-most-one constraint for One Hot encoding	commit \| commitdiff \| tree
2020-04-28	Hamed Gorjiara	adding more info to element encoding print function	commit \| commitdiff \| tree
2020-04-28	Hamed Gorjiara	Fixing bug for freezing variables for encodings other...	commit \| commitdiff \| tree
2019-12-05	Hamed Gorjiara	using negative scores when error happens	commit \| commitdiff \| tree
2019-12-04	Hamed Gorjiara	moving the dump file into the binary folder in remote...	commit \| commitdiff \| tree
2019-11-22	Hamed Gorjiara	Bug fix: typos	commit \| commitdiff \| tree
2019-11-22	Hamed Gorjiara	Bug fix: consider the cases when the tuner gets timeout	commit \| commitdiff \| tree
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
next

SATune Repository

RSS Atom