source: CIVL/examples/contracts/contractsMPI@ c6faecb

1.23 2.0 main test-branch
Name Size Rev Age Author Last Change
../
allgather2bad.c 4.2 KB bd0cedf  
allgather.c 4.6 KB 1b7d18d  
allgather_bad2.c 3.7 KB 1b7d18d  
allgather_bad.c 4.7 KB 1b7d18d  
allgather_large.c 3.5 KB e6d3df3  
aPossibleBug.c 656 bytes 40f7cfa  
broadcast.c 1.0 KB 1b7d18d  
broadcast_bad.c 1.0 KB 1b7d18d  
broadcast_exception.c 858 bytes 938cccb  
broadcast_order.c 807 bytes c7fc5a5  
diffusion1d-bad-diffIter.c 3.6 KB 7d07a30  
diffusion1d.c 3.9 KB 1b7d18d  
diffusion1d_dev2.c 3.1 KB 8dfa3356  
diffusion1d_dev-bad-exchange.c 3.1 KB e5d8c6f  
diffusion1d_dev-bad-update.c 3.2 KB e5d8c6f  
diffusion1d_dev.c 3.2 KB e5d8c6f  
diffusion2d.c 4.5 KB bca683b  
diffusion2d_dev2.c 5.0 KB bca683b  
diffusion2d_dev.c 6.2 KB bca683b  
dummyMpiTest.c 255 bytes 40f7cfa  
gather.c 1.9 KB 5b368d2  
gather_bad.c 2.5 KB 1b7d18d  
gaussJordan_elimination_mpi.c 8.4 KB 7f8124c  
gaussJordan_elimination_spec.c 5.3 KB 7f8124c  
madre_computeDirectMoves.c 2.0 KB 7f8124c  
Makefile 205 bytes 40f7cfa  
mpiValid.c 447 bytes 6a0885e  
quantifiedRemote.c 196 bytes dbc31e2  
reduce_sum.c 1.4 KB c0518e21  
scatter.c 1.9 KB 5b368d2  
scatter_bad.c 1.9 KB 5b368d2  
scatter_exp.c 1.9 KB e506b13  
simpleGuard.cvl 122 bytes 762b93c  
simpleMpiAgree.c 375 bytes cc2ac3e  
simpleMpiOffset2.c 578 bytes 452331f  
simpleMpiOffset.c 414 bytes 7bbef04  
simpleMpiRegion.c 348 bytes 7bbef04  
simpleMpiTest3.c 812 bytes 40f7cfa  
simpleMpiTest.c 426 bytes ef8e46c  
simpleMpiValid2.c 433 bytes cc2ac3e  
simpleMpiValid3.c 487 bytes 452331f  
simpleMpiValid.c 561 bytes 452331f  
wildcard-error.c 678 bytes cc2ac3e  
wildcard-good.c 671 bytes cc2ac3e  
  • Property mode set to 040000
Note: See TracBrowser for help on using the repository browser.