mobileinkpushed 2 commits to dev • 20952d9…2a5b1c0 • 27 days ago
major reorg, delete obsoletes, etc.
mobileinkpushed 1 commit to dev • 37097f1…20952d9 • 28 days ago
mobileinkpushed 1 commit to dev • 515f47f…37097f1 • 28 days ago
update MODULE.bazel, new module templates
mobileinkpushed 1 commit to dev • c1ea6c0…515f47f • on Nov 10, 2023
revise //new, switch cc_config to ocaml_tools_cc
mobileinkpushed 1 commit to dev • e06409b…c1ea6c0 • on Oct 13, 2023
rm new/coswitch, update docs, MODULE.bazel, inspector
mobileinkpushed 2 commits to dev • e9229c9…e06409b • on Oct 12, 2023
mobileinkpushed 1 commit to dev • 3a3c6a8…e9229c9 • on Oct 12, 2023
make inspect:providers independent of
@ocaml
mobileinkpushed 1 commit to dev • 0f27d93…3a3c6a8 • on Sep 21, 2023
new/coswitch: support local switches
mobileinkpushed 1 commit to dev • 9b2b5c6…0f27d93 • on Sep 3, 2023
mobileinkpushed 1 commit to dev • 6685664…9b2b5c6 • on Sep 3, 2023
always set module and bazel_dep versions to 0.0.0
mobileinkpushed 1 commit to dev • 6a1e982…6685664 • on Sep 3, 2023
mobileinkpushed 1 commit to dev • d3a8785…6a1e982 • on Sep 3, 2023
mobileinkpushed 1 commit to dev • 8ce6fc8…d3a8785 • on Sep 2, 2023
mobileinkpushed 1 commit to dev • 9bcb15c…8ce6fc8 • on Sep 2, 2023
mobileinkpushed 1 commit to dev • 55c0417…9bcb15c • on Sep 2, 2023
mobileinkpushed 1 commit to dev • f046b04…55c0417 • on Sep 2, 2023
fix warnings, debug stuff
mobileinkpushed 1 commit to dev • 8ef22a5…f046b04 • on Sep 1, 2023
use strncpy not strlcpy (portability)
mobileinkpushed 1 commit to dev • 3dc8b1f…8ef22a5 • on Sep 1, 2023
mobileinkpushed 1 commit to dev • 0976172…3dc8b1f • on Aug 31, 2023
mobileinkpushed 1 commit to dev • ca8a6e8…0976172 • on Aug 31, 2023
mobileinkpushed 1 commit to dev • 3f17358…ca8a6e8 • on Aug 31, 2023
new:coswitch fix bzlmod names: lowercase
mobileinkpushed 1 commit to dev • 6ae787b…3f17358 • on Aug 31, 2023
new:coswitch now produces runnable code
mobileinkpushed 2 commits to dev • 4ca1fff…6ae787b • on Aug 30, 2023
new:coswitch, registry record fixes
mobileinkpushed 1 commit to dev • 90304e6…4ca1fff • on Aug 29, 2023
mobileinkpushed 1 commit to dev • 3347a44…90304e6 • on Aug 28, 2023
You can’t perform that action at this time.