Skip to content

Pull requests: cucapra/filament

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
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

Sig bindings attempt 2
#294 by rachitnigam was merged Sep 1, 2023 Loading…
change event and param syntax
#290 by UnsignedByte was merged Sep 3, 2023 Loading…
Clean up helper constructors.
#289 by UnsignedByte was merged Aug 31, 2023 Loading…
Implement Ctx for Foreigns.
#288 by UnsignedByte was merged Aug 30, 2023 Loading…
Enable preservation of compiled names.
#285 by UnsignedByte was merged Aug 30, 2023 Loading…
Fixes fsms
#283 by UnsignedByte was merged Aug 30, 2023 Loading…
Reorganize monomorphize code
#279 by rachitnigam was merged Aug 22, 2023 Loading…
Directly compile Filament programs to Verilog
#278 by rachitnigam was merged Aug 18, 2023 Loading…
Enable missing tests
#277 by rachitnigam was merged Aug 17, 2023 Loading…
Implement log_pass! macro for logging non-visitor passes
#272 by rachitnigam was merged Aug 15, 2023 Loading…
Activation literal based SMT checking
#271 by rachitnigam was merged Aug 17, 2023 Loading…
Cleanup ast and unused stuff
#270 by rachitnigam was merged Aug 13, 2023 Loading…
Change assign-check to use diagnostics infrastructure
#268 by rachitnigam was merged Aug 13, 2023 Loading…
Remove bind check
#267 by rachitnigam was merged Aug 12, 2023 Loading…
New Syntax for intervals and bundles
#266 by rachitnigam was merged Aug 13, 2023 Loading…
2
Generate different types of fsms.
#265 by UnsignedByte was merged Aug 16, 2023 Loading…
Base/Underlying Ctx
#263 by gabizon103 was merged Aug 31, 2023 Loading…
Sig bindings
#262 by gabizon103 was closed Sep 1, 2023 Draft
IR phantom check
#260 by gabizon103 was merged Aug 13, 2023 Loading…
Mono fixes
#258 by gabizon103 was merged Aug 8, 2023 Loading…
let-bound parameters
#257 by rachitnigam was merged Aug 13, 2023 Loading…
IR Development
#256 by rachitnigam was merged Sep 4, 2023 Loading… IR-based Compilation
Extract max-states pass.
#255 by UnsignedByte was merged Aug 7, 2023 Loading…
ProTip! Filter pull requests by the default branch with base:main.