Programming Languages Research Group: Git - satune.git/history

[satune.git] / src / Backend / satencoder.c

2017-08-22	Hamed	After merging with master branch ...	blob \| commitdiff \| raw
2017-08-22	bdemsky	Add option to optimize edges in final encoding	blob \| commitdiff \| raw
2017-08-17	bdemsky	Move constraints to set	blob \| commitdiff \| raw \| diff to current
2017-08-17	bdemsky	Merge branch 'hamed'	blob \| commitdiff \| raw \| diff to current
2017-08-17	bdemsky	Big Tabbing Change	blob \| commitdiff \| raw \| diff to current
2017-07-20	Hamed	breaking functionencoding to different files	blob \| commitdiff \| raw \| diff to current
2017-07-18	Hamed	Adding a elemconst testcase + its bug fixe	blob \| commitdiff \| raw \| diff to current
2017-07-13	Hamed	Fixing the testcase bug	blob \| commitdiff \| raw \| diff to current
2017-07-12	bdemsky	Add OneHot Encoding	blob \| commitdiff \| raw \| diff to current
2017-07-12	bdemsky	Small edits	blob \| commitdiff \| raw \| diff to current
2017-07-12	Hamed	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2017-07-12	bdemsky	Get rid of functions returning Edges	blob \| commitdiff \| raw \| diff to current
2017-07-11	bdemsky	Split functions into separate file	blob \| commitdiff \| raw \| diff to current
2017-07-11	bdemsky	Split encoder into more files	blob \| commitdiff \| raw \| diff to current
2017-07-11	bdemsky	edits	blob \| commitdiff \| raw \| diff to current
2017-07-11	bdemsky	Rewrite function operator code	blob \| commitdiff \| raw \| diff to current
2017-07-11	bdemsky	Add support for some other operators	blob \| commitdiff \| raw \| diff to current
2017-07-11	Hamed	Fixing bugs + renaming ...	blob \| commitdiff \| raw \| diff to current
2017-07-11	Hamed	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2017-07-11	Hamed	Adding a general function for encoding elements	blob \| commitdiff \| raw \| diff to current
2017-07-11	bdemsky	Renaming	blob \| commitdiff \| raw \| diff to current
2017-07-11	bdemsky	Fix conflict	blob \| commitdiff \| raw \| diff to current
2017-07-11	bdemsky	Minor formatting issues	blob \| commitdiff \| raw \| diff to current
2017-07-11	Hamed	Fixing bugs + resolving conflicts	blob \| commitdiff \| raw \| diff to current
2017-07-11	Hamed	Fixing more bugs in generating constraint and getting...	blob \| commitdiff \| raw \| diff to current
2017-07-11	bdemsky	Comments for Hamed	blob \| commitdiff \| raw \| diff to current
2017-07-11	bdemsky	Merge branch 'master' into brian	blob \| commitdiff \| raw \| diff to current
2017-07-11	bdemsky	edits	blob \| commitdiff \| raw \| diff to current
2017-07-11	bdemsky	It compiles	blob \| commitdiff \| raw \| diff to current
2017-07-11	bdemsky	Merge branch 'hamed' into brian	blob \| commitdiff \| raw \| diff to current
2017-07-11	bdemsky	Fix some of the memory leaks	blob \| commitdiff \| raw \| diff to current
2017-07-10	Hamed	fixing more bugs ...	blob \| commitdiff \| raw \| diff to current
2017-07-10	Hamed	Merge branch 'brian' of ssh://demsky.eecs.uci.edu/home...	blob \| commitdiff \| raw \| diff to current
2017-07-10	Hamed	Merge branch 'brian' of ssh://demsky.eecs.uci.edu/home...	blob \| commitdiff \| raw \| diff to current
2017-07-10	Hamed	Integrating with sat_solver ...	blob \| commitdiff \| raw \| diff to current
2017-07-09	bdemsky	merge	blob \| commitdiff \| raw \| diff to current
2017-07-08	Hamed	Fixing more bugs	blob \| commitdiff \| raw \| diff to current
2017-07-07	Hamed	Fixing more bugs regarding generating constraint variab...	blob \| commitdiff \| raw \| diff to current
2017-07-07	Hamed	Fixing ASSERT statement bugs	blob \| commitdiff \| raw \| diff to current
2017-07-06	Hamed	Adding function operator handler+ omitting some redunda...	blob \| commitdiff \| raw \| diff to current
2017-07-06	bdemsky	Merge branch 'hamed' into brian	blob \| commitdiff \| raw \| diff to current
2017-07-05	bdemsky	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	blob \| commitdiff \| raw \| diff to current
2017-07-05	bdemsky	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	blob \| commitdiff \| raw \| diff to current
2017-07-04	Hamed	Fixing some bugs	blob \| commitdiff \| raw \| diff to current
2017-07-03	bdemsky	more bug fixes, think this should work	blob \| commitdiff \| raw \| diff to current
2017-07-03	bdemsky	Merge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...	blob \| commitdiff \| raw \| diff to current
2017-07-03	bdemsky	some bug fixes	blob \| commitdiff \| raw \| diff to current
2017-07-03	Hamed	Adding predicateOperator (equality operation ...)	blob \| commitdiff \| raw \| diff to current
2017-07-03	Hamed	Adding table-based implementation of predicates and...	blob \| commitdiff \| raw \| diff to current
2017-07-02	Hamed	New approach for Total Order	blob \| commitdiff \| raw \| diff to current
2017-07-01	Hamed	After resolving conflicts ...	blob \| commitdiff \| raw \| diff to current
2017-06-30	Hamed	Starting predicates ...	blob \| commitdiff \| raw \| diff to current
2017-06-30	bdemsky	Get rid of annoying errors and fix crazy hash function	blob \| commitdiff \| raw \| diff to current
2017-06-30	Hamed	fixing some bugs ...	blob \| commitdiff \| raw \| diff to current
2017-06-30	Hamed	Fixing the constraint. Adding predicateTable	blob \| commitdiff \| raw \| diff to current
2017-06-29	Hamed	getting two of FIXMEs fixed	blob \| commitdiff \| raw \| diff to current
2017-06-29	Hamed	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2017-06-29	bdemsky	Add some comments for Hamed	blob \| commitdiff \| raw \| diff to current
2017-06-29	bdemsky	Fix encoding bug and fix misconception of how memory...	blob \| commitdiff \| raw \| diff to current
2017-06-29	Hamed	Fixing some bugs, using InUseArray, and completing...	blob \| commitdiff \| raw \| diff to current
2017-06-28	Hamed	Generating constraints for BooleanOrder	blob \| commitdiff \| raw \| diff to current
2017-06-28	Hamed	Fix some bugs, Moving backend codes to SATEncoder	blob \| commitdiff \| raw \| diff to current
2017-06-23	Hamed	Resolving Conflicts ... Still there're errors that...	blob \| commitdiff \| raw \| diff to current
2017-06-22	bdemsky	Add array object to standardize arrays	blob \| commitdiff \| raw \| diff to current
2017-06-21	bdemsky	Be consistent	blob \| commitdiff \| raw \| diff to current
2017-06-21	bdemsky	get rid of warnings	blob \| commitdiff \| raw \| diff to current
2017-06-21	bdemsky	edits	blob \| commitdiff \| raw \| diff to current
2017-06-20	Hamed	Commit after resolving conflicts	blob \| commitdiff \| raw \| diff to current
2017-06-20	bdemsky	Remove COMPARE from backend in anticipation of AST...	blob \| commitdiff \| raw \| diff to current
2017-06-20	bdemsky	More SAT Encoder	blob \| commitdiff \| raw \| diff to current
2017-06-20	bdemsky	Fix warnings, merge, and check my code in	blob \| commitdiff \| raw \| diff to current
2017-06-20	bdemsky	edits	blob \| commitdiff \| raw \| diff to current
2017-06-19	bdemsky	Edits	blob \| commitdiff \| raw \| diff to current
2017-06-19	bdemsky	Changes	blob \| commitdiff \| raw \| diff to current

SATune Repository

RSS Atom