{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":232878191,"defaultBranch":"master","name":"isla","ownerLogin":"rems-project","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-01-09T18:34:00.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/35805581?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1718119046.0","currentOid":""},"activityList":{"items":[{"before":"be4327c3e00ff41600e631db5b96253f4196ed3b","after":"537a478d8e001e9a382c8ca015646d9c950ae0f1","ref":"refs/heads/master","pushedAt":"2024-08-21T12:07:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bacam","name":"Brian Campbell","path":"/bacam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1666370?s=80&v=4"},"commit":{"message":"Improve register assumption simplification to use shadowing writes\n\nAlso merge the plain trace and tree versions","shortMessageHtmlLink":"Improve register assumption simplification to use shadowing writes"}},{"before":"58bc827eac7a849e0a041e1d8fd58fb7597d3a6d","after":"be4327c3e00ff41600e631db5b96253f4196ed3b","ref":"refs/heads/master","pushedAt":"2024-07-19T10:43:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bacam","name":"Brian Campbell","path":"/bacam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1666370?s=80&v=4"},"commit":{"message":"Fix initial register value setting for I64 registers\nIn particular, this affected registers with small range types.","shortMessageHtmlLink":"Fix initial register value setting for I64 registers"}},{"before":"72e0045d68412f04bff3947a03fe515b84ca1301","after":"58bc827eac7a849e0a041e1d8fd58fb7597d3a6d","ref":"refs/heads/master","pushedAt":"2024-07-15T16:09:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Alasdair","name":"Alasdair Armstrong","path":"/Alasdair","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/227162?s=80&v=4"},"commit":{"message":"Refactor run_litmus\n\nPass candidate execution as a struct to reduce number of arguments to callback","shortMessageHtmlLink":"Refactor run_litmus"}},{"before":"d61cc70798d11436c98e7e6db558c2690d132dfd","after":"72e0045d68412f04bff3947a03fe515b84ca1301","ref":"refs/heads/master","pushedAt":"2024-07-11T19:44:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Alasdair","name":"Alasdair Armstrong","path":"/Alasdair","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/227162?s=80&v=4"},"commit":{"message":"Update Isla for exceptions\n\n- Support data dependencies into system register writes\n\n- Allow multiple axiomatic model variants to be defined on a single line","shortMessageHtmlLink":"Update Isla for exceptions"}},{"before":"48805f76722d8cca4d8e886e2e8be91aee796037","after":"d61cc70798d11436c98e7e6db558c2690d132dfd","ref":"refs/heads/master","pushedAt":"2024-07-03T18:29:21.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"Alasdair","name":"Alasdair Armstrong","path":"/Alasdair","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/227162?s=80&v=4"},"commit":{"message":"Fix cargo test and rustfmt","shortMessageHtmlLink":"Fix cargo test and rustfmt"}},{"before":"ee4743c2e4d86fe9884294b1700bd059681fc642","after":"48805f76722d8cca4d8e886e2e8be91aee796037","ref":"refs/heads/master","pushedAt":"2024-07-03T17:52:39.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Alasdair","name":"Alasdair Armstrong","path":"/Alasdair","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/227162?s=80&v=4"},"commit":{"message":"Add smtperf feature","shortMessageHtmlLink":"Add smtperf feature"}},{"before":"c265e278e56750c48547f3077acc237c6b507bad","after":"ee4743c2e4d86fe9884294b1700bd059681fc642","ref":"refs/heads/master","pushedAt":"2024-06-27T12:38:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Alasdair","name":"Alasdair Armstrong","path":"/Alasdair","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/227162?s=80&v=4"},"commit":{"message":"Update ubuntu_22_04.yml","shortMessageHtmlLink":"Update ubuntu_22_04.yml"}},{"before":"b98a77d59900f51a9a9a01b5ced7b2c2a0120a8b","after":"c265e278e56750c48547f3077acc237c6b507bad","ref":"refs/heads/master","pushedAt":"2024-06-27T11:25:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Alasdair","name":"Alasdair Armstrong","path":"/Alasdair","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/227162?s=80&v=4"},"commit":{"message":"Allow cycles with no opcode\n\nRun rustfmt","shortMessageHtmlLink":"Allow cycles with no opcode"}},{"before":"fbcc49d5c78f2c51aafbf3e654fcc08081c4934c","after":"b98a77d59900f51a9a9a01b5ced7b2c2a0120a8b","ref":"refs/heads/master","pushedAt":"2024-06-26T18:34:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Alasdair","name":"Alasdair Armstrong","path":"/Alasdair","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/227162?s=80&v=4"},"commit":{"message":"Add some additional registers to the Arm v9.4 config","shortMessageHtmlLink":"Add some additional registers to the Arm v9.4 config"}},{"before":"afe34497ecffe36a7528e4d7fec40e221f3d3157","after":"fbcc49d5c78f2c51aafbf3e654fcc08081c4934c","ref":"refs/heads/master","pushedAt":"2024-06-26T18:12:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Alasdair","name":"Alasdair Armstrong","path":"/Alasdair","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/227162?s=80&v=4"},"commit":{"message":"Add support for interrupts in tests","shortMessageHtmlLink":"Add support for interrupts in tests"}},{"before":"3f71721e717547092074f0745f11353a1a37dd00","after":"a015773f8f21e4bb7ced55872190f4d47d30a730","ref":"refs/heads/isla-litmus-dump","pushedAt":"2024-06-17T14:20:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bacam","name":"Brian Campbell","path":"/bacam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1666370?s=80&v=4"},"commit":{"message":"Track recent Sail annotation change","shortMessageHtmlLink":"Track recent Sail annotation change"}},{"before":null,"after":"778ab1746a9c22845b29036db39cb06e977da265","ref":"refs/heads/wip-armv9p4","pushedAt":"2024-06-11T15:17:26.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"bensimner","name":"Ben Simner","path":"/bensimner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5352715?s=80&v=4"},"commit":{"message":"(isla-axiomatic) B64->B129, since AArch64 is now a 128-bit architecture","shortMessageHtmlLink":"(isla-axiomatic) B64->B129, since AArch64 is now a 128-bit architecture"}},{"before":"c6f29bbbec5aa1947e5b9dc156c426c8f484db9a","after":"afe34497ecffe36a7528e4d7fec40e221f3d3157","ref":"refs/heads/master","pushedAt":"2024-06-11T15:17:16.000Z","pushType":"push","commitsCount":12,"pusher":{"login":"bensimner","name":"Ben Simner","path":"/bensimner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5352715?s=80&v=4"},"commit":{"message":"(isla-axiomatic/smt) don't generate trivial bitvector constraints","shortMessageHtmlLink":"(isla-axiomatic/smt) don't generate trivial bitvector constraints"}},{"before":"d0e350bf2e20f7cec42b5a82270879b9c4329d2f","after":"c6f29bbbec5aa1947e5b9dc156c426c8f484db9a","ref":"refs/heads/master","pushedAt":"2024-05-19T12:23:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bensimner","name":"Ben Simner","path":"/bensimner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5352715?s=80&v=4"},"commit":{"message":"(isla-axiomatic/lib) expose some functions to be consumed by litmus-toml-translator","shortMessageHtmlLink":"(isla-axiomatic/lib) expose some functions to be consumed by litmus-t…"}},{"before":"fd750c0429acd32f8915268d09908714f4d13dec","after":"d0e350bf2e20f7cec42b5a82270879b9c4329d2f","ref":"refs/heads/master","pushedAt":"2024-05-19T12:23:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bensimner","name":"Ben Simner","path":"/bensimner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5352715?s=80&v=4"},"commit":{"message":"(isla-lib/memory) fix: remove old debug print region","shortMessageHtmlLink":"(isla-lib/memory) fix: remove old debug print region"}},{"before":"bdd2369b604062b0c78718b871a975a52370108c","after":"fd750c0429acd32f8915268d09908714f4d13dec","ref":"refs/heads/master","pushedAt":"2024-04-29T12:19:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bacam","name":"Brian Campbell","path":"/bacam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1666370?s=80&v=4"},"commit":{"message":"Include field information when using --probe for register writes","shortMessageHtmlLink":"Include field information when using --probe for register writes"}},{"before":"a9b68f376648e2eb1f5b39f1552e184da4560043","after":"bdd2369b604062b0c78718b871a975a52370108c","ref":"refs/heads/master","pushedAt":"2024-04-17T14:21:41.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"Alasdair","name":"Alasdair Armstrong","path":"/Alasdair","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/227162?s=80&v=4"},"commit":{"message":"Merge pull request #72 from rems-project/isla-litmus-dump\n\nInitial isla-litmus-dump commits","shortMessageHtmlLink":"Merge pull request #72 from rems-project/isla-litmus-dump"}},{"before":"3a3f59f6617383461f1cd200504024e14b5d1477","after":"3f71721e717547092074f0745f11353a1a37dd00","ref":"refs/heads/isla-litmus-dump","pushedAt":"2024-04-17T14:08:18.000Z","pushType":"push","commitsCount":20,"pusher":{"login":"Alasdair","name":"Alasdair Armstrong","path":"/Alasdair","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/227162?s=80&v=4"},"commit":{"message":"Merge branch 'master' into isla-litmus-dump","shortMessageHtmlLink":"Merge branch 'master' into isla-litmus-dump"}},{"before":"90c95b7eefedf9fc83554eefc85e4b5f7e851097","after":"a9b68f376648e2eb1f5b39f1552e184da4560043","ref":"refs/heads/master","pushedAt":"2024-04-17T14:08:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Alasdair","name":"Alasdair Armstrong","path":"/Alasdair","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/227162?s=80&v=4"},"commit":{"message":"Fix some pick dependency issues","shortMessageHtmlLink":"Fix some pick dependency issues"}},{"before":"bf1e2b6b460fc855a886f76203c7c1dadadca35e","after":"90c95b7eefedf9fc83554eefc85e4b5f7e851097","ref":"refs/heads/master","pushedAt":"2024-04-17T12:10:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Alasdair","name":"Alasdair Armstrong","path":"/Alasdair","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/227162?s=80&v=4"},"commit":{"message":"Update ubuntu_22_04.yml","shortMessageHtmlLink":"Update ubuntu_22_04.yml"}},{"before":"ca98710a0190d42c9cc41223db42e1a6da4416f6","after":"bf1e2b6b460fc855a886f76203c7c1dadadca35e","ref":"refs/heads/master","pushedAt":"2024-04-17T11:55:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Alasdair","name":"Alasdair Armstrong","path":"/Alasdair","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/227162?s=80&v=4"},"commit":{"message":"Update ubuntu_22_04.yml","shortMessageHtmlLink":"Update ubuntu_22_04.yml"}},{"before":"b5854a777b432d7fbfc608bd2e19c19eac529306","after":"ca98710a0190d42c9cc41223db42e1a6da4416f6","ref":"refs/heads/master","pushedAt":"2024-04-17T11:37:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Alasdair","name":"Alasdair Armstrong","path":"/Alasdair","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/227162?s=80&v=4"},"commit":{"message":"Refactor taint tracking type","shortMessageHtmlLink":"Refactor taint tracking type"}},{"before":"953075bd698674ef422c2a0858431f4a79760fcd","after":"b5854a777b432d7fbfc608bd2e19c19eac529306","ref":"refs/heads/master","pushedAt":"2024-04-15T13:17:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Alasdair","name":"Alasdair Armstrong","path":"/Alasdair","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/227162?s=80&v=4"},"commit":{"message":"Update MSRV","shortMessageHtmlLink":"Update MSRV"}},{"before":"ab49e94b04e00647ba6edf6115ad0859c6459e2e","after":"953075bd698674ef422c2a0858431f4a79760fcd","ref":"refs/heads/master","pushedAt":"2024-04-15T12:48:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Alasdair","name":"Alasdair Armstrong","path":"/Alasdair","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/227162?s=80&v=4"},"commit":{"message":"Update dependencies and isla-sail","shortMessageHtmlLink":"Update dependencies and isla-sail"}},{"before":"66d11a4aa3d33aacda7d1cafef78558d68f6ff88","after":"ab49e94b04e00647ba6edf6115ad0859c6459e2e","ref":"refs/heads/master","pushedAt":"2024-03-22T11:17:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bensimner","name":"Ben Simner","path":"/bensimner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5352715?s=80&v=4"},"commit":{"message":"(README) add some more information","shortMessageHtmlLink":"(README) add some more information"}},{"before":"cfcc2ef7ea6c4ef96c7901e45a123cf8d37f1e0b","after":"66d11a4aa3d33aacda7d1cafef78558d68f6ff88","ref":"refs/heads/master","pushedAt":"2024-03-20T15:01:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Alasdair","name":"Alasdair Armstrong","path":"/Alasdair","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/227162?s=80&v=4"},"commit":{"message":"Update isla-sail","shortMessageHtmlLink":"Update isla-sail"}},{"before":"6b4a1b73708ff647fa0d506db14603582ce693b4","after":"cfcc2ef7ea6c4ef96c7901e45a123cf8d37f1e0b","ref":"refs/heads/master","pushedAt":"2024-03-20T11:51:30.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"bensimner","name":"Ben Simner","path":"/bensimner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5352715?s=80&v=4"},"commit":{"message":"(isla-axiomatic) refactor graph options into separate function\n\nCouples --graph with --no-z3-model and --dot","shortMessageHtmlLink":"(isla-axiomatic) refactor graph options into separate function"}},{"before":"7877558468b166ee1962ef0311193916095f3901","after":"6b4a1b73708ff647fa0d506db14603582ce693b4","ref":"refs/heads/master","pushedAt":"2024-02-29T11:51:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bacam","name":"Brian Campbell","path":"/bacam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1666370?s=80&v=4"},"commit":{"message":"Remove write-mem-tag special case","shortMessageHtmlLink":"Remove write-mem-tag special case"}},{"before":"0bafd8e1e14b05e8c044c8c7854ecc8c2fd4ba3b","after":"7877558468b166ee1962ef0311193916095f3901","ref":"refs/heads/master","pushedAt":"2024-02-26T15:47:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bacam","name":"Brian Campbell","path":"/bacam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1666370?s=80&v=4"},"commit":{"message":"Add an --eval-carefully option to footprint\nUses the SMT solver to validate smt expression symbolic evaluation during\nsimplification.","shortMessageHtmlLink":"Add an --eval-carefully option to footprint"}},{"before":"ed4f45fed65efb9adc904e2965997a52e6341a14","after":"0bafd8e1e14b05e8c044c8c7854ecc8c2fd4ba3b","ref":"refs/heads/master","pushedAt":"2024-02-23T15:54:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bacam","name":"Brian Campbell","path":"/bacam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1666370?s=80&v=4"},"commit":{"message":"Fix simplification bug","shortMessageHtmlLink":"Fix simplification bug"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEoCR9yQA","startCursor":null,"endCursor":null}},"title":"Activity · rems-project/isla"}