Skip to content

Activity

New command &randsyn (fixing scalability issue).

alanminkopushed 3 commits to master • 4f1b961…45c250f • 
2 days ago

Suggested fix of an overflow in vectors.

alanminkopushed 1 commit to master • 9e35825…4f1b961 • 
2 days ago

New command &randsyn.

alanminkopushed 1 commit to master • e5e1f76…9e35825 • 
4 days ago

Bug fix.

alanminkopushed 1 commit to master • 0cbc9a8…e5e1f76 • 
11 days ago

Merge pull request #368 from hriener/dau_fix

Pull request merge
alanminkopushed 2 commits to master • 57e504d…0cbc9a8 • 
11 days ago

Merge pull request #362 from wjrforcyber/gz_lib_support

Pull request merge
alanminkopushed 3 commits to master • ee8e037…57e504d • 
11 days ago

Merge pull request #361 from letsintegreat/power-aware

Pull request merge
alanminkopushed 2 commits to master • a2c6cb8…ee8e037 • 
11 days ago

Merge pull request #360 from wjrforcyber/fix_print_mffc

Pull request merge
alanminkopushed 2 commits to master • 4b6c35b…a2c6cb8 • 
11 days ago

Merge pull request #356 from wjrforcyber/choice_bug

Pull request merge
alanminkopushed 4 commits to master • 8a96d02…4b6c35b • 
11 days ago

Merge pull request #354 from wjrforcyber/write_hmetis

Pull request merge
alanminkopushed 7 commits to master • a2e4c15…8a96d02 • 
11 days ago

Merge pull request #255 from phsauter/fix-scl-regression

Pull request merge
alanminkopushed 2 commits to master • 7bd7823…a2e4c15 • 
11 days ago

Merge pull request #367 from MyskYko/rrr

Pull request merge
alanminkopushed 7 commits to master • 775dee4…7bd7823 • 
12 days ago

Fixing timing propagation bug in &nf with boxes.

alanminkopushed 1 commit to master • aa9630e…775dee4 • 
13 days ago

Merge pull request #365 from QuantamHD/fix_nf_crash

Pull request merge
alanminkopushed 2 commits to master • c4f8e8e…aa9630e • 
14 days ago

Merge pull request #364 from QuantamHD/fix_mising_return

Pull request merge
alanminkopushed 2 commits to master • b7bf6c2…c4f8e8e • 
14 days ago

Improvements to LUT cascade mapping.

alanminkopushed 3 commits to master • d5e1a5d…b7bf6c2 • 
14 days ago

Bug fix in &gencex.

alanminkopushed 1 commit to master • 350dcd3…d5e1a5d • 
on Jan 1

Enabling shared variables in bound set evaluation.

alanminkopushed 1 commit to master • 73742a7…350dcd3 • 
on Dec 28, 2024

Adding new file to windows makefile.

alanminkopushed 1 commit to master • b59b475…73742a7 • 
on Dec 26, 2024

Compiler error.

alanminkopushed 1 commit to master • 7d247a0…b59b475 • 
on Dec 26, 2024

Experiments with bound-set evaluation.

alanminkopushed 1 commit to master • ef8230d…7d247a0 • 
on Dec 26, 2024

Merge pull request #353 from Carmine50/master

Pull request merge
alanminkopushed 10 commits to master • 14d46bf…ef8230d • 
on Dec 24, 2024

Fixing big-endian problem if &fx and &deepsyn.

alanminkopushed 1 commit to master • 733fec3…14d46bf • 
on Dec 24, 2024

Fixing big-endian problems in mfs2 and &mfs.

alanminkopushed 2 commits to master • b81df17…733fec3 • 
on Dec 24, 2024

Removing unhelpful assertion.

alanminkopushed 1 commit to master • e21399f…b81df17 • 
on Dec 23, 2024

Compiler warning.

alanminkopushed 1 commit to master • 943bc01…e21399f • 
on Dec 23, 2024

Merge pull request #352 from wjrforcyber/conditional_jump

Pull request merge
alanminkopushed 2 commits to master • 01c6102…943bc01 • 
on Dec 23, 2024

Merge pull request #350 from wjrforcyber/put_bug_on_choice

Pull request merge
alanminkopushed 2 commits to master • 733d2cd…01c6102 • 
on Dec 23, 2024

Merge pull request #348 from wjrforcyber/mem_leak

Pull request merge
alanminkopushed 2 commits to master • 42c2c54…733d2cd • 
on Dec 23, 2024

Fixing a big-endian issue in SOP manipulation and factoring.

alanminkopushed 1 commit to master • 207cfdd…42c2c54 • 
on Dec 22, 2024