projects / model-checker.git / shortlog
| 2012-03-09 | Brian Norris | libthreads: export thread_join() in header | commit | commitdiff | tree | snapshot |
| 2012-03-09 | Brian Norris | libthreads: merge thread_create() and thread_start() | commit | commitdiff | tree | snapshot |
| 2012-03-09 | Brian Norris | schedule: add scheduler, thread_yield(), etc. | commit | commitdiff | tree | snapshot |
| 2012-03-09 | Brian Norris | libthreads: fixups | commit | commitdiff | tree | snapshot |
| 2012-03-09 | Brian Norris | libthreads: cleanup main thread initialization | commit | commitdiff | tree | snapshot |
| 2012-03-09 | Brian Norris | add "make tags" (using `ctags`) | commit | commitdiff | tree | snapshot |
| 2012-03-08 | Brian Norris | libthreads: create header file | commit | commitdiff | tree | snapshot |
| 2012-03-08 | Brian Norris | libthreads: remove superfluous code | commit | commitdiff | tree | snapshot |
| 2012-03-08 | Brian Norris | add .gitignore | commit | commitdiff | tree | snapshot |
| 2012-03-08 | Brian Norris | initial commit | commit | commitdiff | tree | snapshot |