jimbob88

"""A simple implementation of the bisimulation algorithm with verification.

The bisimulation algorithm discovers pairs of states that are bisimilar. This
itself is the bisimulation relation <->.

LICENSE
-------
This is free and unencumbered software released into the public domain.

Anyone is free to copy, modify, publish, use, compile, sell, or

jimbob88

"""A simple, exhaustive implementation of the bisimulation property in Python.

In order to more deeply understand the bisimulation property of an LTS,
this code implements two forms of LTS verification. Note, this code is
not intended to be production ready, but rather as a proof of concept
to express the bisimulation property. Further, it is intentionally
computationally slow, hence, there are a large number of slow for loops.

LICENSE
-------

jimbob88

# Stripped version of cc65/samples/Makefile for simple tgi project

SYS = c64

ifdef CC65_HOME
  AS = $(CC65_HOME)/bin/ca65
  CC = $(CC65_HOME)/bin/cc65
  CL = $(CC65_HOME)/bin/cl65
  LD = $(CC65_HOME)/bin/ld65
else

jimbob88

# Stripped version of cc65/samples/Makefile for simple tgi project

SYS = c64

ifdef CC65_HOME
  AS = $(CC65_HOME)/bin/ca65
  CC = $(CC65_HOME)/bin/cc65
  CL = $(CC65_HOME)/bin/cl65
  LD = $(CC65_HOME)/bin/ld65
else

jimbob88

SOURCES = example.c

PROGRAM = example

ifdef CC65_TARGET
CC = cl65
CFLAGS = -t $(CC65_TARGET) -O --create-dep $(<:.c=.d)
LDFLAGS = -t $(CC65_TARGET) -m $(PROGRAM).map
else
CC = gcc

jimbob88

Print "Hello World!" on C64

This follows the tutorial found in the c65 documentation overview to print hello world on the screen.

jimbob88

FROM alpine:3.14

# Set up GiteaPC
## Install GiteaPC dependencies
RUN apk add --no-cache gcc curl  git python3  make  pkgconf 
## Needs to use bash and yes
RUN apk add --no-cache bash
## Install GiteaPC and accept the path added
RUN curl "https://gitea.planet-casio.com/Lephenixnoir/GiteaPC/raw/branch/master/install.sh" -o /tmp/giteapc-install.sh
RUN yes | bash /tmp/giteapc-install.sh

jimbob88

"""
This is free and unencumbered software released into the public domain.

Anyone is free to copy, modify, publish, use, compile, sell, or
distribute this software, either in source code form or as a compiled
binary, for any purpose, commercial or non-commercial, and by any
means.

In jurisdictions that recognize copyright laws, the author or authors
of this software dedicate any and all copyright interest in the

jimbob88

import itertools
import pathlib
import re
import sys
from collections import defaultdict
from typing import List

import requests
from tqdm import tqdm

jimbob88

"""
This is free and unencumbered software released into the public domain.

Anyone is free to copy, modify, publish, use, compile, sell, or
distribute this software, either in source code form or as a compiled
binary, for any purpose, commercial or non-commercial, and by any
means.

In jurisdictions that recognize copyright laws, the author or authors
of this software dedicate any and all copyright interest in the