Skip to content

Activity

Showing most recent first

Merge pull request #38 from modsim/master

Pull request merge
mbeysspushed 7 commits to non_debian • 025ceef…f2fa5c3 • 
15 days ago

Merge branch 'non_debian' into master

mbeysspushed 13 commits to master • c7e3a15…3c818a3 • 
15 days ago

Deleted branch

mbeyssdeleted fix_warnings • 
15 days ago

Deleted branch

mbeyssdeleted fix_scrambler • 
15 days ago

Deleted branch

mbeyssdeleted 36-exprtree-does-not-eval-properly • 
15 days ago

Merge pull request #37 from modsim/36-exprtree-does-not-eval-properly

Pull request merge
mbeysspushed 2 commits to master • d9f7dea…c7e3a15 • 
15 days ago

always evaluate uminus with a literal

mbeysspushed 1 commit to 36-exprtree-does-not-eval-properly • d9f7dea…3809299 • 
on Dec 13, 2024

Merge pull request #33 from modsim/fix_warnings

mbeysscreated 36-exprtree-does-not-eval-properly • d9f7dea • 
on Dec 13, 2024

Merge pull request #33 from modsim/fix_warnings

Pull request merge
ANTS-ONpushed 3 commits to master • 7f8f6ab…d9f7dea • 
on May 8, 2024

remove some compiler warnings and enforce c++-17

mbeysspushed 1 commit to fix_warnings • b2a46c0…917bccd • 
on May 8, 2024

fix some compiler warnings

mbeysscreated fix_warnings • b2a46c0 • 
on May 7, 2024

Merge pull request #29 from modsim/fix_scrambler

mbeysscreated 32-building-on-macos-with-arm • 7f8f6ab • 
on Mar 6, 2024

Deleted branch

mbeyssdeleted 31-gmp-requirement-seems-unnecessary • 
on Mar 6, 2024

Merge pull request #29 from modsim/fix_scrambler

mbeysscreated 31-gmp-requirement-seems-unnecessary • 7f8f6ab • 
on Mar 6, 2024

Merge pull request #30 from modsim/master

Pull request merge
mbeysspushed 3 commits to non_debian • 298451b…025ceef • 
on Jul 24, 2023

Merge pull request #29 from modsim/fix_scrambler

Pull request merge
mbeysspushed 2 commits to master • 443c24c…7f8f6ab • 
on Jul 14, 2023

create xch scrambler constraints only for bidi reactions

mbeysscreated fix_scrambler • 5b062b1 • 
on Jul 14, 2023