Skip to content

Activity

Showing most recent first

Add KnownBits lowering

can-lehmannpushed 1 commit to main • 1d8b7d1…306d66d • 
on Jan 11

Require slice offset to be constant

can-lehmannpushed 2 commits to main • 8e100ec…1d8b7d1 • 
on Jan 10

Compile with -Wall

can-lehmannpushed 2 commits to main • 3cdeb45…8e100ec • 
on Jan 10

Remove LeU and LeS operators

can-lehmannpushed 1 commit to main • b43cc4a…3cdeb45 • 
on Jan 10

Add PartialBitString::as_bit_string

can-lehmannpushed 4 commits to main • 1fb147c…b43cc4a • 
on Nov 16, 2024

Improve analysis::Interval

can-lehmannpushed 2 commits to main • 82f429f…1fb147c • 
on Nov 16, 2024

Input, Reg, Constant, Unknown, Op and Mem::Read are final

can-lehmannpushed 1 commit to main • c4f88c6…82f429f • 
on Aug 16, 2024

Implement proof::z3::Builder::resize_u

can-lehmannpushed 4 commits to main • 63ec31c…c4f88c6 • 
on Aug 11, 2024

Add analysis::Interval

can-lehmannpushed 1 commit to main • bcace73…63ec31c • 
on Jun 30, 2024

Fix Simulation

can-lehmannpushed 3 commits to main • 218cb7c…bcace73 • 
on Jun 29, 2024

Add Simulation::probe

can-lehmannpushed 4 commits to main • c32fab1…218cb7c • 
on May 23, 2024

Add static build method for BitString to proof::z3::Builder

can-lehmannpushed 1 commit to main • 4949eab…c32fab1 • 
on May 23, 2024

Add dependency analysis

can-lehmannpushed 2 commits to main • 3faf5a7…4949eab • 
on Mar 25, 2024

Add S-Expression parser

can-lehmannpushed 1 commit to main • 8bcfacf…3faf5a7 • 
on Mar 20, 2024

Constant propagation for associative operations

can-lehmannpushed 2 commits to main • e7ef9af…8bcfacf • 
on Mar 19, 2024

Op::eval for PartialBitString and BitString

can-lehmannpushed 1 commit to main • a5fb4eb…e7ef9af • 
on Mar 17, 2024

Fix PartialBitString::slice_width

can-lehmannpushed 1 commit to main • d8a170a…a5fb4eb • 
on Mar 16, 2024

Add PartialBitString

can-lehmannpushed 1 commit to main • e1eaa9d…d8a170a • 
on Feb 20, 2024

Check bounds in Memory::init

can-lehmannpushed 2 commits to main • 156e985…e1eaa9d • 
on Feb 13, 2024

Add Module::try_find_memory and Module::find_memory

can-lehmannpushed 3 commits to main • c6e60a2…156e985 • 
on Feb 11, 2024

Add Module::find_input and Module::try_find_input

can-lehmannpushed 1 commit to main • 8e00cbe…c6e60a2 • 
on Jan 24, 2024

Add dsl::Mem::set_name

can-lehmannpushed 1 commit to main • ee95485…8e00cbe • 
on Jan 14, 2024

Add sim::VCDWriter

can-lehmannpushed 1 commit to main • a5aae2c…ee95485 • 
on Jan 5, 2024

Fix zero extending result of logic cells

can-lehmannpushed 1 commit to main • b015ba9…a5aae2c • 
on Jan 5, 2024

Add initial values for memories

can-lehmannpushed 1 commit to main • 1baeef3…b015ba9 • 
on Jan 2, 2024

Add operator== and operator!= for AffineValue

can-lehmannpushed 1 commit to main • a4d9e57…1baeef3 • 
on Dec 31, 2023

Check bounds in BitString::slice_width

can-lehmannpushed 1 commit to main • 209e575…a4d9e57 • 
on Dec 27, 2023

Mark AffineValue::build as const

can-lehmannpushed 2 commits to main • b2f6cf5…209e575 • 
on Dec 27, 2023

Fix flattening of Unknown

Force push
can-lehmannforce pushed to main • 28b31a3…b2f6cf5 • 
on Dec 26, 2023

Fix flatting of Unknown

can-lehmannpushed 3 commits to main • 55e6539…28b31a3 • 
on Dec 26, 2023