From ed1047444f0631482090c88df4c2439043ce270b Mon Sep 17 00:00:00 2001 From: Cesar Rodriguez Date: Wed, 12 Apr 2017 00:49:20 +0200 Subject: [PATCH] Readme --- README.md | 25 ------------------------- README.rst | 7 +++++++ 2 files changed, 7 insertions(+), 25 deletions(-) delete mode 100644 README.md create mode 100644 README.rst diff --git a/README.md b/README.md deleted file mode 100644 index 32047e4..0000000 --- a/README.md +++ /dev/null @@ -1,25 +0,0 @@ -# steroid - -A library for dynamic verification of multithreaded programs. - -Benchmark of concurrent programs -https://github.com/unsw-corg/PTABen - -## Marcelo's TODO list - -x enviar um partial order para haskell -x manipular os partial orders em haskell -- transformar execucoes em partial orders de eventos -- ler executions - -## Cesar's TODO list - -x decidir sobre si el tipo de los eventos en el stream es el bueno -x retornar a main, \_rt\_end -x conseguir sacar los LD y los ST y MALLOC, CALL, RET, ALLOCA -x implementar mecanismo "jaula", implementar "rt\_end" -x hacer printf de stream desde el host -x testear que todo esto funciona -- move the public stuff of rt/rt.h to a new header and leave in rt/rt.h only the - internal stuff -- CONFIG\_DEBUG in rt/ needs to be a compilation option of steroids diff --git a/README.rst b/README.rst new file mode 100644 index 0000000..70285f6 --- /dev/null +++ b/README.rst @@ -0,0 +1,7 @@ +======== +Steroids +======== + +A library for dynamic analysis of multithreaded POSIX C programs. + +TODO