source: CIVL/examples/contracts/contractsMPI@ ff25b9a

1.23 2.0 main test-branch
Name Size Rev Age Author Last Change
../
allgather2.c 3.9 KB 3b8cd00  
allgather2bad.c 4.2 KB bd0cedf  
allgather.c 4.2 KB c0518e21  
allgather_large.c 3.5 KB e6d3df3  
aPossibleBug.c 656 bytes 40f7cfa  
broadcast.c 831 bytes b114f32  
broadcast_bad.c 851 bytes 938cccb  
broadcast_exception.c 858 bytes 938cccb  
broadcast_order.c 807 bytes c7fc5a5  
diffusion1d-bad-diffIter.c 3.6 KB 7d07a30  
diffusion1d.c 3.7 KB 7608746  
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.0 KB 5aff938  
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.