Commit Graph

Select branches

Hide Pull Requests

default_gets

enters_operator

hw_tour

indented_continuation

main

ocaml_gen

semi_separate

soft_sequence

string_escape

string_literal

take_op

Mono Color

• 149120e6af Update '.drone.yml' main agussusahnti 2023-06-13 17:43:48 +0000
• 9fc87c6f03 Update '.drone.yml' agussusahnti 2023-06-13 17:40:36 +0000
• e11d197a23 Update '.drone.yml' agussusahnti 2023-06-13 17:39:20 +0000
• ff5a413bf0 Update '.drone.yml' agussusahnti 2023-03-10 20:39:07 +0000
• ce80e9a8cc Update '.drone.yml' agussusahnti 2023-03-10 20:38:08 +0000
• 36a8790e24 Update '.drone.yml' agussusahnti 2022-03-28 01:10:40 +0000
• 4a734815de Update '.drone.yml' agussusahnti 2022-03-28 01:09:00 +0000
• 7feddbcfbe Extraction from streams (#25) Glen Whitney 2021-03-13 19:30:23 +0000
• d142ad2c03 fix: reattach the newline that Haskell strips on input take_op Glen Whitney 2021-03-13 08:56:41 -0800
• f827c37baa feat: Complete stream extraction Glen Whitney 2021-03-12 21:49:34 -0800
• 7c69b82484 feat WIP: checkpoint initial efforts on stream extraction Glen Whitney 2021-03-01 20:51:12 -0800
• cc89ad1e93 Add OCaml code generation (#24) Glen Whitney 2021-03-01 20:40:35 +0000
• 3effe65f01 test: try to get ocaml initialized by opam for testing ocaml_gen Glen Whitney 2021-03-01 11:14:53 -0800
• 221d85ebbe test: add permissions to extracted test directory Glen Whitney 2021-03-01 10:39:18 -0800
• dc19df8811 test: Move fosgen test into a step where java is available Glen Whitney 2021-03-01 10:21:33 -0800
• b1f87428f5 feat: -d option to fosgen now enables nailgun diagnostics Glen Whitney 2021-03-01 10:06:44 -0800
• 87a6fbc642 fix: eliminate empty then block in bash script Glen Whitney 2021-03-01 09:50:33 -0800
• e3ff1f259e fix: OK, try the gcc image, see if that will do it Glen Whitney 2021-03-01 09:29:46 -0800
• d1c3ed3481 fix: try different image for compiling Nailgun client Glen Whitney 2021-03-01 09:16:50 -0800
• f789ed94fd feat: Add OCaml code generation Glen Whitney 2021-02-28 22:21:56 -0800
• 380177b274 Merge pull request 'docs: Finally get the tour to start from the real helloworld' (#23) from hw_tour into main Glen Whitney 2021-02-19 17:30:18 +0000
• f9c6e04c8c docs: Finally get the tour to start from the real helloworld hw_tour Glen Whitney 2021-02-19 08:08:24 -0800
• 5ef816610b Merge pull request 'feat: Add double-quoted string constants with escapes' (#22) from string_escape into main Glen Whitney 2021-02-19 04:09:38 +0000
• d2ba26a53e feat: Add double-quoted string constants with escapes string_escape Glen Whitney 2021-02-18 19:41:54 -0800
• bfe3f86116 Merge pull request 'feat: add <<< and >>> abbreviating operations to default stream' (#21) from default_gets into main Glen Whitney 2021-02-18 21:48:23 +0000
• 7d4d3b93c9 feat: add <<< and >>> abbreviating operations to default stream default_gets Glen Whitney 2021-02-18 12:18:47 -0800
• 2772fd0c5c Add literal string constants (#19) Glen Whitney 2021-02-18 04:17:05 +0000
• 2514f0df98 fix: handle the TermEx->OptTermEx injection in Statix string_literal Glen Whitney 2021-02-17 19:47:29 -0800
• f93499acfd feat: Add typing for Sequence() operation Glen Whitney 2021-02-17 11:20:26 -0800
• 804a00902a feat: Type-dependent Haskell code generation Glen Whitney 2021-02-16 09:46:12 -0800
• 5cd75b8177 feat: Initial statix assignment of types to expressions Glen Whitney 2021-02-14 10:25:23 -0800
• b3f9cdf372 docs: Add statics development documentation Glen Whitney 2021-02-12 17:08:55 -0800
• 904f651897 feat: Add syntax for string literals Glen Whitney 2021-02-11 10:02:43 -0800
• c516ed6d7f refactor: eliminate rule in desugar Glen Whitney 2021-02-10 13:07:51 -0800
• 02cf762ac7 Merge pull request 'feat: Allow expressions to be terminated/sequenced by ;' (#15) from semi_separate into main Glen Whitney 2021-02-10 21:02:39 +0000
• b9c8532899 feat: Allow expressions to be terminated/sequenced by ; semi_separate Glen Whitney 2021-02-10 12:47:34 -0800
• 991976d3a8 feat: sequencing of expressions with newline to same indent (#11) Glen Whitney 2021-02-06 05:11:41 +0000
• 54bad48d9e fix: correct IO types in Haskell generation soft_sequence Glen Whitney 2021-02-05 20:55:17 -0800
• 5d81316ce2 feat: sequencing of expressions with newline to same indent Glen Whitney 2021-02-05 20:13:18 -0800
• c4d3f66c51 Merge pull request 'feat: Allow indented continuation lines' (#9) Glen Whitney 2021-02-01 08:49:37 +0000
• eaa06e62eb feat: Allow indented continuation lines indented_continuation Glen Whitney 2021-02-01 00:29:00 -0800
• 2e49065031 feat: Implement enters operator >> (#8) Glen Whitney 2021-02-01 01:46:31 +0000
• 132b8432e8 fix: compute arguments to >> in correct order. enters_operator Glen Whitney 2021-01-31 17:24:40 -0800
• a564b2274d feat: Implement enters operator >> Glen Whitney 2021-01-31 16:44:45 -0800
• 527f802793 docs: Get mkdocs working Glen Whitney 2021-01-30 19:48:03 -0800
• 7b00b01856 chore: Switch to this repository from predecessor Glen Whitney 2021-01-30 15:37:53 -0800
• 9ecfa63f58 init: SDF3/Statix project as initialized by Spoofax Glen Whitney 2021-01-30 12:27:10 -0800