{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":262163993,"defaultBranch":"main","name":"xls","ownerLogin":"google","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-05-07T21:38:30.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/1342004?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1717487610.0","currentOid":""},"activityList":{"items":[{"before":"97da207a8921d51607a1eeac4d42c95da010c299","after":"94b4654302b3d66bbd06498c6ced864e43028856","ref":"refs/heads/main","pushedAt":"2024-06-04T23:30:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"copybara-service[bot]","name":null,"path":"/apps/copybara-service","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/44061?s=80&v=4"},"commit":{"message":"Change visibility of design_stats_py_pb2 to allow other Python code to read the results of gather_design_stats.\n\nPiperOrigin-RevId: 640320427","shortMessageHtmlLink":"Change visibility of design_stats_py_pb2 to allow other Python code t…"}},{"before":"279bd2aeb4483e74970a251c17c4a4f84bb096db","after":"97da207a8921d51607a1eeac4d42c95da010c299","ref":"refs/heads/main","pushedAt":"2024-06-04T21:24:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"copybara-service[bot]","name":null,"path":"/apps/copybara-service","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/44061?s=80&v=4"},"commit":{"message":"[DSLX] Apply implicit-predicate tracking to I/O operations\n\nThis fixes #1037, matching the behavior of the DSLX interpreter by making I/O operations conditional inside conditional contexts. There's no way to get a token back out of a conditional construct yet; that will need to wait for a resolution to #1016.\n\nPiperOrigin-RevId: 640282557","shortMessageHtmlLink":"[DSLX] Apply implicit-predicate tracking to I/O operations"}},{"before":"f53b3a422dc3cccb189a8dbd02e45296c83acf71","after":"279bd2aeb4483e74970a251c17c4a4f84bb096db","ref":"refs/heads/main","pushedAt":"2024-06-04T19:02:17.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"copybara-service[bot]","name":null,"path":"/apps/copybara-service","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/44061?s=80&v=4"},"commit":{"message":"Merge pull request #1456 from hzeller:feature-20240604-fix-missing-includes\n\nPiperOrigin-RevId: 640236584","shortMessageHtmlLink":"Merge pull request #1456 from hzeller:feature-20240604-fix-missing-in…"}},{"before":"4a72b3dad403c52d4d151441123fd59e12eb786a","after":"f53b3a422dc3cccb189a8dbd02e45296c83acf71","ref":"refs/heads/main","pushedAt":"2024-06-04T18:54:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"copybara-service[bot]","name":null,"path":"/apps/copybara-service","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/44061?s=80&v=4"},"commit":{"message":"Add gRPC service wrapper for Synthesizer class.\n\nPiperOrigin-RevId: 640233782","shortMessageHtmlLink":"Add gRPC service wrapper for Synthesizer class."}},{"before":"5f8de03f430bab8db34addddafba85cd7580da09","after":"4a72b3dad403c52d4d151441123fd59e12eb786a","ref":"refs/heads/main","pushedAt":"2024-06-04T15:48:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"copybara-service[bot]","name":null,"path":"/apps/copybara-service","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/44061?s=80&v=4"},"commit":{"message":"Fix VAST output of functions with a typedef return type.\n\nPiperOrigin-RevId: 640167275","shortMessageHtmlLink":"Fix VAST output of functions with a typedef return type."}},{"before":"2d2eb14d60417a750413de4819c5770df06dbcc0","after":"5f8de03f430bab8db34addddafba85cd7580da09","ref":"refs/heads/main","pushedAt":"2024-06-03T21:52:37.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"copybara-service[bot]","name":null,"path":"/apps/copybara-service","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/44061?s=80&v=4"},"commit":{"message":"Merge pull request #1443 from xlsynth:cdleary/2024-05-30-xls-value-c-api\n\nPiperOrigin-RevId: 639919532","shortMessageHtmlLink":"Merge pull request #1443 from xlsynth:cdleary/2024-05-30-xls-value-c-api"}},{"before":"eff2607cd64a14840c229411853dd839d4139aa4","after":"2d2eb14d60417a750413de4819c5770df06dbcc0","ref":"refs/heads/main","pushedAt":"2024-06-03T21:08:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"copybara-service[bot]","name":null,"path":"/apps/copybara-service","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/44061?s=80&v=4"},"commit":{"message":"Update Verible to latest.\n\nWe don't need the version anymore that is compatible with old\nlogging. Also, this simplifies the patch we have to apply as\nthe installer-dependency (that we don't need and don't want to\nimport) is not referenced anymore in the toplevel BUILD file\nof Verible.\n\nPiperOrigin-RevId: 639905884","shortMessageHtmlLink":"Update Verible to latest."}},{"before":"d3971b2971b98092a9a5bd3b289037a598232572","after":"eff2607cd64a14840c229411853dd839d4139aa4","ref":"refs/heads/main","pushedAt":"2024-06-03T20:05:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"copybara-service[bot]","name":null,"path":"/apps/copybara-service","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/44061?s=80&v=4"},"commit":{"message":"Support specifying a list of ops to generate delay model data points for.\n\nThe downstream logic to incorporate these data points into an actual delay model will be in a follow-up.\n\nPiperOrigin-RevId: 639885269","shortMessageHtmlLink":"Support specifying a list of ops to generate delay model data points …"}},{"before":"07bd3a3c904bb3ae9c30470b8a890a9a7a6b527f","after":"d3971b2971b98092a9a5bd3b289037a598232572","ref":"refs/heads/main","pushedAt":"2024-06-03T17:26:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"copybara-service[bot]","name":null,"path":"/apps/copybara-service","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/44061?s=80&v=4"},"commit":{"message":"Get rid of obsolete file intended for deletion in prior change.\n\nAlso remove an unused dep.\n\nPiperOrigin-RevId: 639831302","shortMessageHtmlLink":"Get rid of obsolete file intended for deletion in prior change."}},{"before":"d2da1045eb2e55ac55a4bf3f1c8ef974244a2fd7","after":"07bd3a3c904bb3ae9c30470b8a890a9a7a6b527f","ref":"refs/heads/main","pushedAt":"2024-05-31T19:34:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"copybara-service[bot]","name":null,"path":"/apps/copybara-service","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/44061?s=80&v=4"},"commit":{"message":"Tweaks to VAST type inference logic.\n- Constant-fold the expressions within type definitions, for more accurate inference of affected types.\n- Infer the types of untyped parameters.\n- Bug fixes such as some previously missing operand recursion.\n\nPiperOrigin-RevId: 639118619","shortMessageHtmlLink":"Tweaks to VAST type inference logic."}},{"before":"fd7c161766e64e5856f8b1b3c5161224df67f406","after":"d2da1045eb2e55ac55a4bf3f1c8ef974244a2fd7","ref":"refs/heads/main","pushedAt":"2024-05-31T04:08:03.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"copybara-service[bot]","name":null,"path":"/apps/copybara-service","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/44061?s=80&v=4"},"commit":{"message":"Merge pull request #935 from proppy:gcd\n\nPiperOrigin-RevId: 638888730","shortMessageHtmlLink":"Merge pull request #935 from proppy:gcd"}},{"before":"b1261ea54326116adafea02e00d3be8d614b4abb","after":"fd7c161766e64e5856f8b1b3c5161224df67f406","ref":"refs/heads/main","pushedAt":"2024-05-30T23:32:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"copybara-service[bot]","name":null,"path":"/apps/copybara-service","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/44061?s=80&v=4"},"commit":{"message":"Further clean up XLS tutorials.\n\n* Fix a few Markdown rendering issues.\n* Fix the crc32 walkthrough going out of sync with the implementation and add some explanation for the unused variable.\n* Move explanation for an ellipsis in array construction further up to first use.\n\nPiperOrigin-RevId: 638824553","shortMessageHtmlLink":"Further clean up XLS tutorials."}},{"before":"0d52fae4988b01c3f67cafb6b6bd4d73a11068b0","after":"b1261ea54326116adafea02e00d3be8d614b4abb","ref":"refs/heads/main","pushedAt":"2024-05-30T22:07:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"copybara-service[bot]","name":null,"path":"/apps/copybara-service","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/44061?s=80&v=4"},"commit":{"message":"Fix accidental (broken) hyperlink in float_to_int tutorial.\n\nPiperOrigin-RevId: 638797222","shortMessageHtmlLink":"Fix accidental (broken) hyperlink in float_to_int tutorial."}},{"before":"32e4c2653b76536b3eea2e0c06a18173b042659e","after":"0d52fae4988b01c3f67cafb6b6bd4d73a11068b0","ref":"refs/heads/main","pushedAt":"2024-05-30T18:07:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"copybara-service[bot]","name":null,"path":"/apps/copybara-service","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/44061?s=80&v=4"},"commit":{"message":"Fix cover!() to use the control predicate.\n\nThis CL fixes a bug where the cover condition was being used without the control predicate. This resulted in cover points being covered even when they were not reached.\n\nPiperOrigin-RevId: 638714400","shortMessageHtmlLink":"Fix cover!() to use the control predicate."}},{"before":"e55363f8d2b493ffda2319ff7b8b7b8c46bc40f8","after":"32e4c2653b76536b3eea2e0c06a18173b042659e","ref":"refs/heads/main","pushedAt":"2024-05-30T17:47:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"copybara-service[bot]","name":null,"path":"/apps/copybara-service","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/44061?s=80&v=4"},"commit":{"message":"Remove token operand and result from cover IR nodes.\n\nBug: google/xls#1234\nPiperOrigin-RevId: 638706031","shortMessageHtmlLink":"Remove token operand and result from cover IR nodes."}},{"before":"55a5decb090ff22802ace57532c1b71746c240d3","after":"e55363f8d2b493ffda2319ff7b8b7b8c46bc40f8","ref":"refs/heads/main","pushedAt":"2024-05-30T16:26:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"copybara-service[bot]","name":null,"path":"/apps/copybara-service","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/44061?s=80&v=4"},"commit":{"message":"Also dump llvm-ir/asm from aot compiles with --save_temps\n\nPiperOrigin-RevId: 638678612","shortMessageHtmlLink":"Also dump llvm-ir/asm from aot compiles with --save_temps"}},{"before":"add2edeb15a7152541677cf5f7096dc394e6ad38","after":"55a5decb090ff22802ace57532c1b71746c240d3","ref":"refs/heads/main","pushedAt":"2024-05-29T17:07:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"copybara-service[bot]","name":null,"path":"/apps/copybara-service","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/44061?s=80&v=4"},"commit":{"message":"Remove unnecessary BUILD dependencies after recent refactorings.\n\nPiperOrigin-RevId: 638324770","shortMessageHtmlLink":"Remove unnecessary BUILD dependencies after recent refactorings."}},{"before":"dbeb044316a6c0ccacf7b43b5695596570f6ad43","after":"add2edeb15a7152541677cf5f7096dc394e6ad38","ref":"refs/heads/main","pushedAt":"2024-05-29T16:55:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"copybara-service[bot]","name":null,"path":"/apps/copybara-service","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/44061?s=80&v=4"},"commit":{"message":"Let aot_compiler_main emit llvm-ir/opt-ir/asm\n\nThis can be useful for debugging problems with the JIT/AOT of an ir file.\n\nOne can generate these extra outputs for built-users by running\n\n```\nbazel build --//xls/common/config:emit_aot_intermediates=true //path/to:target\n```\n\nThis is the equivalent of the `--save_temps` flag for cc_* targets.\n\nPiperOrigin-RevId: 638319913","shortMessageHtmlLink":"Let aot_compiler_main emit llvm-ir/opt-ir/asm"}},{"before":"4f53e2cc100ff63b15bfd57fca0013e98e6b2224","after":"dbeb044316a6c0ccacf7b43b5695596570f6ad43","ref":"refs/heads/main","pushedAt":"2024-05-29T16:53:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"copybara-service[bot]","name":null,"path":"/apps/copybara-service","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/44061?s=80&v=4"},"commit":{"message":"Fix ir_semantics.md\n\nFixes: https://github.com/google/xls/issues/1406\nPiperOrigin-RevId: 638319681","shortMessageHtmlLink":"Fix ir_semantics.md"}},{"before":"70de4281290f4b8d8544d873bb16cd32467f7b4c","after":"4f53e2cc100ff63b15bfd57fca0013e98e6b2224","ref":"refs/heads/main","pushedAt":"2024-05-29T16:35:58.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"copybara-service[bot]","name":null,"path":"/apps/copybara-service","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/44061?s=80&v=4"},"commit":{"message":"Merge pull request #1435 from xlsynth:cdleary/libxls-dso\n\nPiperOrigin-RevId: 638313990","shortMessageHtmlLink":"Merge pull request #1435 from xlsynth:cdleary/libxls-dso"}},{"before":"dabefa3250731fbd577eb0700b7a793844c12040","after":"70de4281290f4b8d8544d873bb16cd32467f7b4c","ref":"refs/heads/main","pushedAt":"2024-05-29T00:21:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"copybara-service[bot]","name":null,"path":"/apps/copybara-service","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/44061?s=80&v=4"},"commit":{"message":"Use AOT compiled JIT code for several proc tests\n\nThis speeds up proc-testing significantly.\n\nFixes: https://github.com/google/xls/issues/1403\nPiperOrigin-RevId: 638080318","shortMessageHtmlLink":"Use AOT compiled JIT code for several proc tests"}},{"before":"73c554544d38cc4103faaf21c49d174059c150f0","after":"dabefa3250731fbd577eb0700b7a793844c12040","ref":"refs/heads/main","pushedAt":"2024-05-29T00:19:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"copybara-service[bot]","name":null,"path":"/apps/copybara-service","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/44061?s=80&v=4"},"commit":{"message":"Use the AOT data layout on AOT code\n\nWe were always using the data-layout for the ORC-jit when running AOT code. These are currently the same but we really should be sure to use the layout the code was actually compiled with\n\nPiperOrigin-RevId: 638079658","shortMessageHtmlLink":"Use the AOT data layout on AOT code"}},{"before":"aeb9b52b1d9b6b61973342504f02a114f3c6f407","after":"73c554544d38cc4103faaf21c49d174059c150f0","ref":"refs/heads/main","pushedAt":"2024-05-28T23:56:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"copybara-service[bot]","name":null,"path":"/apps/copybara-service","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/44061?s=80&v=4"},"commit":{"message":"Simplify block-jit creation\n\nMake block-jit match other jits and keep the JitRuntime as an internal implementation detail specific to each jit.\n\nPiperOrigin-RevId: 638072265","shortMessageHtmlLink":"Simplify block-jit creation"}},{"before":"67bcafe3585fe0b234cd6a7136695083f6af200b","after":"aeb9b52b1d9b6b61973342504f02a114f3c6f407","ref":"refs/heads/main","pushedAt":"2024-05-28T23:53:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"copybara-service[bot]","name":null,"path":"/apps/copybara-service","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/44061?s=80&v=4"},"commit":{"message":"Use AOT-code in jit-proc wrapper\n\nThis speeds up runtime creation substantially\n\nPiperOrigin-RevId: 638071223","shortMessageHtmlLink":"Use AOT-code in jit-proc wrapper"}},{"before":"5a561aaf6388feaf9fa3068327cfbc9a093545e6","after":"67bcafe3585fe0b234cd6a7136695083f6af200b","ref":"refs/heads/main","pushedAt":"2024-05-28T23:50:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"copybara-service[bot]","name":null,"path":"/apps/copybara-service","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/44061?s=80&v=4"},"commit":{"message":"Support multiple procs all using the same functions in a network\n\nFor simplicity this is done by each proc materializing their own set of sub-fns to use through name mangling. Ideally we would be able to have them all share the same functions but they can hit the temp-buffer which has slots assigned globally on each top function so sharing them would require a rewrite of how we pass around the tmp-buffer.\n\nPiperOrigin-RevId: 638070394","shortMessageHtmlLink":"Support multiple procs all using the same functions in a network"}},{"before":"96653bd5f1aca5cdcd47b63fe31c4cbfeb652fcc","after":"5a561aaf6388feaf9fa3068327cfbc9a093545e6","ref":"refs/heads/main","pushedAt":"2024-05-28T23:48:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"copybara-service[bot]","name":null,"path":"/apps/copybara-service","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/44061?s=80&v=4"},"commit":{"message":"AOT compile proc networks.\n\nThis adds support to aot_compiler_main to generate proc network AOTs and allows ProcRuntimes to be built using these compiled entrypoints.\n\nBug: https://github.com/google/xls/issues/1403\nPiperOrigin-RevId: 638069672","shortMessageHtmlLink":"AOT compile proc networks."}},{"before":"a561bd25a385acd16ebd278f009d96f71bd2f538","after":"96653bd5f1aca5cdcd47b63fe31c4cbfeb652fcc","ref":"refs/heads/main","pushedAt":"2024-05-28T21:42:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"copybara-service[bot]","name":null,"path":"/apps/copybara-service","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/44061?s=80&v=4"},"commit":{"message":"Add a function that infers VAST expression types.\n\nPiperOrigin-RevId: 638028340","shortMessageHtmlLink":"Add a function that infers VAST expression types."}},{"before":"faa43b2c255c6027ee48c4cd44165d7d23f39fab","after":"a561bd25a385acd16ebd278f009d96f71bd2f538","ref":"refs/heads/main","pushedAt":"2024-05-28T18:22:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"copybara-service[bot]","name":null,"path":"/apps/copybara-service","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/44061?s=80&v=4"},"commit":{"message":"Unify how we prefix the includes that should have project names in path.\n\nThere are some external dependencies that have header locations that\nhave no specific prefix and are somewhat confusing if we used\nthem as such in XLS:\n\n * Verible has common/lsp/*.h but ideally we want to clarify that\n these headers come from verible not from some common xls directory.\n * Similar z3. The headers are in the form of src/api/z3_api.h\n\nTo include the project prefix, we dealt with this differently for\nthese projects: In verible, we prepended external/verible (which\nthen results in header like external/verible/common/lsp/lsp-protocol.h,\nwhich is a valid way to reach the header in bazel).\n\nIn z3 we used to prepend it with ../z3, to get header paths in the\nform ../z3/src/api/z3_api.h. This adds the project in the header path\nbut with the slightly awkward relative path.\n\nUnify these two approaches now, by using external/verible and external/z3\nas prefix, removing the awkward relative path for z3.\n\nPiperOrigin-RevId: 637964741","shortMessageHtmlLink":"Unify how we prefix the includes that should have project names in path."}},{"before":"ec4df616bc8b3acd25db670259316e675b53edc9","after":"faa43b2c255c6027ee48c4cd44165d7d23f39fab","ref":"refs/heads/main","pushedAt":"2024-05-28T18:03:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"copybara-service[bot]","name":null,"path":"/apps/copybara-service","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/44061?s=80&v=4"},"commit":{"message":"Give //xls/synthesis/yosys:yosys_synthesis_service grpc headers.\n\nThe target was using grpc headers, but not declaring these as\ndependency.\n\nPiperOrigin-RevId: 637957722","shortMessageHtmlLink":"Give //xls/synthesis/yosys:yosys_synthesis_service grpc headers."}},{"before":"66262cdb7fc37e9a815ca2575874c5735dcf9da8","after":"ec4df616bc8b3acd25db670259316e675b53edc9","ref":"refs/heads/main","pushedAt":"2024-05-27T17:08:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"copybara-service[bot]","name":null,"path":"/apps/copybara-service","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/44061?s=80&v=4"},"commit":{"message":"Extract a single proc in ir_minimizer\n\nPiperOrigin-RevId: 637665333","shortMessageHtmlLink":"Extract a single proc in ir_minimizer"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEXItbjQA","startCursor":null,"endCursor":null}},"title":"Activity · google/xls"}