2013-11-06 Peizhao Ousave it
2013-11-02 Peizhao Oumore bug fix
2013-11-01 Peizhao Oufixed bugs
2013-10-31 Peizhao Ouadd lots of stuff
2013-10-29 Peizhao Ouadd more
2013-10-26 Peizhao Ousave
2013-10-25 Peizhao Oulots of changes
2013-10-25 Peizhao Oumore
2013-10-25 Peizhao Ousmall change
2013-10-24 Peizhao Ounew strategy
2013-10-23 Peizhao Oulots of changes
2013-10-23 Peizhao Outempory files
2013-10-22 Peizhao Outweak
2013-10-22 Peizhao Outweak
2013-10-22 Peizhao Oubenchmark/cliffc-hashtable/simplified_cliffc_hashtable.h
2013-10-22 Peizhao Ouadd some notes
2013-10-22 Peizhao Ougenerate more structured code
2013-10-20 Peizhao Oumore changes
2013-10-19 Peizhao Oualmost complte code example
2013-10-19 Peizhao Ouadd detailed generated code examples
2013-10-19 Peizhao Oumore changes
2013-10-18 Peizhao Oulots of change and add notes
2013-10-17 Peizhao Ougenerating code
2013-10-16 Peizhao Outry to generate in-place code
2013-10-16 Peizhao Outweak
2013-10-15 Peizhao Ouadd more on code generation
2013-10-15 Peizhao Ouready to generate code
2013-10-15 Peizhao Ouparser checked
2013-10-14 Peizhao Ouadd more parsing
2013-10-11 Peizhao Ouparsing passed
2013-10-11 Peizhao Ouadd more, GlobalConstruct parsed
2013-10-11 Peizhao Ouparsing basically works
2013-10-10 Peizhao Ouadd more to spec-compiler.jj
2013-10-10 Peizhao Ouadd more & need C/C++ code recognition
2013-10-10 Peizhao seems to work
2013-10-10 Peizhao Ouneed to fixed
2013-10-10 Peizhao Ouextracting spec & compiling
2013-10-09 Peizhao Ouclean the auto-generated files
2013-10-09 Peizhao Ouadd more more spec-compiler.jj
2013-10-09 Peizhao Ouadd
2013-10-09 Peizhao Ouadd more stuff to spec-compiler.jj
2013-10-09 Peizhao Ouclean
2013-10-08 Peizhao Ouusing javacc to compile
2013-10-08 Peizhao OuMerge branch 'master' of ssh://
2013-10-08 Peizhao OuMerge branch 'master' of ssh://
2013-10-08 Peizhao Ounew repo structure
2013-10-08 Peizhao Ousrc structure
2013-10-08 Peizhao Oumodification
2013-10-08 Peizhao Ouinitializing the repo
2013-09-26 Brian DemskyAdd support for annotations
2013-09-04 Brian NorrisMerge remote-tracking branch 'origin/master'
2013-09-04 Brian support running from a different directory
2013-08-15 Brian use HTML URL, not PHP
2013-08-14 Brian move copyright down
2013-08-14 Brian add detail for benchmarks
2013-08-14 Brian improve wording
2013-08-14 Brian add more fairness notes
2013-08-14 Brian NorrisMakefile: add README.pdf target
2013-08-14 Brian remove <pre></pre> tags
2013-08-14 Brian Norristhreads: kill clang warnings about struct/class Thread
2013-08-14 Brian Norrismalloc: modify compiler warning workarounds
2013-08-14 Brian Norrisimpatomic: silence more clang warnings
2013-08-14 Brian Norristest: silence some unused-value warnings
2013-08-14 Brian have to include our headers
2013-08-14 Brian reverse store/load
2013-08-14 Brian add supported API section
2013-08-14 Brian add End of Execution Summary section
2013-08-14 Brian reporting multiple data races for the same...
2013-08-14 Brian Norrismodel: only print 'Total nodes' for verbose printing
2013-08-14 Brian reformat
2013-08-14 Brian add linux locks example
2013-08-14 Brian update title
2013-08-14 Brian point non-git users to gitweb
2013-08-13 Brian push URLs down to See Also section
2013-08-13 Brian add extra blank lines
2013-08-13 Brian update much of the README
2013-08-13 Brian Norrismain: suggest thrd_yield() for -y fairness
2013-08-13 Brian set Mac OSX DYLD_LIBRARY_PATH
2013-08-13 Brian Norrisdelete README symlink
2013-08-13 Brian NorrisLICENSE: add newline at end of file
2013-07-17 Brian Norristest: insanesync: consolidate lines
2013-07-17 Brian Norristest: insanesync: remove unnecessary casting
2013-07-17 Brian Norristest: insanesync: convert to C++
2013-07-16 Brian Norristest: addr-satcycle: add new address-based sat. cycle...
2013-07-10 Brian don't silently ignore a non-executable file...
2013-07-10 Brian Norristest: mo-satcycle: add new MO satisfaction cycle example
2013-07-10 Brian Norristest: uninit: typo
2013-06-06 Brian Norrisexecution: remove redundant condition, reword doc for...
2013-06-06 Brian Norrisexecution: document additional mo_may_allow() optimization
2013-06-06 Brian Norrisexecution: document promises list; it is assumed to...
2013-06-05 Brian Norrismodel: remove redundant code (is_enabled)
2013-06-05 Brian Norrisdocs: improve Doxygen documentation
2013-06-05 Brian NorrisREADME: use markdown format for direct URL link
2013-06-04 Brian NorrisREADME: more formatting, correct statement about
2013-06-04 Brian NorrisREADME: a few more formatting issues
2013-06-04 Brian NorrisMerge branch 'markdown'
2013-06-04 Brian NorrisREADME: add more `code` formatting
2013-06-03 Brian DemskyAdd example from java showing legit satisfaction cycle
2013-06-02 Brian Norris.gitignore: fixup VIM swapfile ignore
2013-06-02 Brian NorrisREADME: convert to Markdown format