Skip to content

Actions: hydromatic/morel-rust

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
245 workflow runs
245 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Add yieldAll step, a flatMap for from expressions (hydromatic/mor… Rust #246: Commit 98474d8 pushed by julianhyde
6m 34s main
main
6m 34s
Extend tabular mode to fold strings and display nested collections (h… Rust #245: Commit 34837b2 pushed by julianhyde
6m 24s main
main
6m 24s
Use feasibility-based bound tightening (FBBT) to deduce and strengthe… Rust #244: Commit 2c380f1 pushed by julianhyde
6m 43s main
main
6m 43s
Extend list constructor to allow ranges, e.g. `where i elem [0..^10, … Rust #243: Commit f437206 pushed by julianhyde
6m 3s main
main
6m 3s
Expose Range.complement and Range.ranges, and add `built-in/range… Rust #242: Commit e1953dc pushed by julianhyde
5m 55s main
main
5m 55s
File reader, and progressive types (hydromatic/morel#209) Rust #241: Commit 7241874 pushed by julianhyde
7m 14s main
main
7m 14s
Implement functions Real.fmt and Int.fmt, and parts of the `Strin… Rust #240: Commit 683e61c pushed by julianhyde
6m 39s main
main
6m 39s
Fn.repeat with a negative count should raise Domain immediately (… Rust #239: Commit b17e27c pushed by julianhyde
6m 26s main
main
6m 26s
Signature files as the primary definition of built-in functions and t… Rust #238: Commit ba679c1 pushed by julianhyde
6m 12s main
main
6m 12s
Add attributes and doc comments (hydromatic/morel#369) Rust #237: Commit 76ae729 pushed by julianhyde
6m 17s main
main
6m 17s
Add Sys.parseTree built-in function for AST inspection Rust #236: Commit 385e779 pushed by julianhyde
6m 12s main
main
6m 12s
You're going to need a bigger SAT Solver (hydromatic/morel#367) Rust #235: Commit 6bf3865 pushed by julianhyde
6m 39s main
main
6m 39s
Include source position in interactive compile-error messages Rust #234: Commit f6c7261 pushed by julianhyde
6m 27s main
main
6m 27s
Remove dead code, and treat dead-code warnings as errors from now on Rust #233: Commit a00bb64 pushed by julianhyde
5m 56s main
main
5m 56s
Remove dead code, and treat dead-code warnings as errors from now on Rust #232: Commit 478f696 pushed by julianhyde
2m 33s main
main
2m 33s
Intern types in library (#34, part 3) Rust #231: Commit 02695f3 pushed by julianhyde
5m 32s main
main
5m 32s
Migrate Box<Type> to Rc<Type> (#34, part 2) Rust #230: Commit e559768 pushed by julianhyde
5m 35s main
main
5m 35s
Tune unifier, inliner, type-resolver (#34 part 1) Rust #229: Commit 14f2223 pushed by julianhyde
6m 38s main
main
6m 38s
Drop the recursive-reentry shortcut in capture_bound_vals Rust #228: Commit 8a42149 pushed by julianhyde
5m 54s main
main
5m 54s
Reject standalone tuple type and fix nested tuple printing (hydromati… Rust #227: Commit 6b81845 pushed by julianhyde
5m 49s main
main
5m 49s
The intersect and except steps should count, and preserve order (… Rust #226: Commit b697d94 pushed by julianhyde
6m 15s main
main
6m 15s
Composite value declarations should not assign it (hydromatic/morel… Rust #225: Commit 10a77e3 pushed by julianhyde
5m 30s main
main
5m 30s
Add raise command (hydromatic/morel#364) Rust #224: Commit 9dae01d pushed by julianhyde
5m 28s main
main
5m 28s
Datalog (hydromatic/morel#323) Rust #223: Commit 0a03b06 pushed by julianhyde
6m 32s main
main
6m 32s
Implement queries with unbounded variables by inverting predicates (h… Rust #222: Commit e0779b8 pushed by julianhyde
5m 7s main
main
5m 7s