Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / rhu1/fgg issues and pull requests
#94 - Description of ismonom algorithms?
Issue -
State: open - Opened by mdempsky over 2 years ago
- 3 comments
#93 - Question: Golang generic usage
Issue -
State: open - Opened by cybvon almost 3 years ago
- 4 comments
#92 - Refactor cmd/frontend. Fix -test-oblit and Makefile simulate-oblit.
Pull Request -
State: closed - Opened by rhu1 over 3 years ago
#91 - Rhu1 patch typeparamrenaming
Pull Request -
State: closed - Opened by rhu1 over 3 years ago
#90 - Update example paths in README.md
Pull Request -
State: closed - Opened by rhu1 over 3 years ago
#89 - Dev rhu1
Pull Request -
State: closed - Opened by rhu1 over 3 years ago
#88 - Dev rhu1
Pull Request -
State: closed - Opened by rhu1 over 3 years ago
#87 - Oopsla20 artifact
Pull Request -
State: closed - Opened by rhu1 over 3 years ago
- 1 comment
#86 - Oopsla20 artifact
Pull Request -
State: closed - Opened by rhu1 almost 4 years ago
#85 - Oopsla20 artifact
Pull Request -
State: closed - Opened by rhu1 almost 4 years ago
#84 - Rhu1 testmonom patch string lit
Pull Request -
State: closed - Opened by rhu1 almost 4 years ago
#83 - Minor fix to Makefile.
Pull Request -
State: closed - Opened by rhu1 about 4 years ago
#82 - Dev rhu1
Pull Request -
State: closed - Opened by rhu1 about 4 years ago
#81 - Minor.
Pull Request -
State: closed - Opened by rhu1 about 4 years ago
#80 - Edits to examples.
Pull Request -
State: closed - Opened by rhu1 about 4 years ago
#79 - Rhu1 oopsla20 examples
Pull Request -
State: closed - Opened by rhu1 about 4 years ago
#78 - [test-all].
Pull Request -
State: closed - Opened by rhu1 about 4 years ago
#77 - Added FGG recursive struct/interface checks.
Pull Request -
State: closed - Opened by rhu1 about 4 years ago
#76 - More well-formedness.
Pull Request -
State: closed - Opened by rhu1 about 4 years ago
#75 - Rhu1 wf
Pull Request -
State: closed - Opened by rhu1 about 4 years ago
#74 - Rhu1 wf
Pull Request -
State: closed - Opened by rhu1 about 4 years ago
#73 - Rhu1 testing update
Pull Request -
State: closed - Opened by rhu1 about 4 years ago
#72 - Modified monom dummy meths.
Pull Request -
State: closed - Opened by rhu1 about 4 years ago
#71 - Fixed Makefile test-nomono-bad mkdir bug.
Pull Request -
State: closed - Opened by rhu1 about 4 years ago
#70 - Rhu1 testing update
Pull Request -
State: closed - Opened by rhu1 about 4 years ago
#69 - Patched [Parser] panics.
Pull Request -
State: closed - Opened by rhu1 about 4 years ago
#68 - Rhu1 testing update
Pull Request -
State: closed - Opened by rhu1 about 4 years ago
#67 - Rhu1 testing update
Pull Request -
State: closed - Opened by rhu1 about 4 years ago
#66 - Patched -test-monom for nomono programs.
Pull Request -
State: closed - Opened by rhu1 about 4 years ago
#65 - Rhu1 testing update
Pull Request -
State: closed - Opened by rhu1 about 4 years ago
#64 - Rhu1 monomcheck update
Pull Request -
State: closed - Opened by rhu1 about 4 years ago
#63 - Rhu1 monomcheck update
Pull Request -
State: closed - Opened by rhu1 about 4 years ago
#62 - Rhu1 monomcheck update
Pull Request -
State: closed - Opened by rhu1 about 4 years ago
#61 - Added monom hashes.
Pull Request -
State: closed - Opened by rhu1 about 4 years ago
#60 - Rhu1 covar rcvr bounds
Pull Request -
State: closed - Opened by rhu1 about 4 years ago
#59 - Rhu1 covar rcvr bounds
Pull Request -
State: closed - Opened by rhu1 about 4 years ago
#58 - Rhu1 merge monomupdate into master
Pull Request -
State: closed - Opened by rhu1 about 4 years ago
#57 - Rhu1 sprintf
Pull Request -
State: closed - Opened by rhu1 about 4 years ago
#56 - Rhu1 sprintf
Pull Request -
State: closed - Opened by rhu1 about 4 years ago
#55 - Rhu1 monomupdate
Pull Request -
State: closed - Opened by rhu1 about 4 years ago
#54 - Updated Makefile for mono-ok/ko.
Pull Request -
State: closed - Opened by rhu1 about 4 years ago
#53 - Rhu1 testoblit
Pull Request -
State: closed - Opened by rhu1 about 4 years ago
#52 - Rhu1 polyrecmonom
Pull Request -
State: closed - Opened by rhu1 over 4 years ago
#51 - Dev rhu1
Pull Request -
State: closed - Opened by rhu1 over 4 years ago
#50 - Dev rhu1
Pull Request -
State: closed - Opened by rhu1 over 4 years ago
#49 - Added Parameterised-Map example.
Pull Request -
State: closed - Opened by rhu1 over 4 years ago
#48 - Dev rhu1
Pull Request -
State: closed - Opened by rhu1 over 4 years ago
#47 - Fixed monom bugs and added -test-monom flag.
Pull Request -
State: closed - Opened by rhu1 over 4 years ago
#46 - Simplified "zigzagging" in monom.
Pull Request -
State: closed - Opened by rhu1 over 4 years ago
#45 - Cosmetic.
Pull Request -
State: closed - Opened by rhu1 over 4 years ago
#44 - Tidying pass on monom (removed redundant code).
Pull Request -
State: closed - Opened by rhu1 over 4 years ago
#43 - Fixed newline-period WS error in map.go/fgg.
Pull Request -
State: closed - Opened by rhu1 over 4 years ago
#42 - Dev rhu1
Pull Request -
State: closed - Opened by rhu1 over 4 years ago
#41 - Added initial text to describe the current examples.
Pull Request -
State: closed - Opened by rhu1 over 4 years ago
#40 - Added copies of test-oblit FGR output.
Pull Request -
State: closed - Opened by rhu1 over 4 years ago
#39 - Rhu1 monom refactor
Pull Request -
State: closed - Opened by rhu1 over 4 years ago
#38 - [WIP] Continued refactoring.
Pull Request -
State: closed - Opened by rhu1 over 4 years ago
#37 - Rhu1 monom refactor
Pull Request -
State: closed - Opened by rhu1 over 4 years ago
#36 - Dev rhu1
Pull Request -
State: closed - Opened by rhu1 over 4 years ago
#35 - [WIP] Continued refactoring.
Pull Request -
State: closed - Opened by rhu1 over 4 years ago
#34 - Dev rhu1
Pull Request -
State: closed - Opened by rhu1 over 4 years ago
#33 - Fixed another typo in Makefile, test-oblit.
Pull Request -
State: closed - Opened by rhu1 over 4 years ago
#32 - Dev rhu1
Pull Request -
State: closed - Opened by rhu1 over 4 years ago
#31 - Added ToGoString to Exprs, to print "main." prefix to type names.
Pull Request -
State: closed - Opened by rhu1 over 4 years ago
#30 - Rhu1 printf
Pull Request -
State: closed - Opened by rhu1 over 4 years ago
#29 - Rhu1 monom update
Pull Request -
State: closed - Opened by rhu1 over 4 years ago
#28 - Added first draft of "iterating" omega building for monom.
Pull Request -
State: closed - Opened by rhu1 over 4 years ago
#27 - Rhu1/oblit select fix
Pull Request -
State: closed - Opened by rhu1 over 4 years ago
#26 - Updated parser/pregen/fg to import-fmt-Printf FG grammar.
Pull Request -
State: closed - Opened by rhu1 over 4 years ago
#25 - Dev rhu1 fgr
Pull Request -
State: closed - Opened by rhu1 over 4 years ago
#24 - Added Printf option to FG syntax.
Pull Request -
State: closed - Opened by rhu1 over 4 years ago
#23 - TypeRep implementation
Pull Request -
State: closed - Opened by nickng over 4 years ago
#22 - Dev rhu1 fgr
Pull Request -
State: closed - Opened by rhu1 almost 5 years ago
#21 - [test OK] Minor refactoring and comments.
Pull Request -
State: closed - Opened by rhu1 almost 5 years ago
#20 - Added remaining FG examples to `test-fg2fgg`.
Pull Request -
State: closed - Opened by rhu1 almost 5 years ago
#19 - Dev rhu1
Pull Request -
State: closed - Opened by rhu1 almost 5 years ago
#18 - FG to FGG conversion
Pull Request -
State: closed - Opened by nickng almost 5 years ago
#17 - Refactor command line parameters
Pull Request -
State: closed - Opened by nickng almost 5 years ago
#16 - Fixed bug in fgg_monom.MakeWMap.
Pull Request -
State: closed - Opened by rhu1 almost 5 years ago
#15 - Fixed a bug in fgg_monom, MakeWMap/visitSig cycle (cf. box2.fgg).
Pull Request -
State: closed - Opened by rhu1 almost 5 years ago
#14 - Slightly simplified box example.
Pull Request -
State: closed - Opened by rhu1 almost 5 years ago
#13 - Fixed bug in FGG Call typing (incorrect typearg substitution).
Pull Request -
State: closed - Opened by rhu1 almost 5 years ago
#12 - [WIP] Fix to -monom.
Pull Request -
State: closed - Opened by rhu1 almost 5 years ago
#11 - Fix to -monom for method decls.
Pull Request -
State: closed - Opened by rhu1 almost 5 years ago
#10 - Edits to docs.
Pull Request -
State: closed - Opened by rhu1 almost 5 years ago
#9 - Continued WIP on -monom.
Pull Request -
State: closed - Opened by rhu1 almost 5 years ago
#8 - Continued WIP on -monom. Separated fgg_monom.go.
Pull Request -
State: closed - Opened by rhu1 almost 5 years ago
#7 - Added missing base/base.go.
Pull Request -
State: closed - Opened by rhu1 almost 5 years ago
#6 - -monom is still WIP -- but merging general refactoring.
Pull Request -
State: closed - Opened by rhu1 almost 5 years ago
#5 - Minor to FG/FGG examples. Added FGG hello example.
Pull Request -
State: closed - Opened by rhu1 almost 5 years ago
#4 - Removed junk code from fg_util.
Pull Request -
State: closed - Opened by rhu1 almost 5 years ago
#3 - FIXME: strict lexer errors
Issue -
State: closed - Opened by rhu1 almost 5 years ago
- 2 comments
Labels: bug
#2 - Dev rhu1 mono
Pull Request -
State: closed - Opened by rhu1 almost 5 years ago
#1 - fg: code to check distinct
Pull Request -
State: closed - Opened by nickng almost 5 years ago