Programming Languages Research Group: Git

2018-05-09	Hamed Gorjiara	Removing extra constraints for the unary encoding	commit \| commitdiff \| tree \| snapshot
2018-05-08	Hamed Gorjiara	making the qsort deterministic for BooleanEdge	commit \| commitdiff \| tree \| snapshot
2018-05-08	Hamed Gorjiara	Adding a new abstraction for elements: must have value	commit \| commitdiff \| tree \| snapshot
2018-05-03	Hamed Gorjiara	Bug fix for cloning ...	commit \| commitdiff \| tree \| snapshot
2018-05-01	Hamed Gorjiara	reverting unnecessary changes in clone	commit \| commitdiff \| tree \| snapshot
2018-04-30	Hamed Gorjiara	bug fixes for cloning and encodinggraph	commit \| commitdiff \| tree \| snapshot
2018-04-28	Hamed Gorjiara	Fixing autoTuner's bug + making logs more legible	commit \| commitdiff \| tree \| snapshot
2018-04-25	Hamed Gorjiara	Fixing memory buggit status	commit \| commitdiff \| tree \| snapshot
2018-04-18	Hamed Gorjiara	Adding python api for serilizing + performance improvem...	commit \| commitdiff \| tree \| snapshot
2018-04-13	Hamed Gorjiara	Adding benchmarks	commit \| commitdiff \| tree \| snapshot
2018-04-12	Hamed Gorjiara	Adding logicOps and Compop in python API	commit \| commitdiff \| tree \| snapshot
2018-04-11	Hamed Gorjiara	Completing the python wrapper + editing the c APIs	commit \| commitdiff \| tree \| snapshot
2018-04-11	Hamed Gorjiara	Adding the python wrapper for the constraint solver	commit \| commitdiff \| tree \| snapshot
2018-04-10	Hamed Gorjiara	Adding the c wrapper for CSolver	commit \| commitdiff \| tree \| snapshot
2018-02-09	Hamed Gorjiara	Bug Fixes	commit \| commitdiff \| tree \| snapshot
2018-02-01	Hamed Gorjiara	edit	commit \| commitdiff \| tree \| snapshot
2018-01-23	Hamed Gorjiara	Resolving conflicts after merging with altgen	commit \| commitdiff \| tree \| snapshot
2018-01-23	Hamed Gorjiara	Adding more checks ...	commit \| commitdiff \| tree \| snapshot
2018-01-19	Brian Demsky	Improve libc support	commit \| commitdiff \| tree \| snapshot
2018-01-14	Brian Demsky	Use smarter splitting heuristic	commit \| commitdiff \| tree \| snapshot
2018-01-14	bdemsky	Edits	commit \| commitdiff \| tree \| snapshot
2018-01-11	bdemsky	Bug fixes	commit \| commitdiff \| tree \| snapshot
2018-01-10	Brian Demsky	Runs	commit \| commitdiff \| tree \| snapshot
2018-01-09	Hamed Gorjiara	commit after merge	commit \| commitdiff \| tree \| snapshot
2018-01-08	Brian Demsky	edits	commit \| commitdiff \| tree \| snapshot
2018-01-08	Hamed Gorjiara	resetting the solver	commit \| commitdiff \| tree \| snapshot
2018-01-06	Brian Demsky	Reduce unnecessary vector alloc/free	commit \| commitdiff \| tree \| snapshot
2018-01-05	Brian Demsky	Bug fixes	commit \| commitdiff \| tree \| snapshot
2017-12-31	Brian Demsky	bug fixes	commit \| commitdiff \| tree \| snapshot
2017-11-27	Hamed Gorjiara	Adding reset to the solver	commit \| commitdiff \| tree \| snapshot
2017-11-22	Hamed Gorjiara	Fixing the performance bug	commit \| commitdiff \| tree \| snapshot
2017-11-02	Hamed Gorjiara	Fixing serialization bug caused by git automerge	commit \| commitdiff \| tree \| snapshot
2017-11-02	Hamed Gorjiara	Merging with master	commit \| commitdiff \| tree \| snapshot
2017-11-02	Hamed Gorjiara	Bug fix for serializer + adding more debug info inr...	commit \| commitdiff \| tree \| snapshot
2017-11-02	bdemsky	bug fix	commit \| commitdiff \| tree \| snapshot
2017-10-25	Hamed Gorjiara	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	commit \| commitdiff \| tree \| snapshot
2017-10-25	Hamed Gorjiara	git rid of SATCHECK_CONFIG micro	commit \| commitdiff \| tree \| snapshot
2017-10-24	bdemsky	Add timing statements	commit \| commitdiff \| tree \| snapshot
2017-10-24	bdemsky	My changes	commit \| commitdiff \| tree \| snapshot
2017-10-24	bdemsky	Switch default	commit \| commitdiff \| tree \| snapshot
2017-10-24	bdemsky	fix some warnings	commit \| commitdiff \| tree \| snapshot
2017-10-24	bdemsky	Autotuner test case	commit \| commitdiff \| tree \| snapshot
2017-10-24	bdemsky	Improve hash function to fix collision problem	commit \| commitdiff \| tree \| snapshot
2017-10-24	bdemsky	Add new test cases plus buffer serialization code	commit \| commitdiff \| tree \| snapshot
2017-10-23	bdemsky	Fix bugs	commit \| commitdiff \| tree \| snapshot
2017-10-23	bdemsky	Edits	commit \| commitdiff \| tree \| snapshot
2017-10-23	bdemsky	Merge	commit \| commitdiff \| tree \| snapshot
2017-10-23	bdemsky	Bug fix	commit \| commitdiff \| tree \| snapshot
2017-10-23	Hamed Gorjiara	After resolving conflicts ..	commit \| commitdiff \| tree \| snapshot
2017-10-23	Hamed Gorjiara	More bug fix	commit \| commitdiff \| tree \| snapshot
2017-10-23	Hamed Gorjiara	Bug fix	commit \| commitdiff \| tree \| snapshot
2017-10-23	Hamed Gorjiara	Adding a new testcase ... -Shows bugs that need to...	commit \| commitdiff \| tree \| snapshot
2017-10-23	Hamed Gorjiara	Adding SATCHECK_CONFIG to make switching easier ...	commit \| commitdiff \| tree \| snapshot
2017-10-23	Hamed Gorjiara	After resolving conflicts	commit \| commitdiff \| tree \| snapshot
2017-10-23	bdemsky	Edits	commit \| commitdiff \| tree \| snapshot
2017-10-22	bdemsky	Remove print line	commit \| commitdiff \| tree \| snapshot
2017-10-22	bdemsky	Bug fixes	commit \| commitdiff \| tree \| snapshot
2017-10-22	bdemsky	More edits	commit \| commitdiff \| tree \| snapshot
2017-10-22	Hamed Gorjiara	adding config for model_print	commit \| commitdiff \| tree \| snapshot
2017-10-22	bdemsky	Add serialize back to the test case	commit \| commitdiff \| tree \| snapshot
2017-10-22	bdemsky	tabbing	commit \| commitdiff \| tree \| snapshot
2017-10-22	bdemsky	New Resolver Design for Decompose Order	commit \| commitdiff \| tree \| snapshot
2017-10-21	bdemsky	New Resolver Strategy	commit \| commitdiff \| tree \| snapshot
2017-10-21	bdemsky	edits	commit \| commitdiff \| tree \| snapshot
2017-10-21	bdemsky	Fix bug regarding order translation for removed nodes	commit \| commitdiff \| tree \| snapshot
2017-10-20	bdemsky	Fix some memory leaks	commit \| commitdiff \| tree \| snapshot
2017-10-20	Hamed Gorjiara	Fixing bugs ...	commit \| commitdiff \| tree \| snapshot
2017-10-20	bdemsky	Off by 1 bug	commit \| commitdiff \| tree \| snapshot
2017-10-20	bdemsky	Add test cases	commit \| commitdiff \| tree \| snapshot
2017-10-19	bdemsky	Bug fix for removing must edges...They also need to...	commit \| commitdiff \| tree \| snapshot
2017-10-19	bdemsky	Bug fix	commit \| commitdiff \| tree \| snapshot
2017-10-18	bdemsky	Fix tabbing	commit \| commitdiff \| tree \| snapshot
2017-10-18	bdemsky	Edits to merge	commit \| commitdiff \| tree \| snapshot
2017-10-18	bdemsky	Bug fix	commit \| commitdiff \| tree \| snapshot
2017-10-18	bdemsky	Minimize test case	commit \| commitdiff \| tree \| snapshot
2017-10-18	bdemsky	Correct test case	commit \| commitdiff \| tree \| snapshot
2017-10-17	Hamed Gorjiara	new test case	commit \| commitdiff \| tree \| snapshot
2017-10-17	Hamed Gorjiara	Bug Fixes + add more tracing prints + turning off some...	commit \| commitdiff \| tree \| snapshot
2017-09-29	Hamed Gorjiara	Fixing missing changes	commit \| commitdiff \| tree \| snapshot
2017-09-29	Hamed Gorjiara	Fixing missing changes	commit \| commitdiff \| tree \| snapshot
2017-09-29	Hamed Gorjiara	Adding pring option for AST	commit \| commitdiff \| tree \| snapshot
2017-09-21	bdemsky	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	commit \| commitdiff \| tree \| snapshot
2017-09-21	bdemsky	Bug patches	commit \| commitdiff \| tree \| snapshot
2017-09-20	Hamed	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	commit \| commitdiff \| tree \| snapshot
2017-09-20	bdemsky	Another bug fix	commit \| commitdiff \| tree \| snapshot
2017-09-20	bdemsky	Bug fixes	commit \| commitdiff \| tree \| snapshot
2017-09-20	bdemsky	Bug fix	commit \| commitdiff \| tree \| snapshot
2017-09-20	Hamed	Adding APIs needed	commit \| commitdiff \| tree \| snapshot
2017-09-20	bdemsky	backout changes	commit \| commitdiff \| tree \| snapshot
2017-09-20	bdemsky	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	commit \| commitdiff \| tree \| snapshot
2017-09-20	bdemsky	edits	commit \| commitdiff \| tree \| snapshot
2017-09-19	bdemsky	edits	commit \| commitdiff \| tree \| snapshot
2017-09-19	Hamed	merge to branch master	commit \| commitdiff \| tree \| snapshot
2017-09-19	Hamed	Fixing header bugs	commit \| commitdiff \| tree \| snapshot
2017-09-19	bdemsky	More code	commit \| commitdiff \| tree \| snapshot
2017-09-19	bdemsky	More code	commit \| commitdiff \| tree \| snapshot
2017-09-18	bdemsky	Merge	commit \| commitdiff \| tree \| snapshot
2017-09-18	bdemsky	edits	commit \| commitdiff \| tree \| snapshot
2017-09-15	Hamed	Adding an API for finalizing MutableSet	commit \| commitdiff \| tree \| snapshot
2017-09-15	Hamed	retrieving back the addItem for mutableSet (needed...	commit \| commitdiff \| tree \| snapshot
next

SATune Repository

RSS Atom