source: trunk/softs/test_llsc/scripts @ 544

Name Size Rev Age Author Last Change
../
LLSCTestGenerator 536   11 years meunier Added a tool which generates tests for the LL/SC table, in the soft/ …
functions.c 749 bytes 536   11 years meunier Added a tool which generates tests for the LL/SC table, in the soft/ …
functions.h 133 bytes 536   11 years meunier Added a tool which generates tests for the LL/SC table, in the soft/ …
Makefile.nat 57 bytes 536   11 years meunier Added a tool which generates tests for the LL/SC table, in the soft/ …
run_simus.py 3.2 KB 536   11 years meunier Added a tool which generates tests for the LL/SC table, in the soft/ …
test_llsc.py 2.7 KB 536   11 years meunier Added a tool which generates tests for the LL/SC table, in the soft/ …
tsarch.py 1.6 KB 536   11 years meunier Added a tool which generates tests for the LL/SC table, in the soft/ …
Note: See TracBrowser for help on using the repository browser.