source: CIVL/examples/contracts/contractsMPI@ 02876df

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