Programming Languages Research Group: Git

2018-10-13	Hamed Gorjiara	Boolean Variable Ordering optimizations	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
2018-07-26	Hamed Gorjiara	Warning message when value of element is undefined...	commit \| commitdiff \| tree
2018-07-19	Hamed Gorjiara	Merge branch 'hamed' of ssh://demsky.eecs.uci.edu/home...	commit \| commitdiff \| tree
2018-07-19	Hamed Gorjiara	edit	commit \| commitdiff \| tree
2018-07-19	Hamed Gorjiara	Revert "Having the benchmarks as a new repo"	commit \| commitdiff \| tree
2018-07-19	Hamed Gorjiara	Having the benchmarks as a new repo	commit \| commitdiff \| tree
2018-07-18	Hamed Gorjiara	Bug fix for polarity assignment	commit \| commitdiff \| tree
2018-07-18	Hamed Gorjiara	edit	commit \| commitdiff \| tree
2018-07-18	Hamed Gorjiara	Merge branch 'hamed' of ssh://demsky.eecs.uci.edu/home...	commit \| commitdiff \| tree
2018-05-09	Hamed Gorjiara	Removing extra constraints for the unary encoding	commit \| commitdiff \| tree
2018-05-08	Hamed Gorjiara	making the qsort deterministic for BooleanEdge	commit \| commitdiff \| tree
2018-05-08	Hamed Gorjiara	Adding a new abstraction for elements: must have value	commit \| commitdiff \| tree
2018-05-03	Hamed Gorjiara	Bug fix for cloning ...	commit \| commitdiff \| tree
2018-05-01	Hamed Gorjiara	reverting unnecessary changes in clone	commit \| commitdiff \| tree
2018-04-30	Hamed Gorjiara	bug fixes for cloning and encodinggraph	commit \| commitdiff \| tree
2018-04-28	Hamed Gorjiara	Fixing autoTuner's bug + making logs more legible	commit \| commitdiff \| tree
2018-04-25	Hamed Gorjiara	Fixing memory buggit status	commit \| commitdiff \| tree
2018-04-18	Hamed Gorjiara	Adding python api for serilizing + performance improvement...	commit \| commitdiff \| tree
2018-04-13	Hamed Gorjiara	Adding benchmarks	commit \| commitdiff \| tree
2018-04-12	Hamed Gorjiara	Adding logicOps and Compop in python API	commit \| commitdiff \| tree
2018-04-11	Hamed Gorjiara	Completing the python wrapper + editing the c APIs	commit \| commitdiff \| tree
2018-04-11	Hamed Gorjiara	Adding the python wrapper for the constraint solver	commit \| commitdiff \| tree
2018-04-10	Hamed Gorjiara	Adding the c wrapper for CSolver	commit \| commitdiff \| tree
2018-02-09	Hamed Gorjiara	Bug Fixes	commit \| commitdiff \| tree
2018-02-01	Hamed Gorjiara	edit	commit \| commitdiff \| tree
2018-01-23	Hamed Gorjiara	Resolving conflicts after merging with altgen	commit \| commitdiff \| tree
2018-01-23	Hamed Gorjiara	Adding more checks ...	commit \| commitdiff \| tree
2018-01-09	Hamed Gorjiara	commit after merge	commit \| commitdiff \| tree
2018-01-08	Hamed Gorjiara	resetting the solver	commit \| commitdiff \| tree
2017-11-27	Hamed Gorjiara	Adding reset to the solver	commit \| commitdiff \| tree
2017-11-22	Hamed Gorjiara	Fixing the performance bug	commit \| commitdiff \| tree
2017-11-02	Hamed Gorjiara	Fixing serialization bug caused by git automerge	commit \| commitdiff \| tree
2017-11-02	Hamed Gorjiara	Merging with master	commit \| commitdiff \| tree
2017-11-02	Hamed Gorjiara	Bug fix for serializer + adding more debug info inr...	commit \| commitdiff \| tree
2017-10-25	Hamed Gorjiara	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	commit \| commitdiff \| tree
2017-10-25	Hamed Gorjiara	git rid of SATCHECK_CONFIG micro	commit \| commitdiff \| tree
2017-10-23	Hamed Gorjiara	After resolving conflicts ..	commit \| commitdiff \| tree
2017-10-23	Hamed Gorjiara	More bug fix	commit \| commitdiff \| tree
2017-10-23	Hamed Gorjiara	Bug fix	commit \| commitdiff \| tree
2017-10-23	Hamed Gorjiara	Adding a new testcase ... -Shows bugs that need to...	commit \| commitdiff \| tree
2017-10-23	Hamed Gorjiara	Adding SATCHECK_CONFIG to make switching easier ...	commit \| commitdiff \| tree
2017-10-23	Hamed Gorjiara	After resolving conflicts	commit \| commitdiff \| tree
2017-10-22	Hamed Gorjiara	adding config for model_print	commit \| commitdiff \| tree
2017-10-20	Hamed Gorjiara	Fixing bugs ...	commit \| commitdiff \| tree
2017-10-17	Hamed Gorjiara	new test case	commit \| commitdiff \| tree
2017-10-17	Hamed Gorjiara	Bug Fixes + add more tracing prints + turning off some...	commit \| commitdiff \| tree
2017-09-29	Hamed Gorjiara	Fixing missing changes	commit \| commitdiff \| tree
2017-09-29	Hamed Gorjiara	Fixing missing changes	commit \| commitdiff \| tree
2017-09-29	Hamed Gorjiara	Adding pring option for AST	commit \| commitdiff \| tree
2017-05-29	Hamed Gorjiara	Adding .gitignore	commit \| commitdiff \| tree

SATune Repository

RSS Atom