change test case to match nice one from spec... it works. :)
[model-checker.git] / userprog.c
2012-08-02 Brian Demskychange test case to match nice one from spec... it...
2012-08-02 Brian Norrispull in most of atomic header file
2012-06-21 Subramanian GanapathyMerge branch 'master' of ssh://
2012-05-31 Brian Norrisuserprog: use atomics allocated on "heap"
2012-05-21 Brian Norrisuserprog: use modulo
2012-05-21 Brian NorrisMerge commit: branch 'work'
2012-05-18 Brian Demskymerging stuff...made need to clean up some stuff.....
2012-05-15 Brian Norrisuserprog: tweak test program to use simple loads/stores
2012-05-09 Subramanian GanapathyAdding STL stuff and operator news of snapshot to model...
2012-05-02 Brian Norrisuserprog: print current thread ID
2012-04-26 Brian Norrislibatomic: add atomic_init()
2012-04-26 Brian Norrisuserprog: print atomic load/store values
2012-04-24 Brian Norrisuserprog: use typedef'd thrd_start_t
2012-04-16 Brian Norrismajor rewrite - 'struct thread' replaced with internal...
2012-04-10 Brian Norrisuserprog: use both atomic loads and stores
2012-03-13 Brian Norrisstricter typing of function pointers for makecontext()
2012-03-13 Brian Norristerminology - use 'thread id' instead of 'thread index'
2012-03-10 Brian Norrisuserprog: separate test 'program' out to userprog.c