source: CIVL/examples/contracts/contractsMPI@ bb03188

main test-branch
Name Size Rev Age Author Last Change
../
civl_mpi_collectives ea777aa   – – –
nekbone_mpi ea777aa   – – –
acslAssignsTest.c 540 bytes ​ ea777aa   – – –
aPossibleBug.c 656 bytes ​ ea777aa   – – –
diffusion1d.c 4.1 KB ​ ea777aa   – – –
diffusion1dExchange_ensures_bad.c 2.2 KB ​ ea777aa   – – –
diffusion1dExchange_impl_bad.c 2.2 KB ​ ea777aa   – – –
diffusion1dIter-ensures_bad2.c 4.2 KB ​ ea777aa   – – –
diffusion1dIter-ensures_bad3.c 4.2 KB ​ ea777aa   – – –
diffusion1dIter-ensures_bad.c 4.2 KB ​ ea777aa   – – –
diffusion1dIter-requires_bad.c 4.2 KB ​ ea777aa   – – –
diffusion1dUpdate_assert_bad.c 840 bytes ​ ea777aa   – – –
diffusion1dUpdate_ensures_bad.c 720 bytes ​ ea777aa   – – –
diffusion1dUpdate_loop_bad.c 716 bytes ​ ea777aa   – – –
diffusion2d-bad_ensures.c 5.7 KB ​ ea777aa   – – –
diffusion2d-bad_impl.c 5.7 KB ​ ea777aa   – – –
diffusion2d.c 5.7 KB ​ ea777aa   – – –
dummyMpiTest.c 255 bytes ​ ea777aa   – – –
gaussJordan_elimination_mpi.c 8.4 KB ​ ea777aa   – – –
gaussJordan_elimination_spec.c 5.3 KB ​ ea777aa   – – –
madre_computeDirectMoves.c 2.0 KB ​ ea777aa   – – –
Makefile 205 bytes ​ ea777aa   – – –
mpiValid.c 447 bytes ​ ea777aa   – – –
need_heuristics.why 7.7 KB ​ ea777aa   – – –
quantifiedRemote.c 196 bytes ​ ea777aa   – – –
simpleGuard.cvl 122 bytes ​ ea777aa   – – –
simpleMpiAgree.c 375 bytes ​ ea777aa   – – –
simpleMpiOffset2.c 578 bytes ​ ea777aa   – – –
simpleMpiOffset.c 414 bytes ​ ea777aa   – – –
simpleMpiRegion.c 348 bytes ​ ea777aa   – – –
simpleMpiTest3.c 812 bytes ​ ea777aa   – – –
simpleMpiTest.c 426 bytes ​ ea777aa   – – –
simpleMpiValid2.c 433 bytes ​ ea777aa   – – –
simpleMpiValid3.c 487 bytes ​ ea777aa   – – –
simpleMpiValid.c 561 bytes ​ ea777aa   – – –
wildcard-error.c 678 bytes ​ ea777aa   – – –
wildcard-good.c 671 bytes ​ ea777aa   – – –
  • Property mode set to 040000
Note: See TracBrowser for help on using the repository browser.