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