Programming Languages Research Group: Git - cdsspec-compiler.git/shortlog

projects / cdsspec-compiler.git / shortlog

2013-10-15	Peizhao Ou	parser checked	commit \| commitdiff \| tree \| snapshot
2013-10-14	Peizhao Ou	add more parsing	commit \| commitdiff \| tree \| snapshot
2013-10-11	Peizhao Ou	parsing passed	commit \| commitdiff \| tree \| snapshot
2013-10-11	Peizhao Ou	add more, GlobalConstruct parsed	commit \| commitdiff \| tree \| snapshot
2013-10-11	Peizhao Ou	parsing basically works	commit \| commitdiff \| tree \| snapshot
2013-10-10	Peizhao Ou	add more to spec-compiler.jj	commit \| commitdiff \| tree \| snapshot
2013-10-10	Peizhao Ou	add more & need C/C++ code recognition	commit \| commitdiff \| tree \| snapshot
2013-10-10	Peizhao Ou	SpecExtractor.java seems to work	commit \| commitdiff \| tree \| snapshot
2013-10-10	Peizhao Ou	need to fixed SpecExtractor.java	commit \| commitdiff \| tree \| snapshot
2013-10-10	Peizhao Ou	extracting spec & compiling	commit \| commitdiff \| tree \| snapshot
2013-10-09	Peizhao Ou	clean the auto-generated files	commit \| commitdiff \| tree \| snapshot
2013-10-09	Peizhao Ou	add more more spec-compiler.jj	commit \| commitdiff \| tree \| snapshot
2013-10-09	Peizhao Ou	add setup-env.sh	commit \| commitdiff \| tree \| snapshot
2013-10-09	Peizhao Ou	add more stuff to spec-compiler.jj	commit \| commitdiff \| tree \| snapshot
2013-10-09	Peizhao Ou	clean	commit \| commitdiff \| tree \| snapshot
2013-10-08	Peizhao Ou	using javacc to compile	commit \| commitdiff \| tree \| snapshot
2013-10-08	Peizhao Ou	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	commit \| commitdiff \| tree \| snapshot
2013-10-08	Peizhao Ou	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	commit \| commitdiff \| tree \| snapshot
2013-10-08	Peizhao Ou	new repo structure	commit \| commitdiff \| tree \| snapshot
2013-10-08	Peizhao Ou	src structure	commit \| commitdiff \| tree \| snapshot
2013-10-08	Peizhao Ou	modification	commit \| commitdiff \| tree \| snapshot
2013-10-08	Peizhao Ou	initializing the repo	commit \| commitdiff \| tree \| snapshot
2013-09-26	Brian Demsky	Add support for annotations	commit \| commitdiff \| tree \| snapshot
2013-09-04	Brian Norris	Merge remote-tracking branch 'origin/master'	commit \| commitdiff \| tree \| snapshot
2013-09-04	Brian Norris	run.sh: support running from a different directory	commit \| commitdiff \| tree \| snapshot
2013-08-15	Brian Norris	README.md: use HTML URL, not PHP	commit \| commitdiff \| tree \| snapshot
2013-08-14	Brian Norris	README.md: move copyright down	commit \| commitdiff \| tree \| snapshot
2013-08-14	Brian Norris	README.md: add detail for benchmarks	commit \| commitdiff \| tree \| snapshot
2013-08-14	Brian Norris	README.md: improve wording	commit \| commitdiff \| tree \| snapshot
2013-08-14	Brian Norris	README.md: add more fairness notes	commit \| commitdiff \| tree \| snapshot
2013-08-14	Brian Norris	Makefile: add README.pdf target	commit \| commitdiff \| tree \| snapshot
2013-08-14	Brian Norris	README.md: remove <pre></pre> tags	commit \| commitdiff \| tree \| snapshot
2013-08-14	Brian Norris	threads: kill clang warnings about struct/class Thread	commit \| commitdiff \| tree \| snapshot
2013-08-14	Brian Norris	malloc: modify compiler warning workarounds	commit \| commitdiff \| tree \| snapshot
2013-08-14	Brian Norris	impatomic: silence more clang warnings	commit \| commitdiff \| tree \| snapshot
2013-08-14	Brian Norris	test: silence some unused-value warnings	commit \| commitdiff \| tree \| snapshot
2013-08-14	Brian Norris	README.md: have to include our headers	commit \| commitdiff \| tree \| snapshot
2013-08-14	Brian Norris	README.md: reverse store/load	commit \| commitdiff \| tree \| snapshot
2013-08-14	Brian Norris	README.md: add supported API section	commit \| commitdiff \| tree \| snapshot
2013-08-14	Brian Norris	README.md: add End of Execution Summary section	commit \| commitdiff \| tree \| snapshot
2013-08-14	Brian Norris	README.md: reporting multiple data races for the same...	commit \| commitdiff \| tree \| snapshot
2013-08-14	Brian Norris	model: only print 'Total nodes' for verbose printing	commit \| commitdiff \| tree \| snapshot
2013-08-14	Brian Norris	README.md: reformat	commit \| commitdiff \| tree \| snapshot
2013-08-14	Brian Norris	README.md: add linux locks example	commit \| commitdiff \| tree \| snapshot
2013-08-14	Brian Norris	README.md: update title	commit \| commitdiff \| tree \| snapshot
2013-08-14	Brian Norris	README.md: point non-git users to gitweb	commit \| commitdiff \| tree \| snapshot
2013-08-13	Brian Norris	README.md: push URLs down to See Also section	commit \| commitdiff \| tree \| snapshot
2013-08-13	Brian Norris	README.md: add extra blank lines	commit \| commitdiff \| tree \| snapshot
2013-08-13	Brian Norris	README.md: update much of the README	commit \| commitdiff \| tree \| snapshot
2013-08-13	Brian Norris	main: suggest thrd_yield() for -y fairness	commit \| commitdiff \| tree \| snapshot
2013-08-13	Brian Norris	run.sh: set Mac OSX DYLD_LIBRARY_PATH	commit \| commitdiff \| tree \| snapshot
2013-08-13	Brian Norris	delete README symlink	commit \| commitdiff \| tree \| snapshot
2013-08-13	Brian Norris	LICENSE: add newline at end of file	commit \| commitdiff \| tree \| snapshot
2013-07-17	Brian Norris	test: insanesync: consolidate lines	commit \| commitdiff \| tree \| snapshot
2013-07-17	Brian Norris	test: insanesync: remove unnecessary casting	commit \| commitdiff \| tree \| snapshot
2013-07-17	Brian Norris	test: insanesync: convert to C++	commit \| commitdiff \| tree \| snapshot
2013-07-16	Brian Norris	test: addr-satcycle: add new address-based sat. cycle...	commit \| commitdiff \| tree \| snapshot
2013-07-10	Brian Norris	run.sh: don't silently ignore a non-executable file...	commit \| commitdiff \| tree \| snapshot
2013-07-10	Brian Norris	test: mo-satcycle: add new MO satisfaction cycle example	commit \| commitdiff \| tree \| snapshot
2013-07-10	Brian Norris	test: uninit: typo	commit \| commitdiff \| tree \| snapshot
2013-06-06	Brian Norris	execution: remove redundant condition, reword doc for...	commit \| commitdiff \| tree \| snapshot
2013-06-06	Brian Norris	execution: document additional mo_may_allow() optimization	commit \| commitdiff \| tree \| snapshot
2013-06-06	Brian Norris	execution: document promises list; it is assumed to...	commit \| commitdiff \| tree \| snapshot
2013-06-05	Brian Norris	model: remove redundant code (is_enabled)	commit \| commitdiff \| tree \| snapshot
2013-06-05	Brian Norris	docs: improve Doxygen documentation	commit \| commitdiff \| tree \| snapshot
2013-06-05	Brian Norris	README: use markdown format for direct URL link	commit \| commitdiff \| tree \| snapshot
2013-06-04	Brian Norris	README: more formatting, correct statement about bench.sh	commit \| commitdiff \| tree \| snapshot
2013-06-04	Brian Norris	README: a few more formatting issues	commit \| commitdiff \| tree \| snapshot
2013-06-04	Brian Norris	Merge branch 'markdown'	commit \| commitdiff \| tree \| snapshot
2013-06-04	Brian Norris	README: add more `code` formatting	commit \| commitdiff \| tree \| snapshot
2013-06-03	Brian Demsky	Add example from java showing legit satisfaction cycle	commit \| commitdiff \| tree \| snapshot
2013-06-02	Brian Norris	.gitignore: fixup VIM swapfile ignore	commit \| commitdiff \| tree \| snapshot
2013-06-02	Brian Norris	README: convert to Markdown format	commit \| commitdiff \| tree \| snapshot
2013-06-02	Brian Norris	Markdown: add Markdown tool	commit \| commitdiff \| tree \| snapshot
2013-06-01	Brian Norris	README: add bit on MODEL_ASSERT() macro	commit \| commitdiff \| tree \| snapshot
2013-06-01	Brian Norris	README: extra "from"	commit \| commitdiff \| tree \| snapshot
2013-06-01	Brian Norris	README: updated help text	commit \| commitdiff \| tree \| snapshot
2013-06-01	Brian Norris	model: cosmetic output improvements	commit \| commitdiff \| tree \| snapshot
2013-05-31	Brian Norris	params: add multi-level verbosity	commit \| commitdiff \| tree \| snapshot
2013-05-31	Brian Norris	README: add LICENSE note	commit \| commitdiff \| tree \| snapshot
2013-05-31	Brian Norris	README: improve sections, provide better intro	commit \| commitdiff \| tree \| snapshot
2013-05-29	Brian Norris	Merge remote-tracking branch 'origin/master'	commit \| commitdiff \| tree \| snapshot
2013-05-29	Brian Norris	README: add a few sections	commit \| commitdiff \| tree \| snapshot
2013-05-29	Brian Norris	execution: reformat execution traces	commit \| commitdiff \| tree \| snapshot
2013-05-29	Brian Norris	README: update help text	commit \| commitdiff \| tree \| snapshot
2013-05-29	Brian Norris	main: 'plug ins' -> 'plugins'	commit \| commitdiff \| tree \| snapshot
2013-05-29	Brian Norris	tests: Makefile: add dependency information	commit \| commitdiff \| tree \| snapshot
2013-05-29	Brian Norris	Makefile: remove more deferred variables	commit \| commitdiff \| tree \| snapshot
2013-05-29	Brian Norris	tests: Makefile: eliminate (some) recursive make	commit \| commitdiff \| tree \| snapshot
2013-05-08	Brian Norris	execution: bugfix - resolved promises should propagate...	commit \| commitdiff \| tree \| snapshot
2013-05-08	Brian Norris	execution: refactor common CV propagation into its...	commit \| commitdiff \| tree \| snapshot
2013-05-06	Brian Demsky	typos	commit \| commitdiff \| tree \| snapshot
2013-05-06	Brian Demsky	print some stats in SC Analysis	commit \| commitdiff \| tree \| snapshot
2013-05-06	Brian Demsky	document and extend trace analysis interface	commit \| commitdiff \| tree \| snapshot
2013-05-06	Brian Demsky	cleanup plugin interface a little more.	commit \| commitdiff \| tree \| snapshot
2013-05-06	Brian Demsky	add support for analysis with options	commit \| commitdiff \| tree \| snapshot
2013-05-06	Brian Demsky	add traceanalysis support	commit \| commitdiff \| tree \| snapshot
2013-05-03	Brian Norris	Merge demsky's SC analysis fixup	commit \| commitdiff \| tree \| snapshot
2013-05-03	Brian Demsky	scanalysis: don't rely on greedy search	commit \| commitdiff \| tree \| snapshot
2013-04-26	Brian Norris	scanalysis: fixup spacing	commit \| commitdiff \| tree \| snapshot
next

This is the public repository for the CDSSpec specification compiler.

RSS Atom