Programming Languages Research Group: Git

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
2018-10-20	Hamed Gorjiara	Monitoring the deserializerun	commit \| commitdiff \| tree
2018-10-20	Hamed Gorjiara	Script for monitoring the tuner ...	commit \| commitdiff \| tree
2018-10-18	Hamed Gorjiara	Bug fix for tuner timeout	commit \| commitdiff \| tree
2018-10-18	Hamed Gorjiara	Bug fix: besttime for each problem	commit \| commitdiff \| tree
2018-10-18	Hamed Gorjiara	Using LOG instead of DEBUG	commit \| commitdiff \| tree
2018-10-18	Hamed Gorjiara	Adding a new server to deploy.sh	commit \| commitdiff \| tree
2018-10-18	Hamed Gorjiara	Adoptive timeout ...	commit \| commitdiff \| tree
2018-10-17	Hamed Gorjiara	Edit	commit \| commitdiff \| tree
2018-10-17	Hamed Gorjiara	making logs more readable	commit \| commitdiff \| tree
2018-10-17	Hamed Gorjiara	Merge branch 'tuner' of ssh://demsky.eecs.uci.edu/home...	commit \| commitdiff \| tree
2018-10-17	Hamed Gorjiara	Using LOG instead of DEBUG	commit \| commitdiff \| tree
2018-10-17	Hamed Gorjiara	Merging with Brian's commits ...	commit \| commitdiff \| tree
2018-10-17	Hamed Gorjiara	Bug fixes and print statements	commit \| commitdiff \| tree
2018-10-16	Hamed Gorjiara	Merge branch 'tuner' of ssh://demsky.eecs.uci.edu/home...	commit \| commitdiff \| tree
2018-10-16	Hamed Gorjiara	Adding the new tunable to the print function	commit \| commitdiff \| tree
2018-10-12	Hamed Gorjiara	Boolean Variable Ordering optimizations	commit \| commitdiff \| tree
2018-10-06	Hamed Gorjiara	Considering dependency among Tunable Settings in the...	commit \| commitdiff \| tree
2018-10-04	Hamed Gorjiara	Bug fix for serializing Boolean Const ...	commit \| commitdiff \| tree
2018-10-04	Hamed Gorjiara	Parser for the tuner's log file	commit \| commitdiff \| tree
2018-10-04	Hamed Gorjiara	Adding a directed search based config for the tuner	commit \| commitdiff \| tree
2018-10-03	Hamed Gorjiara	Bug fix for mustHaveValue tuning parameter	commit \| commitdiff \| tree
2018-10-03	Hamed Gorjiara	Adding the learning script	commit \| commitdiff \| tree
2018-10-02	Hamed Gorjiara	Merge scratch with master branch	commit \| commitdiff \| tree
2018-10-02	Hamed Gorjiara	Correcting the autotuner timeout	commit \| commitdiff \| tree
2018-09-29	Hamed Gorjiara	1)Making naiveencoder and encoding graph use tuner...	commit \| commitdiff \| tree
2018-09-24	Hamed Gorjiara	Merging with branch scratch and cleaning the code	commit \| commitdiff \| tree
2018-09-22	Hamed Gorjiara	Bug fix in merge heuristic	commit \| commitdiff \| tree
2018-09-21	Hamed Gorjiara	Commiting my local changes ...	commit \| commitdiff \| tree
2018-09-13	Hamed Gorjiara	Adding a variable for counting the number of clauses	commit \| commitdiff \| tree
2018-09-12	Hamed Gorjiara	Refactoring ...	commit \| commitdiff \| tree
2018-09-12	Hamed Gorjiara	Bug fix for the tuner: missing mustHaveValue constraints	commit \| commitdiff \| tree
2018-09-07	Hamed Gorjiara	Fixing the memory bug	commit \| commitdiff \| tree
2018-09-06	Hamed Gorjiara	bug fix for deploy script	commit \| commitdiff \| tree
2018-09-06	Hamed Gorjiara	Adding assertions, info logs, and validation functions...	commit \| commitdiff \| tree
2018-09-06	Hamed Gorjiara	Bug fix: overflow in compiler automatic static casting	commit \| commitdiff \| tree
2018-09-06	Hamed Gorjiara	Bug fix in encoding subgraph DFS algorithm	commit \| commitdiff \| tree
2018-08-27	Hamed Gorjiara	after merge (mostly tabbing issues)	commit \| commitdiff \| tree
2018-08-17	Hamed Gorjiara	Saving the best tuner settings + bug fixes	commit \| commitdiff \| tree
2018-08-15	Hamed Gorjiara	Deploy script ...	commit \| commitdiff \| tree
2018-08-13	Hamed Gorjiara	Cleaning up the unnecessary warnings	commit \| commitdiff \| tree
2018-08-05	Hamed Gorjiara	Bug fix	commit \| commitdiff \| tree
2018-08-03	Hamed Gorjiara	Adding clone API in pycsolver ...	commit \| commitdiff \| tree
2018-08-02	Hamed Gorjiara	Merge branch 'hamed' of ssh://demsky.eecs.uci.edu/home...	commit \| commitdiff \| tree
2018-08-02	Hamed Gorjiara	Bug fix for printing ...	commit \| commitdiff \| tree
2018-08-02	Hamed Gorjiara	Refactoring ...	commit \| commitdiff \| tree
2018-08-02	Hamed Gorjiara	revealing a new bug	commit \| commitdiff \| tree
2018-08-01	Hamed Gorjiara	Merge branch 'hamed' of ssh://demsky.eecs.uci.edu/home...	commit \| commitdiff \| tree
2018-08-01	Hamed Gorjiara	Adding a python API for mustHaveValue abstraction	commit \| commitdiff \| tree
2018-07-27	Hamed Gorjiara	checking the the variable isn't constant in generating...	commit \| commitdiff \| tree
2018-07-27	Hamed Gorjiara	Now the Tuner decides about creating proxy variables	commit \| commitdiff \| tree
next

SATune Repository

RSS Atom