projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8ceaed8) | patch
Adding more memory to the run.
authorrtrimana <rtrimana@uci.edu>
Mon, 8 Jul 2019 22:16:45 +0000 (15:16 -0700)
committerrtrimana <rtrimana@uci.edu>
Mon, 8 Jul 2019 22:16:45 +0000 (15:16 -0700)
commit2f0b2894c58caf402c6bee86eb80be83d45faa5e
treeb8d827bdc3d5b92cc39ee8d98058d225fc81e312tree | snapshot
parent8ceaed854b3ff0017faf944e3e51b0642fb23c28commit | diff
Adding more memory to the run.
jpf.properties diff | blob | history
run.sh diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.