MasWag

# Maintainer: Alex Szczuczko <alex@szc.ca>
# Contributor: Marcelo Alaniz <malaniz@code4life.com.ar>
# Contributor: Peter Wu <peter@lekensteyn.nl>
# Contributor: Masaki Waga <masakiwaga@gmail.com>

pkgname=nusmv
_pkgname=NuSMV
pkgver=2.7.0
pkgrel=2
pkgdesc="A new symbolic model checker"

MasWag

####################################################################################
# Name
#  detect_non_dblp_bibtex.py
# Description
#  This script reads a BibTeX file and detectes possibly non-DBLP entries.
#  More precisely, it checks each entry for the presence of a 'biburl' field.
#  If the 'biburl' field is missing or does not contain 'dblp', it considers the entry
#  as possibly non-DBLP and prints the citation key of that entry.
# Usage
#  python detect_non_dblp_bibtex.py /path/to/bibtex.bib

MasWag

(defun pin-window ()
  (interactive)
  (let ((window (selected-window)))
    (progn
      (message "Pin the window %s" window)
      (set-window-dedicated-p window t))))

(defun unpin-window ()
  (interactive)
  (let ((window (selected-window)))

MasWag

# Maintainer: Masaki Waga

pkgname=tree-sitter-symon-git
pkgver=.r0.g5c8d3dd
pkgrel=1
pkgdesc="SyMon grammar for tree-sitter"
arch=('i686' 'x86_64')
url="https://github.com/MasWag/tree-sitter-symon"
license=('MIT')
groups=('tree-sitter-grammars')

MasWag

# Stage 0: Builder
FROM debian:bookworm AS builder

# 1) Base tools & Spot repo key
RUN apt-get update && \
    apt-get install -y --no-install-recommends \
      ca-certificates wget gnupg lsb-release

# 2) Add Spot’s Debian repo (stable)
RUN wget -qO- https://www.lrde.epita.fr/repo/debian.gpg | apt-key add - && \

MasWag

  (leaf satysfi
    :mode (("\\.saty$" . satysfi-mode)
           ("\\.satyh$" . satysfi-mode)
           ("\\.satyg$" . satysfi-mode))
    :hook (satysfi-mode-hook . lsp)
    :config
    (cond ((equal system-type 'darwin)
           (setq satysfi-pdf-viewer-command "open -a Skim"
                 satysfi-command "opam exec satysfi"))
          ((equal system-type 'gnu/linux)

MasWag

use std::rc::Rc;
use std::cell::{Ref, RefCell};

struct AppendOnlySequence<T> {
    data: Rc<RefCell<Vec<T>>>,
}

impl<T> AppendOnlySequence<T> {
    pub fn new() -> Self {
        Self {

MasWag

# Maintainer: Stefan Husmann <stefan-husmann@t-online.de>
# Maintainer: Clément Démoulins <demoulins@lrde.epita.fr>
# Contributor: Aaron Schaefer <aaron@elasticdog.com>
# Contributor: Masaki Waga <masakiwaga@gmail.com>

pkgname=spot
pkgver=2.12
pkgrel=1
pkgdesc="A C++17 library for LTL, omega automata manipulation and model checking."
arch=('i686' 'x86_64')

MasWag

# Maintainer: Matthias Volk <m.volk at utwente dot nl>
# Contributor: Masaki Waga <masakiwaga at gmail dot com>
pkgname=carl-storm
pkgver=14.28
pkgrel=1
pkgdesc="The Computer ARithmetic and Logic library for the probabilistic model checker Storm"
arch=(i686 x86_64)
url="https://github.com/moves-rwth/carl-storm"
license=('MIT')
depends=(boost cln eigen ginac gmp)

MasWag

@@latex:\ruby{@@遠き神@@latex:}{、|、|、}@@