GitHub PushEvent at 2014-05-27 14:06:02
Repository: overture
Actor: ldcouto
Payload: {"shas":[["3ed383a7de80f5e44f7bf844dddd4b0fa362e8eb","42121c4df913b8fcba4f653d3ca66955333c6b27@eng.au.dk","Change ide/platform/pom.xml to allow command-line skipping of the\ngit-commit-id plugin and update the version in use to 2.1.8","Joey Coleman",false],["65241b407b289afee2fe03b93eb4a36d01d530fc","42121c4df913b8fcba4f653d3ca66955333c6b27@eng.au.dk","Update travis config to skip git-commit-id calculation and alter the\n`script` command to be a yaml list","Joey Coleman",false],["a3b686f3c6677e0aa457fabfd4e530765a9d9714","310bd37b1ab23d4c0c0b820c50f78e66a70fd44b@iha.dk","enabled model checking to be used for implicit function solving","Kenneth Lausdahl",false],["6b6fc413e649b889a1a72e80ba330a7910c5cea5","310bd37b1ab23d4c0c0b820c50f78e66a70fd44b@iha.dk","updated the prob model checker to be able to solve implicit functions","Kenneth Lausdahl",false],["ed21686bc2aa579f38640ad47177fe8f14dbf2df","653c5d892ba0f3ece899b0268f0750a82a7e17fe@iha.dk","Added tests for generation of the 'power' unary expression (for sets)","Peter Joergensen",false],["29fa07c09299a3476b517af087d25df713f061fd","653c5d892ba0f3ece899b0268f0750a82a7e17fe@iha.dk","Added generation of 'power' unary expression (for sets)","Peter Joergensen",false],["e819cc4c2a999267fff908ed286d6fcba6cf8990","42121c4df913b8fcba4f653d3ca66955333c6b27@eng.au.dk","Reduce the amount of javadoc noise","Joey Coleman",false],["dd2c9fcf490f9a65f34c6c4aa0ae5516bd3e9dbe","42121c4df913b8fcba4f653d3ca66955333c6b27@eng.au.dk","Change travis-ci config to (attempt to) quietly download all of the\nmaven plugin dependencies before 'mvn install' is executed to reduce the\nsize of the build log.","Joey Coleman",false],["da9cd429f50e077f13f08de96db457ea182de188","653c5d892ba0f3ece899b0268f0750a82a7e17fe@iha.dk","Added test for generation of 'for all' (set loop)","Peter Joergensen",false],["6309b512cd75f9b56421d580097679f14db3ff37","653c5d892ba0f3ece899b0268f0750a82a7e17fe@iha.dk","Added generation of 'for all' set loop","Peter Joergensen",false],["8c7432e5065c0da82c7a0007893325daace97c9d","b187a9ed471ef7465c5d78cc7b4b1846f07ac76d@iha.dk","create/modify test file","Hiroshi Ishikawa",false],["f8c80a61f40f052f0fd8342970585c29d77c9072","b187a9ed471ef7465c5d78cc7b4b1846f07ac76d@iha.dk","create a method for quontifier exists1","Hiroshi Ishikawa",false],["1c42b01b3c3750083be2670082f8c0cdce69c9db","653c5d892ba0f3ece899b0268f0750a82a7e17fe@iha.dk","Fix for generation of 'inds' unary expression (for sequences). The Java code incorrectly generated zero based indices","Peter Joergensen",false],["5f2054a9310f8048dd0c7d30f9ef7c8132f3fdea","653c5d892ba0f3ece899b0268f0750a82a7e17fe@iha.dk","The 'Notebook' specification test case has been extended to also exercise the 'elems' and 'inds' expressions now that the code generator also supports iterating over sets","Peter Joergensen",false],["e4c73825d5a45e3251a538db12fa2cd4f6259327","653c5d892ba0f3ece899b0268f0750a82a7e17fe@iha.dk","Updated test results related to generation of set/seq loop after some minor adjustments to the template these constructs are based on","Peter Joergensen",false],["4edea8ae04b0dcb416ef25631ffaf951252840b6","653c5d892ba0f3ece899b0268f0750a82a7e17fe@iha.dk","Fix for generation of 'reverse' unary expression where the type was incorrectly set","Peter Joergensen",false],["5a5e503fb11ce90a1bd8aed40fa30c76b629a92d","653c5d892ba0f3ece899b0268f0750a82a7e17fe@iha.dk","Added test for generation of sequence for loop","Peter Joergensen",false],["22ceca2c0a8129a8ab6c52f0fc00a4516e37576b","653c5d892ba0f3ece899b0268f0750a82a7e17fe@iha.dk","Added generation of sequence for loop","Peter Joergensen",false],["eae835fe6b12fa83c5c79ddaccbc1e744fce2faa","653c5d892ba0f3ece899b0268f0750a82a7e17fe@iha.dk","Updated the notebook specification test exercising generation of sequences to also cover the sequence loop","Peter Joergensen",false],["6821126d91764b072dcee87707d351ddeb38a235","653c5d892ba0f3ece899b0268f0750a82a7e17fe@iha.dk","Updated test results for generation of sequence concatenation","Peter Joergensen",false]],"size":1000,"ref":"refs/heads/ldc/pog-lpf","head":"dfab9da35863de6caef4997459ddf5f2418c65c2"}