Skip to content

Pull requests: hmc-alpaqa/metrinome

New pull request New
Clear current search query, filters, and sorts
9 Open 35 Closed
9 Open 35 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Updates for metadata and graph composition
#15 by JoshCordova was merged Jan 7, 2021 Loading…
Added exporting for klee bc files
#3 by Sora-the-explora was merged May 21, 2020 Loading…
Klee format
#4 by JoshCordova was merged May 23, 2020 Loading…
Added testing for graph methods.
#5 by Sora-the-explora was merged Jun 3, 2020 Loading…
cyclomatic test updates
#6 by gabrielbessler was merged Jun 3, 2020 Loading…
Graph tests + type checking
#7 by gabrielbessler was merged Aug 28, 2020 Loading…
Dep update
#8 by gabrielbessler was merged Sep 30, 2020 Loading…
Adds upgraded path complexity and graph stitching
#9 by JoshCordova was merged Nov 3, 2020 Loading…
Change vertices to num_vertices
#10 by gabrielbessler was closed Dec 23, 2020 Loading…
Update graph stitching tests
#11 by JoshCordova was merged Dec 22, 2020 Loading…
1
Add auto-fix imports, update dependencies
#12 by gabrielbessler was merged Dec 20, 2020 Loading…
1
Graph subtypes
#13 by JoshCordova was merged Jan 4, 2021 Loading…
1
Optimize npath
#1 by sdev49 was merged Apr 26, 2020 Loading…
1
Klee Cleanup
#14 by gabrielbessler was merged Jan 5, 2021 Loading…
1
MakeFile, tests, and minor code improvements
#16 by JoshCordova was merged Jan 9, 2021 Loading…
Autogenerate repl command wrappers
#17 by gabrielbessler was merged Jan 17, 2021 Loading…
1
Catches error message from java converter if compilation fails
#20 by JoshCordova was merged Feb 5, 2021 Loading…
Move to python 3.9
#23 by gabrielbessler was merged Feb 10, 2021 Loading…
Bugfix
#24 by gabrielbessler was closed Feb 10, 2021 Loading…
1
Export bugfix, convert message change.
#25 by gabrielbessler was merged Feb 10, 2021 Loading…
show metrics displays a table
#26 by sdev49 was closed Feb 18, 2021 Loading…
1
show metrics displays a table
#27 by sdev49 was merged Feb 24, 2021 Loading…
Sofia/test remove
#28 by sdev49 was merged Feb 24, 2021 Loading…
graph stitching and experiments
#29 by JoshCordova was merged Feb 24, 2021 Loading…
Recursion phase2
#46 by dchen327 was merged Jan 28, 2023 Loading…
ProTip! Add no:assignee to see everything that’s not assigned.