Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Stage2 #3

Merged
merged 62 commits into from
Dec 12, 2023
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
62 commits
Select commit Hold shift + click to select a range
9e4f434
Adding `Concat` and `ConcatField`
AaronKutch Dec 5, 2023
2aa7cfd
move around lowering
AaronKutch Dec 6, 2023
0da4f2c
begin switchover to `Concat` and `ConcatField`
AaronKutch Dec 6, 2023
6d2c423
remove `StaticGet` and `StaticSet`
AaronKutch Dec 6, 2023
c0dafb8
fixes
AaronKutch Dec 6, 2023
fb85a91
Update meta.rs
AaronKutch Dec 6, 2023
2c9aaac
Update meta.rs
AaronKutch Dec 6, 2023
1f07420
Update meta.rs
AaronKutch Dec 6, 2023
75fe499
Update meta.rs
AaronKutch Dec 6, 2023
35a84d9
Update meta.rs
AaronKutch Dec 6, 2023
70c8139
Update meta.rs
AaronKutch Dec 6, 2023
bb76999
Update meta.rs
AaronKutch Dec 6, 2023
b0cc291
Update meta.rs
AaronKutch Dec 6, 2023
1be8120
add `Repeat`
AaronKutch Dec 6, 2023
5b164fe
Update meta.rs
AaronKutch Dec 6, 2023
ba74c11
Update meta.rs
AaronKutch Dec 6, 2023
9c8d287
Update meta.rs
AaronKutch Dec 7, 2023
f9e3b0b
Update meta.rs
AaronKutch Dec 7, 2023
656b662
Update meta.rs
AaronKutch Dec 7, 2023
d9e622c
Update meta.rs
AaronKutch Dec 7, 2023
a60e2a8
improve
AaronKutch Dec 7, 2023
eefc04e
Update meta.rs
AaronKutch Dec 7, 2023
cf78544
Update meta.rs
AaronKutch Dec 7, 2023
50b031b
Update meta.rs
AaronKutch Dec 7, 2023
310de67
Update meta.rs
AaronKutch Dec 7, 2023
bb9c473
Update meta.rs
AaronKutch Dec 7, 2023
7ec2f98
Update meta.rs
AaronKutch Dec 7, 2023
bdbbf11
Update meta.rs
AaronKutch Dec 7, 2023
478c7c1
finish pass over meta
AaronKutch Dec 7, 2023
79ccd6d
fix `LazyAwi`
AaronKutch Dec 7, 2023
3bf9248
move around
AaronKutch Dec 7, 2023
a914786
fix `EvalAwi`
AaronKutch Dec 8, 2023
875d8cc
fix bug introduced in optimizations
AaronKutch Dec 8, 2023
acd6a38
Update fuzz_lower.rs
AaronKutch Dec 8, 2023
c1f23cd
renames to `allow_pruning`
AaronKutch Dec 8, 2023
d36432e
more cleanup
AaronKutch Dec 8, 2023
9a79cad
move asserting assertions downwards
AaronKutch Dec 8, 2023
ee3e463
fix the assertion situation more
AaronKutch Dec 8, 2023
d5dd231
impl the drop for `EvalAwi`
AaronKutch Dec 8, 2023
87b6051
impl the dropping
AaronKutch Dec 8, 2023
dcdd0b4
fix the benches
AaronKutch Dec 8, 2023
e3a4fa6
fix old docs
AaronKutch Dec 8, 2023
e90332f
Version 0.2.0
AaronKutch Dec 8, 2023
d1f5250
many improvements
AaronKutch Dec 8, 2023
d7942dc
tmp
AaronKutch Dec 8, 2023
37385f7
overhaul pruning again
AaronKutch Dec 8, 2023
d9eb103
Update state.rs
AaronKutch Dec 8, 2023
2a462c7
create `LNode`s
AaronKutch Dec 9, 2023
d2a26c9
small changes
AaronKutch Dec 9, 2023
054da51
debug improvements
AaronKutch Dec 9, 2023
d5ebdcf
actually fix the assertion situation
AaronKutch Dec 9, 2023
bea0ac3
fix more LNode cases
AaronKutch Dec 9, 2023
4d8162e
Update value.rs
AaronKutch Dec 9, 2023
816551c
fixes for `Loops`
AaronKutch Dec 9, 2023
9beed51
overhaul the way `Loop`s work
AaronKutch Dec 10, 2023
4bd2348
fix bad drop bug
AaronKutch Dec 11, 2023
c50c6f4
temporal fixes
AaronKutch Dec 11, 2023
241f698
fix test
AaronKutch Dec 11, 2023
f53d0f8
fix many issues related to `Net`s
AaronKutch Dec 11, 2023
777bab3
prune all states in optimization
AaronKutch Dec 11, 2023
d5485a5
minor perf improvement
AaronKutch Dec 12, 2023
2a8fbb9
misc
AaronKutch Dec 12, 2023
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
7 changes: 7 additions & 0 deletions CHANGELOG.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,12 @@
# Changelog

## [0.2.0] - 2023-12-08
### Crate
- `awint` 0.15

### Changes
- Dramatically improved performance by a variety of changes

## [0.1.0] - 2023-12-05
### Crate
- `awint` 0.14
Expand Down
8 changes: 4 additions & 4 deletions starlight/Cargo.toml
Original file line number Diff line number Diff line change
@@ -1,19 +1,19 @@
[package]
name = "starlight"
version = "0.1.1"
version = "0.2.0"
edition = "2021"
authors = ["Aaron Kutch <[email protected]>"]
license = "MIT OR Apache-2.0"
readme = "README.md"
repository = "https://github.com/AaronKutch/starlight"
documentation = "https://docs.rs/starlight"
description = "reservation"
description = "experimental HDL and optimizer for DAGs of lookup tables"
keywords = ["dag", "rtl", "hdl"]
categories = []
categories = ["algorithms"]

[dependencies]
#awint = { path = "../../awint/awint", default-features = false, features = ["rand_support", "dag"] }
awint = { version = "0.14", default-features = false, features = ["rand_support", "dag"] }
awint = { version = "0.15", default-features = false, features = ["rand_support", "dag"] }
rand_xoshiro = { version = "0.6", default-features = false }

[features]
Expand Down
2 changes: 1 addition & 1 deletion starlight/src/awi_structs.rs
Original file line number Diff line number Diff line change
Expand Up @@ -6,4 +6,4 @@ mod temporal;
pub use epoch::{Assertions, Epoch};
pub use eval_awi::EvalAwi;
pub use lazy_awi::{LazyAwi, LazyInlAwi};
pub use temporal::{Loop, LoopHandle, Net};
pub use temporal::{Loop, Net};
Loading
Loading