Skip to content

Actions: facebook/SPARTA

Actions

CMake

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
cmake.yml
48 workflow runs
48 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

making workqueue push_-/pop_task lock-free CMake #34: Commit 036aca0 pushed by facebook-github-bot
November 17, 2023 03:24 3m 42s main
main
November 17, 2023 03:24 3m 42s
have empty() as (fast) alternative to size() CMake #33: Commit 1169daf pushed by facebook-github-bot
November 14, 2023 02:52 5m 46s main
main
November 14, 2023 02:52 5m 46s
prefer calling empty() instead of size() CMake #32: Commit 37a34a1 pushed by facebook-github-bot
October 13, 2023 23:46 4m 26s main
main
October 13, 2023 23:46 4m 26s
Implement abstract environments on top of abstract maps CMake #31: Commit d525636 pushed by facebook-github-bot
October 11, 2023 17:58 8m 1s main
main
October 11, 2023 17:58 8m 1s
Add a base class for abstract maps CMake #30: Commit cb043c1 pushed by facebook-github-bot
October 9, 2023 16:14 4m 35s main
main
October 9, 2023 16:14 4m 35s
Make the OverUnderSetAbstractDomain generic in its set implementation CMake #29: Commit cbaca4f pushed by facebook-github-bot
October 9, 2023 15:20 5m 42s main
main
October 9, 2023 15:20 5m 42s
Implement visitor methods on most data structures CMake #28: Commit 483d9b8 pushed by facebook-github-bot
October 6, 2023 17:38 4m 22s main
main
October 6, 2023 17:38 4m 22s
Document default_value_kind in the value interface CMake #27: Commit 0b16299 pushed by facebook-github-bot
October 6, 2023 14:55 5m 49s main
main
October 6, 2023 14:55 5m 49s
Implement partition and environment abstract domains on top of Patric… CMake #26: Commit 24d8934 pushed by facebook-github-bot
October 6, 2023 13:09 4m 29s main
main
October 6, 2023 13:09 4m 29s
a simple (optional) thread pool for the work queue CMake #25: Commit e8a994f pushed by facebook-github-bot
October 3, 2023 23:16 3m 50s main
main
October 3, 2023 23:16 3m 50s
Take function-like parameters as universal references CMake #24: Commit d0cb5ac pushed by facebook-github-bot
September 30, 2023 12:40 4m 8s main
main
September 30, 2023 12:40 4m 8s
Implement map on HashedAbstractPartition CMake #23: Commit b3160b0 pushed by facebook-github-bot
September 30, 2023 10:53 3m 44s main
main
September 30, 2023 10:53 3m 44s
Explicitly expose the default value kind (top, bottom or value) CMake #22: Commit 1320616 pushed by facebook-github-bot
September 27, 2023 10:38 5m 12s main
main
September 27, 2023 10:38 5m 12s
Move the FlattenIterator in SPARTA CMake #21: Commit ecd559b pushed by facebook-github-bot
September 26, 2023 14:15 4m 46s main
main
September 26, 2023 14:15 4m 46s
avoid copying callgraph CMake #20: Commit 26a2816 pushed by facebook-github-bot
September 25, 2023 23:45 5m 5s main
main
September 25, 2023 23:45 5m 5s
Implement a flat map following the patricia tree map interface CMake #19: Commit ddadc5a pushed by facebook-github-bot
September 25, 2023 15:26 3m 48s main
main
September 25, 2023 15:26 3m 48s
Mark constructors as explicit CMake #18: Commit 1eb4825 pushed by facebook-github-bot
September 21, 2023 19:02 3m 30s main
main
September 21, 2023 19:02 3m 30s
Fix member types for patricia tree map CMake #17: Commit 3de6eed pushed by facebook-github-bot
September 14, 2023 16:55 3m 32s main
main
September 14, 2023 16:55 3m 32s
don't hold onto lock while notifying CMake #16: Commit 1b6e972 pushed by facebook-github-bot
September 12, 2023 23:21 3m 33s main
main
September 12, 2023 23:21 3m 33s
Add hash function for IntervalDomain CMake #15: Commit ca48b19 pushed by facebook-github-bot
August 11, 2023 05:28 3m 39s main
main
August 11, 2023 05:28 3m 39s
Add a trait for patricia tree key encoding CMake #14: Commit 8688e5d pushed by facebook-github-bot
August 7, 2023 11:21 5m 6s main
main
August 7, 2023 11:21 5m 6s
Rename SpartaWorkQueue into WorkQueue CMake #13: Commit 4b3cc7b pushed by facebook-github-bot
August 3, 2023 14:33 4m 37s main
main
August 3, 2023 14:33 4m 37s
Move all header files into a sparta directory CMake #12: Commit 95737fb pushed by facebook-github-bot
August 2, 2023 10:57 3m 49s main
main
August 2, 2023 10:57 3m 49s