Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Overview
Active
Stale
All
Stale branches
kjohnson80-master-patch-29330
1a8c25c8
·
Checks boolion computes space of functions for n<5 variables correctly.
·
Mar 11, 2021
kjohnson80-master-patch-19597
70b8f369
·
Converts decimal numbers to other bases and vice versa.
·
Mar 11, 2021
kjohnson80-master-patch-27723
a0edd2f9
·
Collects all models from file. Choose a model to run boolion on. Runs a revised boolion code.
·
Apr 14, 2021
kjohnson80-master-patch-89765
90ff32b0
·
Updated version of model check
·
Apr 14, 2021
kjohnson80-master-patch-35171
8d138bc9
·
Update to ModelCheck
·
Apr 14, 2021