projects / model-checker.git / search
| 2012-05-21 | Brian Demsky | fix various problems with my 64-bit clean hack |
commit | commitdiff | tree |
| 2012-05-21 | Brian Demsky | fix code to be 64 bit clean |
commit | commitdiff | tree |
| 2012-05-21 | Brian Demsky | switch back to norris style spacing in changed files |
commit | commitdiff | tree |
| 2012-05-19 | Brian Demsky | remove unused #define |
commit | commitdiff | tree |
| 2012-05-19 | Brian Demsky | my changes |
commit | commitdiff | tree |
| 2012-05-19 | Brian Demsky | let us set the size of the heap in a sane way |
commit | commitdiff | tree |
| 2012-05-19 | Brian Demsky | setup main wrapper and then call into norris code |
commit | commitdiff | tree |
| 2012-05-19 | Brian Demsky | get rid of redundant mallocs |
commit | commitdiff | tree |
| 2012-05-18 | Brian Demsky | transfer stuff |
commit | commitdiff | tree |
| 2012-05-18 | Brian Demsky | makefile |
commit | commitdiff | tree |
| 2012-05-18 | Brian Demsky | merging stuff...made need to clean up some stuff..... |
commit | commitdiff | tree |