profile
viewpoint
Ricardo M. Correia wizeman Madrid, Spain

wizeman/ARC 0

The Abstraction and Reasoning Corpus

wizeman/doit 0

task management & automation tool

wizeman/FStar 0

An ML-like language with a type system for program verification

wizeman/hydra 0

Hydra, the Nix-based continuous build system

wizeman/nix 0

Nix, the purely functional package manager

wizeman/nixops 0

NixOps, the NixOS-based cloud deployment tool

wizeman/nixpkgs 0

Nix Packages collection

wizeman/ponyc 0

Pony is an open-source, object-oriented, actor-model, capabilities-secure, high performance programming language

wizeman/rust 0

a safe, concurrent, practical language

wizeman/rust-bignum 0

Bignum bindings for rust backed by GMP

push eventeprover/eprover

Pascal Nerger

commit sha 637c44fe33024fef868b57b7d4c98f38f20bcc39

Updated .gitignore

view details

Pascal Nerger

commit sha e92a8b464a1f8a482af9e2cb562df3e220a077fc

#1: Replaced args with flexible array member

view details

Pascal Nerger

commit sha fe85db753472934607da78561314ea4c7fa95c62

#2: Added new allocation macro

view details

Pascal Nerger

commit sha 8be5b0ded246945c5ec808d2acb80bf28041aaa7

#3: Added TermDefaultCellArityAlloc

view details

Pascal Nerger

commit sha 5f0a12eeb8421c7d100b3e4ef63a8d7b003f96c2

#3: Added forward declaration of TermDefaultCellArityAlloc

view details

Pascal Nerger

commit sha 61ca31141c83bee29e3416907128ad41b1add396

#4: Adjusted term cell allocation

view details

Pascal Nerger

commit sha d5fcebdcba6415f54f7780eff6c787c7be2f893b

#5: Adjusted term cell argument allocation

view details

Pascal Nerger

commit sha 55475ed5631cfc2ed0ab5c44384011f05f36d3bb

#6: Adjusted term argument allocation

view details

Pascal Nerger

commit sha c85ad49d3f4c53c627630b8e4a00f8bc741f97b8

#7: Adjusted term allocation

view details

Pascal Nerger

commit sha 831e1e9942fe4021c1cd41760ef8a992a91b9f27

#8: Fixed allocation of term cells

view details

Pascal Nerger

commit sha a5cf2c8561d4b9f5241a431a69754407eb49e247

#9: Started fixing allocations, still a ToDo left

view details

Pascal Nerger

commit sha e137f2bbd2601d7ff3a5f63bf28e9de0ed6da561

Removed args initialization in default allocation function

view details

Pascal Nerger

commit sha 0f6c0f1dbba4eaeceb0e82092ef2d76f021445a5

#13: Edited TermTopCopyWithoutArgs to match flexible array member

view details

Pascal Nerger

commit sha 2b2df3b9d1b9b4f4737d8c0fa7152907af356b59

#14: Adjusted TermTopAlloc to match the flexible array member

view details

Pascal Nerger

commit sha 0f68f04643b2fdbddc3ea55640a314b5946838da

#15: Adjusted TermAllocNewSkolem to match flexible array member

view details

Pascal Nerger

commit sha baf8c28b4d085fff3247205dacf855c722ba9101

#10: Adjusted allocations to match flexible array member

view details

Pascal Nerger

commit sha e116f31de58c0d5ac2755994c004e32b5b508135

#9: Adjusted argument allocations to match flexible array member

view details

Pascal Nerger

commit sha 994cec6af92007e740c0f222a2a38baae46c9999

#9: Adjusted term allocation respecting the term arity

view details

Pascal Nerger

commit sha 67603fe47d6b936c6e7a6d547fa1a4ac258f1b10

#10: Fixed bug

view details

Pascal Nerger

commit sha afe685506bcf57bf7cd7ec37e303a0eba68d1c97

Adjusted Term free memory operations

view details

push time in 4 days

push eventeprover/eprover

Stephan Schulz

commit sha 41869f1d8d50adb365e3de37e15feb66444dbe05

Removed incomplete error handling code for error handled elsewhere

view details

Stephan Schulz

commit sha 5e6ae0168b0028050342812cb2f1cbf052c5c64f

Disabled test output

view details

push time in 4 days

push eventeprover/eprover

Stephan Schulz

commit sha 439787f2a1c83756103386b8b54881353690c675

New runscripts

view details

Stephan Schulz

commit sha ea9b25318004e7582a49c6b3138cb51b4b6646ed

Progress on parsing Heuristic parameters

view details

push time in 2 months

more