Skip to content

Pull requests: GaloisInc/ivory

New pull request New
Clear current search query, filters, and sorts
6 Open 49 Closed
6 Open 49 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

Fixed build on GHC 7.10
#46 by Hodapp87 was closed Jun 24, 2015 Loading…
3
typo
#13 by ggreif was merged Sep 10, 2014 Loading…
Track index bounds in the types of Ivory procs
#14 by gridaphobe was merged Oct 13, 2014 Loading…
Ivory model check
#15 by gridaphobe was merged Nov 5, 2014 Loading…
Some typos
#16 by ggreif was merged Nov 5, 2014 Loading…
1
Rewrite of ivory-quickcheck
#18 by gridaphobe was merged Dec 8, 2014 Loading…
1
Added ProcPtr to IvoryStore, enabling 'store' to work on ProcPtr.
#23 by Hodapp87 was closed Jun 23, 2015 Loading…
11
Fixed FibLoop example
#27 by stelleg was merged Feb 19, 2015 Loading…
2
Added inclusive boolean for LoopIncr constructors, fixed for and times
#30 by stelleg was closed Jan 29, 2016 Loading…
9
ivory-paper: a brief discussion of error reporting and minor tweaks to the tools section
#31 by gridaphobe was merged Feb 20, 2015 Loading…
1
wordsmithing 3.1 and general comments
#33 by gridaphobe was merged Feb 26, 2015 Loading…
A few more small tweaks
#34 by gridaphobe was merged Feb 26, 2015 Loading…
Fix some minor issues in the Ivory user guide
#2 by ehamberg was merged May 14, 2013 Loading…
1
Standalone ivory compiler 'ic'
#38 by TomMD was closed Aug 3, 2015 Loading…
6
Added jameysharp's changes to remove AllowAmbiguousTypes on GHC 7.10
#48 by Hodapp87 was merged Jun 25, 2015 Loading…
1
Fixed two small typos in paper
#50 by Hodapp87 was merged Jun 27, 2015 Loading…
2
Added some documentation on coroutines
#53 by Hodapp87 was merged Jul 28, 2015 Loading…
3
Added some docs on ProcType, IvoryCall/IvoryCall_, IvoryProcDef
#58 by Hodapp87 was merged Nov 5, 2015 Loading…
2
tutorial edits
#63 by acfoltzer was merged Mar 1, 2016 Loading…
fixes up through the symbolic simulation section
#64 by acfoltzer was merged Mar 1, 2016 Loading…
1
ivory-tutorial: Use make instead of directly calling gcc (less typing)
#65 by dagit was merged Mar 1, 2016 Loading…
1
last fixes to existing doc
#66 by acfoltzer was merged Mar 1, 2016 Loading…
Changed the outDir to Nothing instead of Just ""
#67 by GAJaloyan was merged Mar 1, 2016 Loading…
ivory-tutorial: add three exercises
#68 by dagit was merged Mar 2, 2016 Loading…
GHC 8.8 compatibility
#126 by dpwiz was merged Feb 20, 2020 Loading…
4
ProTip! Add no:assignee to see everything that’s not assigned.